Verification of requirements specification, design specification, and computer-readable storage medium apparatus, and method thereof
US8079001B2 · kind B2 · utility
1Cited by
9References
20Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Jun 10, 2008 |
| Grant date | Dec 13, 2011 |
| Priority date | — |
| Expiry date | Jun 29, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/10
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
Conditions necessary to be satisfied for execution of each use case from a use case description indicative of a requirements specification of the design object are acquired. Then a state satisfying the conditions, from among a set of states represented in a finite state machine model indicative of a design specification of the design object are detected. A presence or absence of an undetected state in the set of states in accordance with the detection is determined and output.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.