Automatic Test Case Generation from Matlab/Simulink models - Proceeding of the 6th European Congress on Embedded Real Time Software and Systems Access content directly
Conference Papers Year : 2012

Automatic Test Case Generation from Matlab/Simulink models

Abstract

Reliability of dynamic systems is a major issue in industry (aeronautics, railway, automotive,nuclear...). Therefore, most development processes require the use of model-based approaches such as UML, Matlab/Simulink® , Statemate® , etc. However, resulting models must be checked and corresponding implementations must be tested with respect to these models. In this paper, we present DIVERSITY, the V&V platform of the LISE laboratory, and more specifically Diversity-TG, which is a test case generator. DIVERSITY deals with several modeling languages whose semantics are based on different paradigms concerning execution and communication.
Fichier principal
Vignette du fichier
8B-2.pdf (492.28 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02263453 , version 1 (04-08-2019)

Identifiers

  • HAL Id : hal-02263453 , version 1

Cite

Diane Bahrami, Alain Faivre, Arnault Lapitre. Automatic Test Case Generation from Matlab/Simulink models. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02263453⟩
49 View
1096 Download

Share

Gmail Facebook X LinkedIn More