Difference between revisions of "Simulink/T-VEC Examples"

From T-VEC Wiki
Jump to: navigation, search
(Test Sequences)
(Test Sequences)
Line 30: Line 30:
 
===Test Sequences===
 
===Test Sequences===
 
There are two mechanisms to support test sequences through SL2TVEC translations and using the T-VEC VGS:
 
There are two mechanisms to support test sequences through SL2TVEC translations and using the T-VEC VGS:
*[[Simulink_Tester_Issues#Test Sequence Vectors: State Variable Initialization]] - VGS provides options that provide controls for creating test sequence vectors to cover control associated with state variables
+
*[[Simulink_Tester_Issues#Test Sequence Vectors: State Variable Initialization|Test Sequence Vectors: State Variable Initialization]] - VGS provides options that provide controls for creating test sequence vectors to cover control and logic that is associated with state variables
*[[Simulink_Tester_for_T-VEC#Test Sequence Vectors]] - SL2TVEC GUI provides a mechanism for specifying test sequences, which are then produced by the vector generator. This mechanism can support testing of control, but is primarily oriented to dynamic analysis and algorithm analysis.
+
*[[Simulink_Tester_for_T-VEC#Test Sequence Vectors|Test Sequence Vectors]] - SL2TVEC GUI provides a mechanism for specifying test sequences, where test sequence vectors are produced by VGS. This mechanism can support testing of control, but is primarily oriented to dynamic and algorithm analysis.
  
 
===Assertions===
 
===Assertions===

Revision as of 17:30, 7 March 2007