Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Getting Started)
(Getting Started)
Line 9: Line 9:
 
The T-VEC suite of tools provide [http://en.wikipedia.org/wiki/Model-based_testing model-based test support]. The tools include:
 
The T-VEC suite of tools provide [http://en.wikipedia.org/wiki/Model-based_testing model-based test support]. The tools include:
 
*[[T-VEC_Tablular_Modeler|T-VEC Tablular Modeler (TTM)]]
 
*[[T-VEC_Tablular_Modeler|T-VEC Tablular Modeler (TTM)]]
**TTM provides requirement management, support requirement, and functional modeling
+
**TTM provides requirement management, supports requirement, and functional modeling
*[[T-VEC_Vector_Generation_System|T-VEC Vector Generation System (VGS)]]
+
 
**VGS is the engine that provides model analysis, test vector generation, test driver generation, test results analysis, project status, and measurement reporting
+
 
*[[Simulink Tester for T-VEC|Simulink Tester for T-VEC (SL2TVEC)]]
 
*[[Simulink Tester for T-VEC|Simulink Tester for T-VEC (SL2TVEC)]]
 
**SL2TVEC translates Simulink and Stateflow models into the VGS system
 
**SL2TVEC translates Simulink and Stateflow models into the VGS system
  
If you're new to modeling, TTM is easy to use, and you can create your first model in a matter of minutes. TTM integrates seamlessly with VGS, and with one mouse click tests for your first model can be produced quickly.
+
*[[T-VEC_Vector_Generation_System|T-VEC Vector Generation System (VGS)]]
 +
**VGS is the engine that provides model analysis, test vector generation, test driver generation, test results analysis, project status, and measurement reporting
 +
 
 +
If you're new to modeling, [[T-VEC_Tablular_Modeler|TTM]] is easy to use, and you can create your first model in a matter of minutes. TTM integrates seamlessly with VGS, and with one mouse click tests for your first model can be produced quickly. TTM has built-in help, tutorials, and course exercises built-in to the installation.
 +
 
 +
Simulink users can use [[Simulink Tester for T-VEC|SL2TVEC]] and VGS to support model analysis, test generation, and execution for auto-generated code, manually produced code, and the Matlab simulator.
  
Simulink users can use SL2TVEC and VGS to support model analysis, test generation, and execution for auto-generated code, manually produced code, and the Matlab simulator.
+
[[T-VEC_Vector_Generation_System|VGS]] is the core T-VEC technologies developed in the late 1980's and early 1990's. It is a rather mature technology, and has not changed in any real fundamental way since the documentation. Most of the default setting provide the optimal set of tests.  
  
 
[[Pilot Projects or Workshops]] are often the best way to get started with T-VEC tools.
 
[[Pilot Projects or Workshops]] are often the best way to get started with T-VEC tools.

Revision as of 14:42, 7 February 2007