Skip to main content
Ctrl+K
Reactive Systems logo

Testing TargetLink Models and C Code with Reactis

  • 1. Introduction
  • 2. Working with TargetLink Models in Reactis
  • 3. Working with TargetLink-Generated Code in Reactis for C
  • 4. Conclusions
  • .md

Testing TargetLink Models and C Code with Reactis

Contents

  • Abstract

Testing TargetLink Models and C Code with Reactis#

RSITR 3.8

June 4, 2024

binary code (zeros and ones)

 

Build better embedded software faster. Generate tests from TargetLink models. Detect runtime errors. Execute and debug models. Track coverage. Back-to-back testing of generated code against model.

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 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.


[1]

Reactis is a registered trademark of Reactive Systems, Inc.

[2]

TargetLink is a registered trademark of dSPACE, GmbH

next

1. Introduction

Contents
  • Abstract

By Reactive Systems, Inc.

© Copyright 2020-2024.