SysML to UML model transformation for test generation purpose

Jonathan Lasalle (1) , Fabrice Bouquet (1, 2) , Bruno Legeard (1) , Fabien Peureux (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)
2 CASSIS - Combination of approaches to the security of infinite states systems

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.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

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