A subset of precise UML for model-based testing

F. Bouquet, C. Grandpierre, B. Legeard, F. Peureux, N. Vacelet, M. Utting
2007 Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07  
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
more » ... nts 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.
doi:10.1145/1291535.1291545 dblp:conf/amost/BouquetGLPVU07 fatcat:iywuqonkmjfproikxu2akriz2a