Difference between revisions of "Simulink Tester Issues"

From T-VEC Wiki
Jump to: navigation, search
(Issues)
(S-Functions)
Line 11: Line 11:
  
 
Instructions for formating the S-Function substitution tag are provided in the Simulink Tester User's Guide.
 
Instructions for formating the S-Function substitution tag are provided in the Simulink Tester User's Guide.
 +
 +
The S Function must be created to use S Function Builder that can be supported by T-VEC.
 +
 +
S-functions are used by Simulink developers to write source code and include it in their Simulink models. We do not directly support using source code as an input to the T-VEC translator. That would defeat the main purpose of the sl2tvec/T-VEC process - which is to support model-based verification and testing. Source code is not a "model" and is the target that the user is supposed to be testing. It is not valid to generate test vectors directly from the source code being tested.
 +
 +
The way that we support S-functions is to allow the user to create an independent Simulink model that represents the input and output interface to the S-function and also represents the same functional semantics as the S-function. Then, the user can add a reference to the S-function in the block properties of the S-function block that names the external Simulink model. The sl2tvec translator then substitutes the external Simulink model for the S-function during translation. This way, the user can use S-functions for code efficiency or direct addressing of specific memory locations or for what ever reason they are necessary, but still use the sl2tvec/T-VEC processes on their model.
 +
 +
Example including S Functions:
 +
A few power point slides can illustrate this approach. These slides show that the S-function was made with S-function builder - but that is not necessary. Any S-function may be mapped to an external Simulink model using this approach.
  
 
==Limitations==
 
==Limitations==

Revision as of 15:30, 22 May 2008