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
- 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
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
- Model Highlighting
Reactis Tester
- The Tester Launch Dialog
- The Progress Dialog
Reactis Validator
- The Meaning of Validator Objectives
  - Assertions
  - User-Defined Coverage Targets
- 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
Troubleshooting Coverage Problems
- Modifying the .rsi File
- Modifying Test-Generation Parameters
- Test-Suite Tuning
- 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
- Reactis for C Tab of the Settings Dialog
- Specifying the C Source Files to Build an S-Function
  - S-Function Requirements
- Specifying the C Source Files Called from Stateflow
  - Stateflow Custom Code Requirments
- C Code Coverage Criteria
  - Tracking Coverage in C Code
- C Code in the Main Reactis Window
- Debugging C Code with Reactis Simulator
- Generating Tests from C Code in Reactis Tester
- Validating C Code with Reactis Validator
- Unsupported C Features
The Reactis API
- Overview
- Compiling a C or C++ program with the Reactis API
- Reactis API files
- 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 for Current Beta Release
- V2007.1 (15 February 2008)
- Previous Major Release Dates
Index