Reactis® generates comprehensive test suites from Simulink/Stateflow models. The test suites exercise the models thoroughly and efficiently, making them an invaluable aid for model debugging. They are also useful for checking the accuracy of source code implementations of models, since the tests store the model-generated outputs for later comparison with software-generated outputs.
Reactis end users are engineers who design, develop, and test embedded software. Reactis currently consists of three main components: Reactis Tester, Reactis Simulator, and Reactis Validator. Reactis lets the user specify a Simulink/Stateflow MDL-file as input. Reactis Tester processes the MDL-file to automatically generate a comprehensive, yet compact, test suite from the model. Reactis Simulator can then visualize the results of executing tests produced by Reactis Tester and fine-tune Tester-generated test suites. These test suites may also be exported in a format that allows them to be run inside the Simulink/Stateflow environment. Reactis Validator checks if a model violates its requirements.