Reactis FAQ

Frequently asked questions about the Reactis product line are answered here. The tools support the testing and verification of embedded software such as that found in automotive, aerospace, and medical applications. Reactis for Simulink (and supporting plugins) support model-based design with Simulink. Reactis for C supports testing C code. Reactis Tester (a component of both Reactis for Simulink and Reactis for C) offers automatic test generation from Simulink models or C code. Reactis Simulator offers advanced debug of Simulink models or C code. Reactis Validator helps check if a Simulink model satisfies its requirements.

Table of Contents

Product Independent

• General - Product Independent
• Getting Help
• Problems Starting Reactis
• Problems Running Reactis
• Reactis License Manager
• Licensing Issues

Reactis for Simulink

• General - Reactis for Simulink
• Installing Reactis for Simulink
• Loading Models in Reactis
• Reactis Simulator
• Reactis Tester
• Reactis Validator
• Importing/Exporting Tests
• Running Tests in Simulink

Reactis for C

• General - Reactis for C
• Installing Reactis for C