Development of an automated MBT toolchain from UML/SysML models

Jonathan Lasalle 1 Fabien Peureux 2 Frédéric Fondement 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, INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Type de document :
Communication dans un congrès
4th IEEE Int. Workshop on UML and Formal Methods - UML&FM'2011, Jun 2011, Limerick, Ireland, Ireland. Springer, 7 n°4, pp.247--256, 2011, Innovations in Systems and Software Engineering. 〈http://www.springerlink.com/content/e28pm0811641126h/fulltext.pdf〉. 〈10.1007/s11334-011-0164-1〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00649263
Contributeur : Fabrice Bouquet <>
Soumis le : mercredi 7 décembre 2011 - 15:09:20
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00

Identifiants

Citation

Jonathan Lasalle, Fabien Peureux, Frédéric Fondement. Development of an automated MBT toolchain from UML/SysML models. 4th IEEE Int. Workshop on UML and Formal Methods - UML&FM'2011, Jun 2011, Limerick, Ireland, Ireland. Springer, 7 n°4, pp.247--256, 2011, Innovations in Systems and Software Engineering. 〈http://www.springerlink.com/content/e28pm0811641126h/fulltext.pdf〉. 〈10.1007/s11334-011-0164-1〉. 〈hal-00649263〉

Partager

Métriques

Consultations de la notice

231