bcsf


Download PDF

Contents Abstract Introduction Overview of Reactis Reactis Tester Reactis Simulator Reactis Validator Model Validation Debugging with Tester and Simulator Validating Models with Validator Implementation Testing Software Testing System Testing Reverse Engineering Models Conclusions

Build better embedded software faster. Generate tests from Simulink models. Detect run-time errors. Execute and debug models. Track coverage. Automate functional testing of requirements. Check conformance of code to model.

RSITR 1.9
September 24, 2009

Abstract
Introduction
An Overview of Reactis
Advanced Model Validation
Advanced Implementation Testing
Reverse Engineering Models from Legacy Code
Conclusions

Model-Based Testing and Validation with Reactis®