RSI Logo

Model-Based Testing and Validation with Reactis®

White Paper: Testing TargetLink Models and C Code with Reactis
spacer
Download: PDF  



 
Spacer

Binary code to indicate the paper discusses the testing of embedded software

Build better embedded software faster. Generate tests from TargetLink models. Detect runtime errors. Execute and debug models. Track coverage. Check conformance of generated code to model.
RSITR 3.3
Sept 2, 2011

 

Abstract
The automated testing and validation capability of the Reactis® 1 tool suite significantly enhances the gains realized from a model-based design process. Reactis can successfully test, simulate, and debug models created using the dSPACE TargetLink® 2 blockset. Combined with a special C Plug-in, Reactis also provides a robust test-generation and debugging capability for TargetLink-generated C code integrated into the modeling environment. This document describes the steps necessary to configure Reactis and TargetLink models for test generation, simulation, and debug. The paper also outlines the execution and validation of automatically-generated C code.
1
Reactis is a registered trademark of Reactive Systems, Inc.
2
TargetLink is a registered trademark of dSPACE, GmbH