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

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.

[1]  Bertrand Meyer,et al.  Dependable Systems: Software, Computing, Networks, Research Results of the DICS Program , 2006, Research Results of the DICS Program.

[2]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[3]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[4]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[5]  A Hochstaedter,et al.  DRIVER-MODEL OF LANE CHANGE MANEUVERS , 2000 .

[6]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[7]  Elfriede Dustin,et al.  Implementing Automated Software Testing: How to Save Time and Lower Costs While Raising Quality , 2009 .

[8]  Lionel C. Briand,et al.  A Search-Based OCL Constraint Solver for Model-Based Test Data Generation , 2011, 2011 11th International Conference on Quality Software.

[9]  Levi Lucio,et al.  Formal Test Generation from UML Models , 2006, Research Results of the DICS Program.

[10]  Fabrice Bouquet,et al.  SysML to UML model transformation for test generation purpose , 2011, SOEN.

[11]  Fabrice Bouquet,et al.  A subset of precise UML for model-based testing , 2007, A-MOST '07.

[12]  Fabrice Bouquet,et al.  Model-Based Testing from UML Models , 2006, GI Jahrestagung.

[13]  Guilherme Horta Travassos,et al.  A Picture from the Model-Based Testing Area: Concepts, Techniques, and Challenges , 2010, Adv. Comput..

[14]  Nabil Hameurlain,et al.  Generating Test Data from OCL Specification , 2002 .

[15]  Fabrice Bouquet,et al.  A test generation solution to automate software testing , 2008, AST '08.