State exploration using multiple state groupings
US7363202B2 · kind B2 · utility
5Cited by
3References
17Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jan 20, 2005 |
| Grant date | Apr 22, 2008 |
| Priority date | — |
| Expiry date | Apr 28, 2026 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Exploration algorithms are relevant to the industrial practice of generating test cases from an abstract state machine whose runs define the predicted behavior of the software system under test. Here, a new exploration algorithm allows multiple state groupings to simultaneously guide the search for states that are interesting or relevant for testing. In some cases, the algorithm allows exploration to be optimized from exponential to linear complexity. An extended example is included that illustrates the use of the algorithm.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.