Skip to Main content Skip to Navigation
New interface
Conference papers

Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems

Jonathan Lasalle 1 Fabien Peureux 2 Jérôme Guillet 3 
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Abstract : This paper presents an effective end-to-end Model-Based Testing approach to validate automotive mechatronic systems. This solution takes as input a UML/OCL model describing the stimuli of the environment that can excite the mechatronic System Under Test. It applies model coverage criteria to automatically generate test cases, and finally takes an offline approach to translate the generated test cases into executable test scripts that can be executed both on simulation model and physical test bench. The mechatronic System Under Test is then tested against a Matlab/Simulink simulation model, which defines the test oracle. This tooled and automated approach has been successfully experimented on a concrete case study about the validation of a vehicle front axle unit. This experimentation enabled us to validate our approach, and showed its effectiveness in the validation process of mechatronic systems.
Document type :
Conference papers
Complete list of metadata
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Wednesday, December 7, 2011 - 3:10:58 PM
Last modification on : Tuesday, November 22, 2022 - 4:00:07 PM



Jonathan Lasalle, Fabien Peureux, Jérôme Guillet. Automatic test concretization to supply end-to-end MBT for automotive mecatronic systems. 1st International Workshop on End-to-End Test Script Engineering - ETSE 2011, Jul 2011, Toronto, Canada, Canada. pp.16--23, ⟨10.1145/2002931.2002934⟩. ⟨hal-00649265⟩



Record views