Parametric regular object types with comprehensions for automated generation of software test fixtures

摘要

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.