| ||||
Chapter 1 IntroductionReactis1 offers model-based testing, debugging, and validation for Simulink / Stateflow2 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 C code that is incorporated into a model using S-Functions or Stateflow custom C code. Reactis Tester automatically generates test suites from Simulink / Stateflow models of embedded control software. The test suites provide comprehensive yet concise coverage of different test-quality metrics. Each test 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 be used for a variety of purposes, including:
Reactis enables you to maximize the effectiveness of your testing while reducing time and effort. Reactis Simulator enables you to visualize model execution. Simulator’s user interface is similar to those of traditional debuggers from programming languages: it allows you to step through the execution of models by hand, set break points, and study values of intermediate data elements. By executing Tester-generated tests in Simulator and examining coverage, you can often identify modeling errors, redundant code, or dead code. Simulator also supports reverse execution 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.
RSI welcomes user feedback and questions. To ask questions, make suggestions, or report suspected bugs, you may call RSI’s help line at (+1) 919-324-3507 or send e-mail to:
help@reactive-systems.com
When sending e-mail, you are encouraged to include the “System Info” information for your Reactis installation; 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. | ||||