Back to results
US 8,078,915 B2Granted
System and method for verifying operation of a target system
AssigneeInternational Business Machines Corporation
InventorsHiroaki Nakamura, Kohichi Ono
Life of this patent
Estimating the term…
Loading patent…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorsHiroaki Nakamura, Kohichi Ono
Estimating the term…
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.
A system for verifying operation of a target system to be inspected, the system comprising:
A method of verifying operation of a target system to be inspected, the method comprising the steps of:
A computer readable article of manufacture tangibly embodying computer readable instructions for executing the steps of a method of verifying operation of a target system to be inspected, the method comprising:
Dependencies are inferred from the claim text.