Development of an automated MBT toolchain from UML/SysML models

This paper reports about the VETESS project results and experience with building a model-based testing toolchain to validate automotive embedded systems. This approach, based on existing test generation and test execution tools, makes it possible to automatically derive and execute functional test cases from UML or SysML models. This process is composed of the following steps: modelling (UML or SysML functional view), abstract test case generation (symbolic execution of the model), concretization (generation of executable test scripts from abstract test cases) and analysis (assignation of the test verdict). This process is automated by a toolchain based on Topcased modeler, Smartesting test generator and Clemessy TestInView. This developed prototype made it possible to demonstrate that model-based testing from UML/SysML models is an efficient way to automate testing process for systems mixing software and hardware parts.

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

[2]  Jim Steel,et al.  MOF QVT final adopted specification: meta object facility (MOF) 2.0 query/view/transformation specification. , 2005 .

[3]  Bran Selic,et al.  Challenges in Combining SysML and MARTE for Model-Based Design of Embedded Systems , 2009, ECMDA-FA.

[4]  Jean-Marc Jézéquel,et al.  Meta-model Pruning , 2009, MoDELS.

[5]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[6]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

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

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

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

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

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

[12]  Fevzi Belli,et al.  Advancing test automation technology to meet the challenges of model-based software testing - Guest editors' introduction to the special section of the Third IEEE International Workshop on Automation of Software Test (AST 2008) , 2009, Inf. Softw. Technol..

[13]  Sanford Friedenthal,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2008 .

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

[15]  Markus Herrmannsdoerfer,et al.  Metamodel Usage Analysis for Identifying Metamodel Improvements , 2010, SLE.

[16]  Xavier Crégut,et al.  The TOPCASED project : a toolkit in open source for critical aeronautic systems design , 2006 .

[17]  Jim Highsmith,et al.  Agile Software Development Ecosystems , 2002 .

[18]  Jos Warmer,et al.  The object constraint language , 1998 .

[19]  Fabien Peureux,et al.  Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems , 2011, ETSE '11.

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