|
Reactis functions as a plug-in for The MathWorks' Simulink and Stateflow tool chain. Users load models created in The MathWorks environment into Reactis and then interact with these models inside the tool. Reactis consists of three major subsystems. Reactis Tester generates test data automatically from models. The tool uses structural-coverage criteria, such as branch coverage, in selecting test data, and it also stores model-generated outputs in the test cases. Reactis Validator allows users to instrument models with checks for assessing model behavior and targets for guiding the generation of test data. Validator can be used to automate requirements-driven testing and to validate model behavior. Reactis Simulator provides a flexible interface to users who wish to enter test data manually or who wish to handtune Tester-generated test cases. The tool includes a number of features for interactively inspecting simulation runs and entering input data. |
 |
| ||||
