Reactis
Automatic test suite generation for Simulink and Stateflow models
Highlights
- Supports model-driven testing of embedded software
- Generates comprehensive, yet compact, test suites automatically
- Works on Simulink® and Stateflow® model files
- Enables users to visualize test execution
- Provides highly integrated simulation of Simulink and Stateflow models
- Supports automated, user-driven fine-tuning of test suites
Description

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.

Reactive Systems, Inc.
341 Kilmayne Dr. Suite 101
Cary, NC 27511
UNITED STATES
Tel: 919-324-3507
Fax: 919-324-3508
help@reactive-systems.com
https://www.reactive-systems.com
Required Products
Platforms
- Windows
Support
- Consulting
- On-site assistance
- Telephone
- Training
Product Type
- Verification and Validation Tools
Tasks
- Embedded Systems
- System Modeling and Simulation
- Test-suite generation
Industries
- Aerospace and Defense
- Automotive
- Biotech and Pharmaceutical
- Communication Infrastructure