Abstract
Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart. These techniques can usually be easily automated so that the tester does not have to go through the tedious procedure of deriving paths manually to comply with a coverage criterion. The next step is then to take each test path individually and derive test data, i.e., fully specified test cases. This requires that we determine the system state required for each event/transition that is part of the path to be tested and the input parameter values for all events and actions on the transitions. We propose here a methodology to automate this procedure, which is based on a careful normalization and analysis of event/action contracts and transition guards written with the Object Constraint Language (OCL). It is illustrated by a case study that exemplifies the steps and provides an initial validation. Though many of the steps are automated, some inputs are still required from the modeler and tester and further work is necessary to push the automation even further and solve a number of remaining issues. This paper is a first attempt at clarifying the issues and identifying the analysis steps required in such an endeavor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Binder, R.V.: Testing Object-Oriented Systems - Models, Patterns, and Tools, Object Technology. Addison-Wesley, Reading (1999)
Briand, L.C., Cui, J., Labiche, Y.: Towards Automated Support for Deriving Test Data from UML Statecharts. Carleton University, Technical Report SCE-03-13 (2003), http://www.sce.carleton.ca/Squall/Articles/TR_SCE-03-13.pdf
Huth, M.R.A., Ryan, M.D.: Logic in Computer Science, Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2000)
Meyer, B.: Object-Oriented Software Construction, 2nd edn. Prentice Hall, Englewood Cliffs (1997)
Offutt, A.J., Abdurazik, A.: Generating Tests from UML specifications. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 416–429. Springer, Heidelberg (1999)
OMG, Unified Modeling Language (UML), Object Management Group V1.4 (2001), www.omg.org/technology/uml/
Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison Wesley, Reading (1999)
Warmer, J., Kleppe, A.: The Object Constraint Language. Addison-Wesley, Reading (1999)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Briand, L.C., Cui, J., Labiche, Y. (2003). Towards Automated Support for Deriving Test Data from UML Statecharts. In: Stevens, P., Whittle, J., Booch, G. (eds) «UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications. UML 2003. Lecture Notes in Computer Science, vol 2863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45221-8_22
Download citation
DOI: https://doi.org/10.1007/978-3-540-45221-8_22
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20243-1
Online ISBN: 978-3-540-45221-8
eBook Packages: Springer Book Archive