1. Introduction#
Reactis provides model-based testing and validation of discrete-time embedded-controller models in the Simulink / Stateflow notation developed by MathWorks. The dSPACE autocode tool TargetLink has become popular because:
its Simulink-compatible blockset enables detailed specification of the C code attributes, and
the C code generated from TargetLink models is very high quality.
With proper configuration, Reactis can work with not only the TargetLink blockset (of many versions of TargetLink), but also with the C code it generates. This has many obvious advantages:
Direct comparison between idealized-model behavior and realized C-code behavior.
Reactis test vectors derived for model-coverage can be used to analyze code coverage in the same environment. This can be extremely useful when looking at boundary or threshold conditions.
Interactive analysis using the full step-accurate debugging capability of Reactis.
A model-based design environment involving Reactis and TargetLink is depicted in Figure 1.1. Reactis contains three core components: Tester, which offers automatic test generation from models; Simulator, which enables users to visualize model execution to debug models and track coverage; and Validator, which offers automated checks of models for violations of user-specified requirements. For more information on the basic capabilities of Reactis, please see Testing and Validation of Simulink Models with Reactis.

Fig. 1.1 Reactis in a model-based design process.#