Reactis provides model-based testing and validation of discrete-time embedded-controller
models in the
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
- 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
A model-based design environment involving Reactis and TargetLink is
depicted in Figure 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 [RSI10].
|Figure 1: Reactis in a model-based design process.|