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 Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Communication dans un congrès
1st International Workshop on End-to-End Test Script Engineering - ETSE 2011, Jul 2011, Toronto, Canada, Canada. ACM, pp.16--23, 2011, 〈http://dl.acm.org/ft_gateway.cfm?id=2002934&ftid=995988&dwn=1&CFID=73509861&CFTOKEN=11157113〉. 〈10.1145/2002931.2002934〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00649265
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 7 décembre 2011 - 15:10:58
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10

Identifiants

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. ACM, pp.16--23, 2011, 〈http://dl.acm.org/ft_gateway.cfm?id=2002934&ftid=995988&dwn=1&CFID=73509861&CFTOKEN=11157113〉. 〈10.1145/2002931.2002934〉. 〈hal-00649265〉

Partager

Métriques

Consultations de la notice

254