Abstract
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ranges for boundary testing. We present a test generation algorithm and describe an implementation of this algorithm. Finally, we discuss our approach and compare it to commercial tools.
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
Beizer, B.: Software Testing Techniques. John Wiley & Sons, Inc., Chichester (1990)
Binder, R.V.: Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (1999)
Bourhfir, C., Dssouli, R., Aboulhamid, E., Rico, N.: Automatic executable test case generation for extended finite state machine protocols. In: IWTCS 1997, pp. 75–90 (1997)
Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: DAC 1993, pp. 86–91. ACM Press, New York (1993)
Dai, Z.R., Deussen, P.H., Busch, M., Lacmene, L.P., Ngwangwen, T., Herrmann, J., Schmidt, M.: Automatic Test Data Generation for TTCN-3 using CTE. In: ICSSEA (2005)
Object Management Group. Object Constraint Language (OCL), version 2.0 (2005)
Object Management Group. Unified Modeling Language (UML), version 2.1 (2007)
Hamie, A., Civello, F., Howse, J., Kent, S.J.H., Mitchell, R.: Reflections on the object constraint language. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 162–172. Springer, Heidelberg (1999)
Hierons, R., Harman, M., Fox, C., Ouarbya, L., Daoudi, M.: Conditioned slicing supports partition testing. In: Software Testing, Verification and Reliability (2002)
Reactive Systems Inc. Reactis, http://www.reactive-systems.com
Kansomkeat, S., Rivepiboon, W.: Automated-generating test case using UML statechart diagrams. In: SAICSIT 2003, pp. 296–300 (2003)
Kosmatov, N., Legeard, B., Peureux, F., Utting, M.: Boundary coverage criteria for test generation from formal models. In: ISSRE 2004, pp. 139–150. IEEE, Los Alamitos (2004)
Legeard, B., Peureux, F., Utting, M.: Automated Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21–40. Springer, Heidelberg (2002)
Leirios: LTG/UML, http://www.leirios.com
Liskov, B.: Keynote address - data abstraction and hierarchy. In: SIGPLAN, pp. 17–34 (1988)
Offutt, 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)
Richters, M., Gogolla, M.: On formalizing the UML object constraint language OCL. In: Ling, T.-W., Ram, S., Li Lee, M. (eds.) ER 1998. LNCS, vol. 1507, pp. 449–464. Springer, Heidelberg (1998)
Weißleder, S.: ParTeG (Partition Test Generator), http://parteg.sourceforge.net
Samuel, P., Mall, R.: Boundary Value Testing based on UML Models. In: ATS 2005, pp. 94–99. IEEE Computer Society, Los Alamitos (2005)
Sokenou, D.: Generating Test Sequences from UML Sequence Diagrams and State Diagrams. In: INFORMATIK 2006, pp. 236–240 (2006)
Telcordia Technologies. AETG, http://aetgweb.argreenhouse.com
Telelogic. Rhapsody Automated Test Generation, http://www.telelogic.com
Le Traon, Y.: Design by contract to improve software vigilance. IEEE Trans. Softw. Eng. 32(8), 571–586 (2006)
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2006)
VerifySoft Technology. Conformiq Test Generator, http://www.verifysoft.com/
Ziemann, P., Gogolla, M.: Validating OCL specifications with the USE tool — an example based on the BART case study. In: FMICS 2003 (2003)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Weißleder, S., Schlingloff, BH. (2008). Deriving Input Partitions from UML Models for Automatic Test Generation. In: Giese, H. (eds) Models in Software Engineering. MODELS 2007. Lecture Notes in Computer Science, vol 5002. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69073-3_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-69073-3_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69069-6
Online ISBN: 978-3-540-69073-3
eBook Packages: Computer ScienceComputer Science (R0)