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

From T-VEC Wiki
Jump to: navigation, search
(Example Links)
(Test Sequences)
Line 29: Line 29:
  
 
===Test Sequences===
 
===Test Sequences===
 +
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_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.
  
 
===Assertions===
 
===Assertions===

Revision as of 17:28, 7 March 2007