Specification generation from implementations
US7844951B2 · kind B2 · utility
16Cited by
1References
15Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Dec 30, 2005 |
| Grant date | Nov 30, 2010 |
| Priority date | — |
| Expiry date | Oct 1, 2029 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/74
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.