A subset of precise {UML} for model-based testing

Fabrice Bouquet (1) , Christophe Grandpierre (1) , Bruno Legeard (1) , Fabien Peureux (1) , Nicolas Vacelet (1) , Mark Utting (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

This paper presents an original model-based testing approach that takes a UML behavioural view of the system under test and automatically generates test cases and executable test scripts according to model coverage criteria. This approach is embedded in the LEIRIOS Test Designer tool and is currently deployed in domains such as Enterprise IT and electronic transaction applications. This model-based testing approach makes it possible to automatically produce the traceability matrix from requirements to test cases as part of the test generation process. This paper defines the subset of UML used for model-based testing and illustrates it using a small example.

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

Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, et al.. A subset of precise {UML} for model-based testing. A-MOST'07, 3rd int. Workshop on Advances in Model Based Testing, 2007, United Kingdom. pp.95--104. ⟨hal-00563283⟩