Difference between revisions of "Simulink Tester Issues"

From T-VEC Wiki
Jump to: navigation, search
 
Line 1: Line 1:
 
This section describes potential limitations, issues and associated guidance for using T-VEC with Simulink and Stateflow.
 
This section describes potential limitations, issues and associated guidance for using T-VEC with Simulink and Stateflow.
  
 +
==Guidance==
 +
===Test Vector Failures===
 +
If test vector failures occur
 +
#Check to make sure that the lower-level subsystems do not have failures, correct those failures first
 +
#Check to make sure that the constraints of lower-level subsystem do not preclude satisfiability associated with higher-level subsystems that reference the lower-level subsystems
 +
#Use the Auto Rotate Convergence Fix Mode in the Vector Generator Properties of VGS
 
==Limitations==
 
==Limitations==
 
+
===Simulation Test Drivers: State Data Initialization===
 +
T-VEC produces test vectors that may contain state data for feedback constructs such as the unit delay. This results in state data, but there is currently no control mechanisms in the Matlab simulator to set (initialize) state data.
 
==Issues==
 
==Issues==
 
===Inlining and Coverage===
 
===Inlining and Coverage===
Line 23: Line 30:
  
 
Subsystem Y inlines subsystem X, but has references to Subsystem X only when the input associated with the signal A is >= 0. This means that there cannot be model or test coverage for the path when A < 0.
 
Subsystem Y inlines subsystem X, but has references to Subsystem X only when the input associated with the signal A is >= 0. This means that there cannot be model or test coverage for the path when A < 0.
 +
===Test Vector Generation Failures===
 +
T-VEC VGS analysis is exhaustive in the sense that for every DCP throughout the hierarchy of systems it is model-checked, and a test vector is them produced. Most test vector generation failures results from model defects where the constraints of the DCP are not satisfiable throughout the hierarchy of DCPs of the subsystems.
 +
 +
However, there are possible situations where test vector generation fails when it is possible to find vectors, for example when signal domains are left to their defaults. There are [http://www.t-vec.com/wiki/index.php/Simulink/T-VEC_Examples default settings for ranges values], but these may not be adequate for the application.
 +
 +
T-VEC does cover a large percentage of every model use standard block, however, dynamic array indexing, and cases of spacial discontinuity coupled with circular dependent variable relationships that cause forward convergence to move into the "left hand" (output) disconnected space and backward propagation to move into "right hand" (input) disconnected space and no solution is possible with existing mechanisms. This is rather rare, but it does happen. The T-VEC test generation algorithms continue to evolve to deal with classes of these kind of situations, but there is no guarantee that there will never be a problem. For such situation contact support@t-vec.com for additional assistance.
 +
 +
The auto-rotate is one of the mechanisms that address this issue, most are applied automatically, independent of the specific convergence mode.
 +
Finding test vectors, by hand, for these cases is likely to be equally problematic.

Revision as of 13:36, 25 February 2007