Abstract
Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from program source code, graphical models of software (such as control flow graphs), and specifications/requirements. UML collaboration diagrams represent a significant opportunity for testing because they precisely describe how the functions the software provides are connected in a form that can be easily manipulated by automated means. This paper presents novel test criteria that are based on UML collaboration diagrams. The most novel aspect of this is that tests can be generated automatically from the software design, rather than the code or the specifications. Criteria are defined for both static and dynamic testing of specification-level and instance-level collaboration diagrams. These criteria allow a formal integration tests to be based on high level design notations, which can help lead to software that is significantly more reliable.
This work is supported in part by the U.S.National Science Foundation under grant CCR-98-04111 and in part by Rockwell Collins,Inc.
This is a preview of subscription content, log in via an institution to check access.
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
B. Beizer. Software Testing Techniques. Van Nostrand Reinhold, Inc, New York NY, 2nd edition, 1990. ISBN 0-442-20672-0.
Rational Software Corporation. Rational Rose 98: Using Rational Rose. Rational Rose Corporation, Cupertino CA, 1998.
Gregor Engels, L. P. J. Groenewegen, and G. Kappal. Object-oriented specification of coordinated collaboration. In Proceedings of the IFIP World Conference on IT Tools, pages 437–449, Canberra, Australia, September 1996.
Gregor Engels, Roland Hucking, Stefan Sauer, and Annika Wagner. Uml collaboration diagrams and their transformation to java. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 473–488, Fort Collins, CO, October 1999. IEEE Computer Society Press.
P. G. Frankl and E. J. Weyuker. An applicable family of data flow testing criteria. IEEE Transactions on Software Engineering, 14(10):1483–1498, October 1988.
Object Management Group. OMG UML Specification Version 1.3, June 1999. Available at http://www.omg.org/uml/.
Jeff Offutt and Aynur Abdurazik. Generating tests from UML specifications. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 416–429, Fort Collins, CO, October 1999. IEEE Computer Society Press.
Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specificationbased tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’ 99), pages 119–131, Las Vegas, NV, October 1999. IEEE Computer Society Press.
Gunnar Overgaard. A Formal Approach to Collaborations in the Unified Modeling Language. In Proceedings of the Second IEEE International Conference on the Unified Modeling Language (UML99), pages 99–115, Fort Collins, CO, October 1999. IEEE Computer Society Press.
A. Spillner. Control flow and data flow oriented integration testing methods. The Journal of Software Testing, Verification, and Reliability, 2(2):83–98, 1992.
Hong Zhu, Patrick A. V. Hall, and John H. R. May. Software unit test coverage and adequacy. ACM Computing Surveys, 29(4):366–427, December 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdurazik, A., Offutt, J. (2000). Using UML Collaboration Diagrams for Static Checking and Test Generation. In: Evans, A., Kent, S., Selic, B. (eds) ≪UML≫ 2000 — The Unified Modeling Language. UML 2000. Lecture Notes in Computer Science, vol 1939. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40011-7_28
Download citation
DOI: https://doi.org/10.1007/3-540-40011-7_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41133-8
Online ISBN: 978-3-540-40011-0
eBook Packages: Springer Book Archive