SYSTEM AND METHOD FOR VERIFYING OPERATION OF A TARGET SYSTEM
First Claim
1. A system for verifying operation of a target system to be inspected, the system comprising:
- a binary-tree generating unit; and
a matching unit;
wherein the binary-tree generating unit obtains information about a functional specification of the target system and generates one or more binary trees that associate (1) one or more states that can occur in the target system with respective nodes and (2) state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes; and
wherein 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 to match the event sequence against the binary trees generated by the binary-tree generating unit.
1 Assignment
0 Petitions
Accused Products
Abstract
A system and 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.
23 Citations
15 Claims
-
1. A system for verifying operation of a target system to be inspected, the system comprising:
-
a binary-tree generating unit; and a matching unit; wherein the binary-tree generating unit obtains information about a functional specification of the target system and generates one or more binary trees that associate (1) one or more states that can occur in the target system with respective nodes and (2) state transitions of objects constituting the target system and interactions between the objects with connection relationships between the nodes; and wherein 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 to match the event sequence against the binary trees generated by the binary-tree generating unit. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8)
-
-
9. A method of verifying operation of a target system to be inspected, the method comprising the steps of:
-
obtaining a state transition diagram of each object and a sequence diagram for each use case of the target system as information about a functional specification of the target system; generating one or more binary trees that associate one or more states that can occur in the target system with respective nodes based on information about state transitions obtained from the state transition diagrams and information about interactions obtained from the sequence diagram and that associate state transitions of the objects constituting the target system and interactions between the objects with connection relationships between the nodes; and receiving an event sequence in an application model of the target system obtained in response to the operation of the target system and matching the event sequence against the generated binary trees. - View Dependent Claims (10, 11)
-
-
12. 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:
-
obtaining information about a functional specification of a target system to be inspected and generating 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; and receiving an event sequence in an application model of the target system obtained in response to the operation of the target system and matching the event sequence against the binary trees generated by the binary-tree generating means. - View Dependent Claims (13, 14, 15)
-
Specification