Skip to Main content Skip to Navigation
Conference papers

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

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

https://hal.inria.fr/hal-00649265
Contributor : Fabrice Bouquet Connect in order to contact the contributor
Submitted on : Wednesday, December 7, 2011 - 3:10:58 PM
Last modification on : Saturday, October 16, 2021 - 11:26:06 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

323