Products
|
Support
|
Company
|
News
|
FAQ
Reactis for C User's Guide
Contents
|
Index
Chapters:
1
|
2
|
3
|
4
|
5
|
6
|
7
|
8
|
9
|
10
|
11
|
12
|
13
|
14
|
15
|
16
|
17
Introduction
Support and Feedback
Installing Reactis for C
Installing with a Node-Locked License
Installing with a Floating License
Installing the Reactis License Manager
Performing a Silent Install
Getting Started with Reactis for C
Quick Start
Reactis for C Top Level
The Harness Editor
Instrumentation Code
Simulator
Generating Random Inputs
Tracking Code Coverage
Reading Inputs from Tests
Tracking Values of Data Items
Querying the User for Inputs
Other Features
Tester
The Test-Suite Browser
Validator
The Reactis for C Top-Level Window
Labeled Window Items
Menus
Reactis Global Settings
General Settings
C Code
User Info Settings
License Settings
Default Harness Library Settings
The Reactis Build File Editor
Common Buttons
Item Selection
Sources
Include Search Path
Libraries
Defines
Instrumentation Code
General
Target Architecture
Generating Stubs
Pathnames
The Reactis Harness Editor
Creating a new harness
General
Inputs
Outputs
Tolerance Methods
The Tolerance Editor Dialog
Configuration Variables
Names
Properties
Types
The Type Editor Dialog
Using the Type Editor
Labeled Window Items
Error Checking
Coverage Metrics
Excluded Coverage Targets
Reactis Coverage Metrics
Statement Coverage
Function Coverage
Function Call Coverage
Decision Coverage
Condition Coverage
MC/DC Coverage
MCC Coverage
Boundary Value Coverage
Assertion Coverage
Boundary Value Coverage
Coverage Highlighting
Excluding Coverage Targets
Disabling a Coverage Metric
Excluding Individual Targets
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
Test Input Mode
Tracking Data-Item Values
The Watched-Variable List
Scopes
Labeled Window Items
Distribution Scopes
Difference Scopes
Tracking Code 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
Reactis Tester
The Tester Launch Dialog
The Progress Dialog
Reactis Validator
Validator Objectives
Assertions
User-Defined Coverage Targets
Use Cases of Validator Objectives
Instrumentation Code
Advantages and Disadvantages of Instrumentation Code
Identifying Instrumentation Code
Adding Instrumentation Code
Editing Instrumentation Code
Cutting, Copying, and Pasting Instrumentation Code
Verifying the Location of Instrumentation Code
Moving Instrumentation Code
Removing Instrumentation Code
The Reactis Test-Suite Browser
Labeled Window Items
Menus
Test Step Filter Editor
The Reactis Coverage-Report Browser
Labeled Window Items
Menus
Exporting Coverage Reports
Coverage Report Contents
Preparing Code for Use with Reactis for C
Basic type sizes and alignments
Unsupported C Features
Supported C library functions
Unsupported Library Functions
Errors Detected by Reactis for C
Integer Overflows
Wrapping over
Error diagnosis
Controlling overflow behavior
Determining the type of an expression
Floating-Point Errors
Memory Errors
Uninitialized Memory
Invalid Pointer Creation
Other Runtime Errors
The Reactis for C API
Using the Reactis for C API from MATLAB
Using the Reactis for C API from C Programs
Quick Start
Compiling a C or C++ program with the Reactis API
Reactis API files
C Coverage Details
Macro file format
Frequently Asked Questions
Revision History
V2020 (18 December 2020)
Target Architectures
Build Performance Improved
Previous Major Release Dates
Index