|
|
- Introduction
- Installing and Starting Reactis
- Getting Started with Reactis
- The Reactis Top-Level Window
- The Reactis Info File Editor
- Menus
- Toolbar
- Test Harness Pane
- Inports Pane
- Configuration Variables Pane
- Test Points Pane
- Outports Pane
- General Pane
- Error Checking Pane
- Coverage Metrics Pane
- Excluded Coverage Targets Pane
- Validator Objectives Pane
- C Code Pane
- External EML Functions Pane
- Callbacks Pane
- Search Path Pane
- File Dependencies Pane
- Reactis Coverage Metrics
- Reactis Assertions
- Reactis Simulator
- Reactis Tester
- Reactis Validator
- The Reactis Coverage Report Browser
- The Reactis Test-Suite Browser
- Executing Test Suites
- Maximizing Coverage
- Preparing Models for Use with Reactis
- Model Semantics
- Reactis for C Plugin
- Quick Start
- Configuring Reactis for C
- S-Function C Code
- Custom C Code
- C Code Coverage Metrics
- 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
- 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
- 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 Operations
- Cast Operations
- Fixed Point Functions
- String Operations
- Miscellaneous Functions
- The Reactis API
- The Reactis License Manager
- File Types and Extensions
- Frequently Asked Questions
- Revision History
- Index