Reactive Systems logo

Automated Testing and Validation with Reactis®

May 23, 2018
Test Simulink model against C code with Reactis

How Do You Develop Software?

Model-Based Design with Simulink® and Stateflow®

Reactis Logo 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.

Simulink validate icon 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.

Reactis for C Plugin integrates seamlessly with Reactis to offer white-box analysis of the C code portions of models (S-Functions and Stateflow custom C code). More on S-Function debug.

Simulink validate icon Testing C Code in Simulink Models Using the Reactis for C Plugin (8 min video)

Reactis and the C Plugin also support testing TargetLink® models and C code.

Model Inspector Icon Reactis Model Inspector offers a low-cost, lightweight Simulink viewer.

C Code

Reactis Logo 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.

Simulink validate icon Finding Bugs in C Code Using Reactis for C (19 minute video)

generate tests from C code


  • 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?
Download trial