The automated testing and validation capability of the
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
blockset. Combined with Reactis for C, Reactis also provides a
robust test-generation and debugging capability for TargetLink-generated C
code. 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.