Event driven graph explorer for model-based testing of software
US7302677B2 · kind B2 · utility
16Cited by
15References
14Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | May 8, 2003 |
| Grant date | Nov 27, 2007 |
| Priority date | — |
| Expiry date | Aug 15, 2025 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3604
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A software testing system uses a graph traversal algorithm to explore a model simulating a software product in order to identify errors in the software product. The model employs a Petri's net construct for maintaining state and governing transitions. In particular, the model mediates between a test driver and the software product. The model-based approach is usable both to validate the design of the software and verify the implementation of that design. Using the Petri net model, the test space is bounded.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.