A subset of precise UML for Model-based Testing

Bouquet, Fabien; Grandpierre, C.; Legeard, Bruno; Peureux, Fabien; Vacelet, N.; Utting, Mark

doi:10.1145/1291535.1291545

Files

Utting precise UML.pdf

650.6Kb

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

Abstract

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.

Date

2007

Type

Conference Contribution

Publisher

ACM

Rights

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

Collections

Computing and Mathematical Sciences Papers [1413]