Reactis User's Guide

Introduction
- Support and Feedback
Installing Reactis
- Installing with Local License File
- Installing with Remote License Manager
- Installing the Reactis License Manager
- Performing a Silent Install
Getting Started with Reactis
- A Note on Model Preparation
- Reactis Top Level
- The Info File Editor
- Simulator
- Tester
- The Test-Suite Browser
- Validator
  - Manipulating Validator Objectives
  - Launching Validator
The Reactis Top-Level Window
- Labeled Window Items
- Menus
- List of Matching From/Goto or Data Store Blocks
- Configuration Variable Panel
- Extracting Subsystems
- Printing Models
- Reactis Settings
The Reactis Info File Editor
- Contents of Reactis Info Files
- Labeled Window Items
- Menus
- The Type Editor Dialog
Reactis Coverage Criteria
- Simulink-Specific Criteria
- Stateflow-Specific Criteria
- Generic Criteria
  - Condition, Decision and MC/DC Criteria
  - Boundary Value Coverage
    - Boundary Values for Inports and Configuration Variables
    - Boundary Values for Relational Operators
- Validator-Related Targets
Reactis Simulator
- Labeled Window Items
- Menus
- Specifying the Simulation Input Mode
  - User Input Mode
  - Test Input Mode
- Tracking Data-Item Values
- Tracking Model Coverage
- Exporting and Importing Test Suites
- Updating Test Suites
- Model Highlighting
Reactis Tester
- The Tester Launch Dialog
- The Progress Dialog
Reactis Validator
- The Meaning of Validator Objectives
- Use Cases of Validator Objectives
- Adding, Editing, and Removing Objectives
- Running Reactis Validator
  - Labeled Window Items
- Validator Menus in the Reactis Top-Level Window
The Reactis Coverage-Report Browser
- Labeled Window Items
- Menus
- Exporting Coverage Reports
The Reactis Test-Suite Browser
- Labeled Window Items
- Menus
Executing Test Suites
- Executing Test Suites Using Reactis Simulator
- Executing Test Suites in Simulink
- Executing Test Suites on Source Code
Maximizing Coverage
- Constraining Input Values
- Modifying Test-Generation Parameters
- Using Timer Targets
- Interactively Tuning Test Suites
- Model Decomposition
Preparing Models for Use with Reactis
- MATLAB
  - Workspace Data Items
  - Unsupported MATLAB Features
- Simulink
- Stateflow
Model Semantics
- Conditional Input Branch Execution
Reactis for C Plugin
- Quick Start
- Configuring Reactis for C
- S-Function C Code
  - Pathnames
  - S-Function Requirements
- Stateflow Custom C Code
  - Stateflow Custom Code Requirements
- C Code Tab in the Info File Editor
- C Code Coverage Criteria
  - Tracking Coverage in C Code
- C Code in the Main Reactis Window
- C Code and Reactis Simulator
- C Code and Reactis Tester
- C Code and Reactis Validator
- Integer Overflows
- Memory Errors
  - Invalid Pointer Creation
- Other Runtime Errors
- Unsupported C Features
The Reactis API
- Overview
- Compiling a C or C++ program with the Reactis API
- Using the Reactis API from the MATLAB command line
- Reactis API files
- C Coverage Details
  - Macro file format
- Alphabetical list of API functions
- API Operations
The Reactis License Manager
- Installing the Reactis License Manager
- Monitoring License Usage in Real-Time
- License Manager Logging
  - Logging to the Windows Application Event Log
  - Logging to a Log File
Frequently Asked Questions
Revision History
- Patches Mailing List Archive
- V2010 (8 February 2010)
- Previous Major Release Dates
Index

Model-Based Testing and Validation with Reactis®