T-VEC Vector Generation System

From T-VEC Wiki
Revision as of 15:47, 7 February 2007 by Admin (Talk | contribs)

Jump to: navigation, search

The T-VEC Vector Generation System (VGS) is the engine to supports:

  • Model analysis
  • Test vector generation
  • Test driver
  • Test results analysis
  • Project status and measurement



The VGS was first used in the FAA certification of the Traffic and Collision Avoidance (TCAS) system in 1990. T-VEC was applied to the entire MD90 (McDonnell Douglas) Electrical Power System Variable Speed Constant Frequency (VSCF) system that was FAA-certified in January of 1995.

In 1998 VGS was integrated with the original SCR tool. Since that time it has continued to evolve and support other integrations with various modeling tools such as MATRIXx and more recently Simulink/Stateflow.


VGS has a wide array of test vector generation options, but the default vector generation functions are accessible to user through a single menu option called Build that performs the build process based on the dependencies, much like make. The Build process perform a number of steps to support Test Vector Generation.

There is a second option call Build with Test Drivers that performs both Test Vector Generation and Test Driver Generation.

This function is also provide through a command or console function to permit batch-oriented test generation.

Test Vector Generation

The test vector generation produces a set of test vectors that include the inputs, expected outputs, and requirement traceability link. These vectors are generic in that the inputs and expected outputs are based on the names from the model. Users often visualize the vectors in a html table matrix to examine and assess the values produced in the process.

The resulting vectors can be applied to unit, integration, or system testing. The applicability of the vectors to theses various layers of testing is based on the model.

Test Driver Generation

Test drivers generation transforms generic test vectors into environment and programming language-specific test drivers.

The test driver generator and associated support tools use programmable schemas and user object mappings that relate the model variable to the implementation (or simulation) interfaces that are required to automatically execute the test driver in some target test environment.

Test drivers have been produced in many languages, such as C, C++, Java, SQL/ODBC/JDBC, XML, SOAP WinRunner, JCL, Perl, Python, Ada, Basis and VB, Custom (graphics),Assembler, shell, command languages, emulators, proprietary, more . . .