System and method for verifying operation of a target system

Details System and method for verifying operation of a target system System and method for verifying operation of a target system

2009-01-26

2011-12-13

Baderman, Scott (Department: 2114)

Error detection/correction and fault detection/recovery

Data processing system error or fault handling

Reliability and availability

C714S026000

Reexamination Certificate

active

08078915

ABSTRACT:
A system, a computer readable article of manufacture, and a method for verifying operation of a target system to be inspected. The system includes an abstract binary tree generation unit and a matching unit. The abstract binary tree generation unit obtains information about a functional specification of the target system and generates one or more binary trees that associate one or more states that can occur in the target system with respective nodes and that associate state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes. The matching unit receives an event sequence in an application model of the target system obtained in response to the operation of the target system and matches the event sequence against the binary trees generated by the abstract binary tree generation unit. The method includes steps for accomplishing the functionality of the system.

REFERENCES:
patent: 5272704 (1993-12-01), Tong et al.
patent: 6907545 (2005-06-01), Ramadei et al.
patent: 7139676 (2006-11-01), Barford
patent: 7379846 (2008-05-01), Williams et al.
patent: 2006/0150018 (2006-07-01), Cousin et al.
Henrik Thane, “Debugging Using Time Machines: Replay Your Embedded Systems History”, Nov. 2001, Real-Time & Embedded Computing Conference, p. Kap 22, Milan, Italy.
Hans Hansson, “RTS Debugging”, Malardalen Real-Time Research Centre, 2003.

Affiliated with

Also associated with

Rating

System and method for verifying operation of a target system does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with System and method for verifying operation of a target system, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for verifying operation of a target system will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4295363