SysML to UML model transformation for test generation purpose

Jonathan Lasalle 1 Fabrice Bouquet 1, 2 Bruno Legeard 1 Fabien Peureux 1
2 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 : The work introduced in this paper is in line with an original Model-Based Testing approach by taking as input a SysML specification of a system under test and automatically translating it into an equivalent behavioural UML model. This generated UML model is finally used to derive test cases and executable test scripts. This test generation process is supported by an existing UML/OCL Model-Based Test generation tool. This paper focuses on the definition of the subset of SysML notation supported by this Model-Based Testing approach, and proposes rewriting rules to derive UML test model from SysML model.
Complete list of metadatas
Contributor : Ist Inria Nancy Grand Est <>
Submitted on : Monday, December 17, 2012 - 10:19:56 AM
Last modification on : Friday, July 6, 2018 - 3:06:10 PM



Jonathan Lasalle, Fabrice Bouquet, Bruno Legeard, Fabien Peureux. SysML to UML model transformation for test generation purpose. Software Engineering Notes, Association for Computing Machinery, 2011, 36 (1), pp.1-8. ⟨10.1145/1921532.1921560⟩. ⟨hal-00765887⟩



Record views