Login
|
Site Map
Automated Testing and Validation with
Reactis®
Products
|
Services
|
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 Reactis Harness Editor
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
Configuration Variable Panel
Reactis Settings
General Settings
C Code
User Info Settings
License Settings
The Reactis Build File Editor
Item Selection
Source Files
Libraries
Include Directories
Defines
Coverage Tracking
Pathnames
The Reactis Harness Editor
Inputs
Outputs
Configuration Variables
Names
Properties
Types
The Type Editor Dialog
Using the Type Editor
Labeled Window Items
Reactis Coverage Criteria
Boundary Value Coverage
Reactis Simulator
Labeled Window Items
Menus
Specifying the Simulation Input Mode
User Input Mode
Test Input Mode
Tracking Data-Item Values
The Watched-Variable List
Scopes
Distribution 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
The Meaning of Validator Objectives
Assertions
User-Defined Coverage Targets
Use Cases of Validator Objectives
The Reactis Test-Suite Browser
Labeled Window Items
Menus
The Reactis Coverage-Report Browser
Labeled Window Items
Menus
Exporting Coverage Reports
Preparing Code for Use with Reactis for C
Basic type sizes and alignments
Unsupported C Features
Supported C library functions
Errors Detected by Reactis for C
Integer Overflows
Memory Errors
Invalid Pointer Creation
Other Runtime Errors
The Reactis for C API
Overview
Compiling a C or C++ program with the Reactis for C API
Reactis for C API files
C Coverage Details
Macro file format
Alphabetical list of API functions
API Operations
rsClose
rsGetCoverageCriteriaCount
rsGetCoverageCriteriaName
rsGetCoverageCriteriaNumCovered
rsGetCoverageCriteriaNumTargets
rsGetCoverageCriteriaNumUncovered
rsGetCoverageCriteriaNumUnreachable
rsGetCoverageCriteriaPercentCovered
rsGetParameterValue
rsGetParameterValueBool
rsGetParameterValueDouble
rsGetLastError
rsOpen
rsSetParameterValue
rsSetStringEncoding
rsSimClose
rsSimExportCCoverageDetails
rsSimExportSuite
rsSimExportSuiteEx
rsSimImportSuite
rsSimImportSuiteEx
rsSimImportSuites
rsSimOpen
rsSimRunSuite
rsSimUpdateOutputs
rsSuiteClose
rsSuiteGetNumTests
rsSuiteGetReactisVersion
rsSuiteGetTestNumSteps
rsSuiteGetTestName
rsSuiteOpen
rsSuiteSave
rsTester
rsTesterClose
rsTesterGetProgress
rsTesterGetStatus
rsTesterGetSuite
rsTesterIsRunning
rsTesterStart
rsTesterStop
rsVersion
rsVersionParse
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
Index
This document was translated from L
A
T
E
X by
H
E
V
E
A
.
