Model-Based Testing and the UML Testing Profile
The UML Testing Profile (U2TP) provides a means of using UML for test case specification. In this work we show how the concepts of model-based testing can be mapped to U2TP at the conceptual level. We discuss structural as well as behavioural issues that allow certain aspects of model-based testing to be considered an instance of U2TP. This is achieved without insisting that model-based testing should use UML. We show how the process of using model-based testing including test case design, test generation and test execution using a tool can be captured as an instance of U2TP. The aim of this exercise is to show that model-based testing can be adopted as part of the U2TP framework, and that one does not need a different framework to adopt model-based testing in practice.
KeywordsTest Component System Under Test Generate Test Case Code Fragment Implementation Level
Unable to display preview. Download preview PDF.
- 5.OMG: Uml 2.0 testing profile (2005), http://www.omg.org/cgi-bin/doc?formal/05-07-07
- 6.Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)Google Scholar
- 11.Tretmans, J., Brinksma, E.: TorX: Automated model based testing. In: First European Conference on Model-Driven Software Engineering, Nuremberg, Germany (2003)Google Scholar
- 13.Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Model-based testing of object-oriented reactive systems with Spec Explorer. Technical Report MSR-TR-2005-59, Microsoft Research (2005)Google Scholar
- 14.Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing. Technical Report 04/2006, Department of Computer Science, The University of Waikato, New Zealand (2006)Google Scholar
- 16.Dai, Z.R.: Model-driven testing with UML 2.0. In: EWMDA: European Workshop on Model Driven Architecture, pp. 179–187 (2004)Google Scholar
- 17.Buwalda, H.: Action figures. In: Software Testing and Quality Engineering, pp. 42–47 (2003)Google Scholar