A subset of precise UML for Model-based Testing
Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N. & Utting, M.(2007). A subset of precise UML for Model-based Testing. In Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, London, United Kingdom, July 09-12, 2007(pp. 95-104). New York, NY, USA: ACM.
Permanent Research Commons link: https://hdl.handle.net/10289/1830
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.
This is the author's final draft version of a paper published in the Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, London, United Kingdom, July 09-12, 2007. © 2007 ACM. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published on http://doi.acm.org/10.1145/1291535.1291545