Contact
|
Login
Products
|
Support
|
Company
|
News
|
FAQ
Reactis User's Guide
Contents
|
Index
Chapters:
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
|
18
|
19
|
A
|
B
|
C
Introduction
Installing and Starting Reactis
Installing with Local License File
Installing with Remote License Manager
Installing the Reactis License Manager
Performing a Silent Install
Starting Reactis
Getting Started with Reactis
A Note on Model Preparation
Reactis Top Level
The Info File Editor
Simulator
Generating Random Inputs
Tracking Model Coverage
Reading Inputs from Tests
Tracking Values of Data Items
Querying the User for Inputs
Constructing a Functional Test with User Guided Simulation
Other Simulator Features
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
Unpacking Top-Level Buses
Printing Models
Reactis Global Settings
General Settings
Reactis for C Global Settings
Reactis for EML Global Settings
MATLAB Global Settings
Path Global Settings
Files Global Settings
User Info Settings
License Settings
Default Model-Specific Settings
The Reactis Info File Editor
Menus
Toolbar
Test Harness Pane
Inport Types Pane
The Type Editor Dialog
Invoking the Type Editor
Using the Type Editor
Labeled Window Items
Editing Vector Types
Editing Bus Types
Type Constraint Syntax
Configuration Variables
Configuration Variable Sets
Test Points
Adding and Removing Test Points
Importing Test Points from a Simulink model
The Test Points Pane
Configuring a Test Point with the Test Point Properties Editor
Outport Tolerances
Tolerance Methods
The Tolerance Editor Dialog
General
Error Checking
Coverage Metrics
Excluded Coverage Targets
Validator Objectives
C Code
External EML Functions
Callbacks
Search Path
File Dependencies
Reactis Coverage Metrics
Simulink-Specific Metrics
Conditional Subsystem Coverage
Branch Coverage
Lookup Table Coverage
1-D Tables
2-D Tables
Stateflow-Specific Metrics
State Coverage
Condition Action Coverage
Transition Action Coverage
Child State Exit via Parent Transition
Generic Metrics
Decision, Condition, MC/DC and MCC Metrics
Boundary Value Coverage
Boundary Values for Inports, Test Points, and Configuration Variables
Boundary Values for Relational Operators
Boundary Values for Integer Saturation
Validator-Related Targets
Excluding Coverage Targets
Disabling a Coverage Metric
Excluding a Subsystem
Excluding Individual Targets
Cumulative Subsystem Coverage
Reactis Simulator
Labeled Window Items
Menus
Creating Test Execution Reports
Test Data Plots
Specifying the Simulation Input Mode
User Input Mode
Syntax of Next Input Value Expressions
Reading Data from Existing Test Suites in Expressions
Select Signals Dialog
Reading Data from Existing Test Suites
Test Input Mode
Tracking Data-Item Values
Selecting Bus Components
The Watched-Variable List
Scopes
Labeled Window Items
Distribution Scopes
Difference Scopes
Tracking Model Coverage
The Coverage Summary Dialog
Coverage Information in the Main Panel
The Coverage Report Browser
Exporting and Importing Test Suites
Exporting Test Suites
Importing Test Suites
Updating Test Suites
Update Using Reactis
Update Outputs Using Simulink
Model Highlighting
Reactis Tester
The Tester Launch Dialog
The Progress Dialog
Reactis Validator
The Meaning of Validator Objectives
Assertions
User-Defined Coverage Targets
Virtual Sources
Use Cases of Validator Objectives
Checking a Requirement with an Expression Assertion and an Expression User-Defined Target
Checking a Requirement with a Diagram Assertion
Creating a Functional Test Using a Virtual Source
Adding, Editing, and Removing Objectives
The Simulink Expression Objective Dialog
The Stateflow Expression Objective Dialog
The Timer Objective Dialog
The Diagram Objective Dialog
Accessing Values from Previous Simulation Steps
Wiring Validator Objectives Within the Reactis Main Panel
Linking to Requirements Documents
Running Reactis Validator
Labeled Window Items
Validator Menus in the Reactis Top-Level Window
Tracking Coverage Within Validator Objectives
The Reactis Coverage-Report Browser
Labeled Window Items
Menus
Exporting Coverage Reports
Coverage Report Contents
The Reactis Test-Suite Browser
Labeled Window Items
Menus
Test Step Filter Editor
Executing Test Suites
Executing Test Suites Using Reactis Simulator
Executing Test Suites in Simulink
Executing Tests in Simulink with the
rsRunTests
Utility
Executing Tests in Simulink with the Simulation Parameters Dialog
Running Tests in Simulink by Editing the
.m
file
Running Tests in Simulink by Replacing Top-Level Inports with FromWorkspace Blocks.
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
S-Functions
Lookup Tables
1-D Lookup Table
2-D Lookup Table
n-D Lookup Table
Direct Lookup Table (n-D)
Lookup Table Dynamic
Prelookup
Interpolation using Prelookup
Table of Supported Blocks
Simulink Extras
HDL Coder Blockset
TargetLink 2.2.1 Library Blocks
TargetLink 2.3.1 Library Blocks
TargetLink 3.0 to 3.4 Library Blocks
TargetLink 3.5 to 4.2 Library Blocks
Stateflow
Embedded MATLAB
Model Semantics
Conditional Input Branch Execution
Reactis for C Plugin
Quick Start
Configuring Reactis for C
Global Settings
Model-Specific Settings
Error Checking Pane
Coverage Metrics Pane
C Code Pane
S-Function C Code
Source Files
Adding Source Files
Include Search Path
Libraries
Defines
General
Pathnames
S-Function Requirements
Stateflow Custom C Code
Stateflow Custom Code Requirements
C Code Coverage Metrics
Visualizing 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
Stub File Generation
Unsupported C Features
Supported C library functions
Reactis for EML Plugin
Enabling the Reactis for EML Plugin
External EML Functions
EML Coverage Metrics
Tracking Coverage in EML Code
Debugging EML Code
Subset of Embedded MATLAB Supported by Reactis
Syntax
Types
Control flow
User-defined functions, Subfunctions, and External Functions
Array indexing
Logical operators
Relational operators
Math operators
Math functions
Statistical functions
Matrix operations
Element-wise array operations
Vector operations
Bit operation
Cast operations
String operations
Miscellaneous functions
The Reactis API
Using the Reactis API from MATLAB
Using the Reactis API from C Programs
Quick Start
Compiling a C or C++ program with the Reactis API
Reactis API Files for C Programming
The Reactis License Manager
File Types and Extensions
File Types Used or Created by Reactis
File Types Used or Created by the Reactis for C Plugin
Frequently Asked Questions
Revision History
Patches Mailing List Archive
V2020.2 (18 December 2020)
Newly Supported Simulink Features
Create Test Harnesses for Subsystems of a Model
Other Improvements
Reactis for C Plugin
Reactis for EML Plugin
Previous Major Release Dates
Index