Reactis. Model-based testing, debugging, and validation for
Simulink/Stateflow models. Includes Reactis Tester, Reactis
Simulator, and Reactis Validator. Requires MATLAB, Simulink, and
Stateflow offered by The MathWorks.
More...
Reactis for C Plugin. White-box analysis of S-Functions and
Stateflow custom C code. Integrates seamlessly with (and requires)
Reactis.
More...
Reactis for C. Now in beta test. Generate tests from C code.
Detect run-time errors. Track coverage: Statement, Decision, Condition, MC/DC.
When an error is detected, replay a concrete execution sequence leading to the
problem in order to understand, diagnose, and fix the bug.
More...
