|
The CoreTec project develops infrastructure technology that is common across the various test generators built in SBVT. Currently, there are three main components in CoreTec:
- Generation Core (GEC): provides a mechanism to define constraint satisfaction problems (CSP) as variables over finite domains and constraints (relations) between these variables, and a sophisticated constraint engine that solves the given CSP. GEC goes beyond traditional CSP solvers in a number of ways:
- random solutions
- support for large domains, specifically for bitstreams (as masks or BDDs)
- soft and hard constraints
- conditional CSPs
- C++ API to define and solve constraint problems
- ClassMate: an object-oriented, constraint-based language for defining models. It allows users to define the types (primitives, records, collections, etc.) and instances of an application's terminology (meta-model) and design (model). In addition, users can define constraints between elements of the model. A straight-forward API for C++ exists, which enables applications to access, navigate, and query objects in the model. ClassMate also provides a graphical user interface for both viewing and editing the model.
| |
|
