System and method for verifying operation of a target system
US8078915B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Jan 26, 2009 |
| Grant date | Dec 13, 2011 |
| Priority date | — |
| Expiry date | Jan 23, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3612
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.