SYSTEM AND METHOD FOR VERIFYING OPERATION OF SYSTEM

摘要

PROBLEM TO BE SOLVED: To provide a system and method for observing and verifying the operation of a system to be verified while determining various inspection conditions. SOLUTION: The system for verifying the operation of a target system to be verified comprises an abstract binary tree generating unit 110 and a matching unit 130. The abstract binary tree generating unit 110 obtains information about a functional specification of the target system and generates abstract binary trees that associate 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 130 receives an event sequence in an application model of the target system obtained based on the operation of the target system, and matches the event sequence against the abstract binary trees generated by the abstract binary tree generating unit 110. COPYRIGHT: (C)2009,JPO&INPIT