What is the T-VEC Test Vector Generation System?
The T-VEC Test Vector Generation System is a fully integrated system for automating model analysis, test generation, test coverage analysis and test execution. It includes the only known commercial tool capable of producing test vectors, including test input values, expected test outputs and requirements to test traceability. The T-VEC system performs model analysis on and test generation from requirements models and incorporates extended support for domain testing theory for test case selection. The system also includes the test driver generator that uses a template approach to convert generic test vectors into a form suitable for model simulation or automated testing in a host or target environment.