Model-Based Design with Simulink® and Stateflow®
Reactis plays a number of important roles
in a model-based design process. It gives you a set of tools to test,
verify, and truly understand your model's behavior and can help you
check whether the source code that will ultimately be deployed
conforms to the behavior of your model. More on
testing and validation of
Simulink models.
Model-Based Testing and Validation with Reactis
(9 min video)
Reactis for EML Plugin integrates
seamlessly with Reactis to offer white-box testing of any portions
of your model implemented with Embedded MATLAB®, e.g. MATLAB
Function blocks and the MATLAB action language in Stateflow.
|
C Code
Reactis for C generates comprehensive
yet compact tests from C code, detects runtime errors, and tracks
coverage (Statement, Decision, Condition, MC/DC, MCC). When an error is
detected, you can easily replay a concrete execution sequence leading
to the problem in order to understand, diagnose, and fix the bug.
More on testing C code.
Finding Bugs in C Code Using
Reactis for C (19-minute video)
|
- Will unexpected inputs cause a runtime error?
- How much of my code have I really tested?
- How do I understand, diagnose, and fix a bug?
- Will the brake always deactivate the cruise control?
- How do I test my code against the model?
|
|
Back-to-Back Testing of Code Against Simulink Model
- Generate tests from Simulink model
- Run tests on code
- Differences are automatically detected, flagged, and recorded in reports.
|
or
|
- Generate tests from code
- Run tests on Simulink model
- Differences are automatically detected, flagged, and recorded in reports.
|
|