{SysML} to {UML} model transformation for test generation purpose
Résumé
The work introduced in this paper is in line with an orig- inal 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 gen- eration tool. This paper focuses on the definition of the sub- set of SysML notation supported by this Model-Based Test- ing approach, and proposes rewriting rules to derive UML test model from SysML model.