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