Skip to Main content Skip to Navigation
New interface
Theses

Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués

Abstract : The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML notation (called SysML4MBT) supported to express the test model is defined and a dedicated test generation strategy (called ComCover) is created. This strategy, based on the well-known Def-Use criteria, deals with the coverage of communications (sends / receives) inside the system and between the system and its environment.The development of an operational prototype, based on a UML-based test generator, has required the definition of rewriting rules to derive the input model of the UML test generator from the SysML4MBT model, by preserving the SysML4MBT expressivity.Finally, the concretization of tests in executable scripts and the assignment of a verdict by executing tests on test bench defined during the VETESS project, complete the operational toolchain that allows tests generation and execution from SysML models.This toolchain has been tried out on several automotive case studies as front lightings, wiper or steering column. Concerning this last experimentation, we have had the opportunity to execute test on a physical test bench. These case studies allow validating each step of the proposed approach.
Document type :
Theses
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download

https://theses.hal.science/tel-00762053
Contributor : ABES STAR :  Contact
Submitted on : Monday, February 3, 2014 - 1:06:05 PM
Last modification on : Thursday, January 13, 2022 - 12:00:12 PM
Long-term archiving on: : Sunday, April 9, 2017 - 5:56:17 AM

File

these_A_LASALLE_Jonathan_2012....
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00762053, version 2

Citation

Jonathan Lasalle. Génération automatique de tests à partir de modèles SysML pour la validation fonctionnelle de systèmes embarqués. Ordinateur et société [cs.CY]. Université de Franche-Comté, 2012. Français. ⟨NNT : 2012BESA2015⟩. ⟨tel-00762053v2⟩

Share

Metrics

Record views

629

Files downloads

1451