This video introduces Reactis, a testing tool that supports model-based design with Simulink. Reactis is used by engineers developing embedded sofware in the automotive, aerospace, and medical device industries.
Reactis Tester generates comprehensive test suites from Simulink models. The tests help you uncover runtime errors, perform regression testing, and check if C code conforms to a model (often called back-to-back testing). The tests aim to maximize coverage of Simulink models using a set of coverage metrics including decision coverage, condition coverage, and modified condition/decision coverage (MC/DC).
Reactis Simulator is a simulation environment for Simulink models. It lets you execute tests created by Reactis while visualizing test coverage and data values. If an error is detected Simulator supports reverse execution to back up and investigate the source of the problem.
Reactis Validator lets you formulate requirements that your model should satisfy and perform an automated search for any violations. When a violation is detected, Validator returns a test that can be executed in Reactis Simulator to diagnose and debug the error.
The net effect of testing Simulink models with Reactis is more robust embedded software at a lower cost.
