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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-02263453
Contributor : Axelle Pagnier <>
Submitted on : Sunday, August 4, 2019 - 7:26:29 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:37 AM

File

8B-2.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02263453, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

4

Files downloads

1