首页>
外国专利>
Parametric regular object types with comprehensions for automated generation of software test fixtures
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.
展开▼