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

From T-VEC Wiki
Jump to: navigation, search
(Signal Ranges)
Line 1: Line 1:
 
The most successful users of T-VEC Tester for Simulink (SL2TVEC) follow a few key guidelines:
 
The most successful users of T-VEC Tester for Simulink (SL2TVEC) follow a few key guidelines:
#They development the models with verification in mind - they are aware of those modeling constructs and patterns that result in safe systems
+
#Develop the models with verification in mind - they are aware of those modeling constructs and patterns that result in safe systems
#They perform modeling and the verification activities supported by SL2TVEC iteratively
+
#Perform modeling and the verification activities supported by SL2TVEC iteratively and continuosly during the design process
 
#Understand the tool is performing model checking, and that tests are a byproduct of this process
 
#Understand the tool is performing model checking, and that tests are a byproduct of this process
 
#Understand that the Simmulink/Stateflow tool is continously evolving, and the SL2TVEC integration process may take time to catchup to the changes in every new Simulink release, which further emphasizes point #1.
 
#Understand that the Simmulink/Stateflow tool is continously evolving, and the SL2TVEC integration process may take time to catchup to the changes in every new Simulink release, which further emphasizes point #1.
Line 9: Line 9:
  
 
===Signal Ranges===
 
===Signal Ranges===
Signal ranges information defines the low bound and high bound values of input and output signals. This information is critical because test vector inputs are selected based on the range of the input signals. In addition, T-VEC analyzes the model using domain analysis starting from the signal range. The default input ranges are based on type definition. The min (low bound) and max (high bound) values often do not make sense. This especially true for floating-point numbers that have the following ranges:
+
Signal ranges information defines the low bound and high bound values of input and output signals. This information is critical because test vector inputs are selected based on the range of the input signals. In addition, T-VEC analyzes the model using domain analysis starting from the signal range. The default input ranges are based on type definitions. The min (low bound) and max (high bound) values often do not make sense. This especially true for floating-point numbers that have the following ranges:
 
*32 bit float range: -3.4E+38 to 3.4E+38
 
*32 bit float range: -3.4E+38 to 3.4E+38
 
*64 bit float range: -1.7E+308 to 1.7E+308
 
*64 bit float range: -1.7E+308 to 1.7E+308

Revision as of 16:39, 14 February 2007