What languages do the T-VEC tools support?
T-VEC’s toolset operates on requirement specifications to automatically generate test vectors (test input and expected output values) useful for verifying that some implementation of the system satisfies the underlying specification. Thus, the toolset and its associated artifacts are designed to be used in conjunction with any programming language, development environment or testing environment. The T-VEC linear form is the specification or modeling language that the toolset supports natively. Specifications can be developed in the linear form directly, but more typically they are created in a modeling language better suited to support development efforts and organizational preferences. These models are then translated into a form compatible with the toolset to support model analysis, test generation, coverage analysis, and test driver generation.
