Parametric regular object types with comprehensions for automated generation of software test fixtures
US8429618B2 · kind B2 · utility
9Cited by
0References
17Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Sep 18, 2008 |
| Grant date | Apr 23, 2013 |
| Priority date | — |
| Expiry date | Aug 9, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3688
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A system and method for creating abstract descriptions of general applications includes creating a library of code primitives and expressing skeletal code structures in terms of parametric regular tree types including parameterized declarations of the code primitives. Parametric values are generated using set comprehensions. The set comprehensions are applied to the skeletal code structures to generate a working application such that a parametric, regular object type system is combined with a comprehension syntax for creating abstract descriptions of a general application.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.