Reactis® is a testing and validation tool suite supporting efficient production of high-quality control software. Reactis supports model-based design with Simulink®/Stateflow® by helping to answer two important questions:
Reactis consists of three main components: Reactis Tester, Reactis Simulator, and Reactis Validator.
Reactis Tester automatically generates test suites from Simulink/Stateflow models of embedded control software. The test suites provide comprehensive coverage of different test-quality metrics, while at the same time minimizing redundancy in tests.
Reactis Simulator enables users to visualize execution of Simulink/Stateflow models. Simulator's user interface is similar to those of traditional debuggers from programming languages: it enables users to execute their models step-by-step (or even block-by-block), as well as set breakpoints. Simulator can also:
Reactis Validator performs automated searches of models to find
violations of user-specified requirements. If Validator finds a violation
of a requirement, it creates a test that demonstrates the violation of that
requirement. This test may then be executed in Reactis Simulator to gain an
understanding of the sequence of events that leads to the problem. This
tool enables the early detection of design errors and inconsistencies, and
reduces the manual effort required for design reviews.
For more details see Reactis
for Simulink product overview
The Reactis for EML Plugin integrates seamlessly with Reactis to
offer white-box testing of portions of your model implemented with
Embedded MATLAB, e.g. MATLAB Function blocks. For more details,
see this description of how the EML Plugin can help you
test MATLAB Function blocks.
The Reactis for C Plugin integrates seamlessly with Reactis to offer white-box
testing of the C code portions of a model (S-Functions or Stateflow custom
code). The Plugin enables you to generate tests that target coverage targets
(Statement, Decision, Condition, MC/DC, MCC) within your C code. When using the
Plugin with Reactis Simulator, you in effect have an advanced C debugger
integrated within the model execution environment. You can step directly
from Simulink or Stateflow into the C code.
Reactis Model Inspector is low-cost, lightweight viewer for Simulink models and
testing artifacts created by Reactis. The tool does not require Reactis or
Reactis V2023 supports MATLAB R2013a-R2023a.