Abstract
Although most industry testing of complex software is conducted at the system level, most formal research has focused on the unit level. As a result, most system level testing techniques are only described informally. This paper presents a novel technique that adapts pre-defined state-based specification test data generation criteria to generate test cases from UML statecharts. UML statecharts provide a solid basis for test generation in a form that can be easily manipulated. This technique includes coverage criteria that enable highly effective tests to be developed. To demonstrate this technique, a tool has been developed that uses UML statecharts produced by Rational Software Corporation’s Rational Rose tool to generate test data. Experimental results from using this tool are presented.
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
Aynur Abdurazik and Jeff Offutt. Generating test cases from UML specifications. Technical report ISE-TR-99-105, Department of Information and Software Engineering, George Mason University, Fairfax VA, 1999. http://www.ise.gmu.edu/techrep.
J. M. Atlee. Native model-checking of SCR requirements. In Fourth International SCR Workshop, November 1994.
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, Cupertina CA, 1998.
Zhenyi Jin. Deriving mode invariants from SCR specifications. In Proceedings of Second IEEE International Conference on Engineering of Complex Computer Systems, pages 514–521, Montreal, Canada, October 1996. IEEE Computer Society.
Jeff Offutt and Shaoying Liu. Generating test data from SOFL specifications. The Journal of Systems and Software, 1999. To appear.
Jeff Offutt, Yiwei Xiong, and Shaoying Liu. Criteria for generating specification-based tests. In Proceedings of the Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS’ 99), Las Vegas, NV, October 1999. IEEE Computer Society Press.
Andy Podgurski and Lori A. Clarke. A formal model of program dependences and its implications for software testing, debugging, and maintenance. IEEE Transactions on Software Engineering, 16(9):965–979, September 1990.
D. J. Richardson, O. O’Malley, and C. Tittle. Approaches to specification-based testing. In Proceedings of the Third Symposium on Software Testing, Analysis, and Verification, pages 86–96, Key West, Florida, December 1989. ACM SIGSOFT’89.
RTCA Committee SC-167. Software considerations in airborne systems and equipment certification, Seventh draft to Do-178A/ED-12A, July 1992.
Jos Warmer and Anneke Kleppe. The Object Constraint Language. Addison-Wesley, 1999. ISBN 0-201-37940-6.
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
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Offutt, J., Abdurazik, A. (1999). Generating Tests from UML Specifications. In: France, R., Rumpe, B. (eds) «UML»’99 — The Unified Modeling Language. UML 1999. Lecture Notes in Computer Science, vol 1723. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46852-8_30
Download citation
DOI: https://doi.org/10.1007/3-540-46852-8_30
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66712-4
Online ISBN: 978-3-540-46852-3
eBook Packages: Springer Book Archive