Chapter 1 Introduction

Reactis(R) offers model-based testing, debugging, and validation for Simulink(R) /Stateflow(R) models. Reactis currently consists of three main components: Reactis Tester, Reactis Simulator, and Reactis Validator. An optional add-on product Reactis for C Plugin offers white-box analysis of S-Functions and Stateflow custom C code.

Reactis Tester automatically generates test suites from Simulink(R) / Stateflow(R) ¹ models of embedded control software. The test suites provide comprehensive yet concise coverage of different test-quality criteria. Each test case in a test suite consists of a sequence of input vectors as well as the responses to those inputs generated by the model. These tests may then be used for a variety of purposes, including:

Implementation conformance.: The tests may be applied to implementations derived from models to ensure conformance with model behavior.
Model testing and debugging.: The tests may be run on the models themselves and detect runtime errors and to analyze their behavior.
Reverse engineering of models from source.: Tests may be generated from models derived from legacy code in order to check conformance between model and code.

Reactis enables users to maximize the effectiveness of their testing while reducing time and effort.

Reactis Simulator enables users to visualize model execution. Simulator's user interface is similar to those of traditional debuggers from programming languages: it allows one to step through the execution of models by hand, set break points, and study values of intermediate data elements. Simulator also supports reverse execution, the replay of tests generated by Reactis Tester, the graphical display of different coverage criteria, and the fine-tuning of Tester-generated test suites.

Reactis Validator performs automated searches of models for violations of user-specified requirements. If Validator finds a violation of a requirement, it returns a test highlighting the problem. This test may then be executed in Reactis Simulator to gain an understanding of the source of the error. Validator enables the early detection of design errors and inconsistencies and reduces the effort required for design reviews. Some checks that may be performed with Validator include the following.

Will a car's anti-lock brakes always engage within a specified time period when the brake pedal is pressed?
Will a plane's thrust reversers ever engage when the aircraft is airborne?
Will an x-ray machine ever deliver a dangerous dose of radiation?
Will a cellular phone “hang” when moved from a non-serviced into a serviced area?

Support and Feedback

RSI welcomes user feedback and questions. To ask questions, make suggestions, or report suspected bugs, users may call RSI's help line at (+1) 703-534-6458 or send e-mail to help@reactive-systems.com. When sending e-mail, users are encouraged to include the “System Info” information for their Reactis installation in question; this can be obtained by selecting the Help -> About menu item from the top-level Reactis window, then clicking Copy To Clipboard and pasting the information into the e-mail message.

1: Simulink, Stateflow and MATLAB (R) are registered trademarks of The MathWorks, Inc.