Abstract
For incremental iterative software development processes, automated testing is necessary to enable evolution not only in terms of functionality, but in terms of software quality as well. Automation requires models to provide the necessary information. Scenarios and use cases do not only feed requirements engineering, they may also be the basis for testing. They have to be enriched by detailed behavioral information in order to be used for statistical test case generation. This paper introduces an approach for generating system-level test cases based on use case models and refined by state diagrams. These models are transformed into usage models to describe both system behavior and usage. The method is intended for integration into an iterative software development process model. The resulting test cases are suited to be carried out in conventional ways, i.e., either manually or using test tools. The method is supported by an XML-based tool for model transformation.
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.
Similar content being viewed by others
References
Abdurazik, A., Offutt, J.: Generating test cases from UML specifications, In: Proc. 2nd International Conference on the Unified Modeling Language (UML99), Fort Collins, CO, October (1999)
Cockburn, A.: Structuring use cases with goals. Journal of Object-Oriented Programming, Sep/Oct, Nov/Dec (1999): 35–40, 56-62, resp., (1997).
Fröhlich, P., Link, J.: Automated test case generation from dynamic models. In: Proc. ECOOP 2000, LNCS 1850, Springer (2000) 472–491.
Fikes, R. E., Nilsson, N. J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971).
Gallagher, L.: Conformance testing of object-oriented components specified by state/transition classes, Draft technical report. NIST (1999) Available online at http://www.itl.nist.gov/div897/ctg/stat/auto/autosys.pdf
Goetze, M.: Statistical Usage Testing based on UML Diagrams. Student’s Work. Ilmenau Technical University, Dept. Process Informatics, (2001)
Goetze, M: UsageTester: UML-oriented Usage Testing. Ilmenau Technical University, Dept. Process Informatics, (2002)
Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (1987) 231–274
Jacobson, I., Griss, M., Jonsson, P.: Software Reuse — Architecture, Process and Organization for Business Success, Addison Wesley (1997).
Kim, Y. G., Hong, H. S., Cho, S. M., Bae, D. H., Cha, S. D.; Test cases generation from UML state diagrams. IEEE Software, 146(4), (1999) 187–192
Marick, B.: The Craft of Software Testing. Prentice Hall (1995)
Myers, J.G.: The Art of Software Testing. John Wiley & Sons, Inc. (1979)
OMG: UML Notation Guide, v1.3. Object Management Group, Inc. (2000)
Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering. Addison-Wesley, 1st edition, (1999)
Regnell, B., Runeson, P.: Combining Scenario-based Requirements with Static Verification and Dynamic Testing. Proc. Fourth Intern. Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ98), Pisa, Italy (1998)
Selvidge, J.M.: Statistical usage testing: Expanding the ability of testing. (1999)
Thulasiraman, K., Swamy, M. N. S.: Graphs: Theory and Algorithms. John Wiley & Sons, Inc. (1992)
Walton, G.H., Poore, J.H.: Statistical testing of software based on a usage model. Software — Practice and Experience, 25 (1995) 97–108
Walton, G.H., Poore, J.H.: Generating transition probabilities to support model-based software testing. Software — Practice and Experience, 30 (2000) 1095–1106
Whittaker, J. A., Thomason, M. G.: A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10): (1994) 812–824
Wolf, M., Burkhardt, R., Philippow, I.: Software Engineering Process with UML. In: Schader, M., Korthaus, A. (Eds.): The Unified Modeling Language-Technical Aspects and Applications. Physica Heidelberg, (1998) 271–289
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
Riebisch, M., Philippow, I., Götze, M. (2003). UML-Based Statistical Test Case Generation. In: Aksit, M., Mezini, M., Unland, R. (eds) Objects, Components, Architectures, Services, and Applications for a Networked World. NODe 2002. Lecture Notes in Computer Science, vol 2591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36557-5_28
Download citation
DOI: https://doi.org/10.1007/3-540-36557-5_28
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00737-1
Online ISBN: 978-3-540-36557-0
eBook Packages: Springer Book Archive