Skip to main content
SpringerLink
Log in

UML-Based Statistical Test Case Generation

  • Conference paper
  • First Online:
Book cover Objects, Components, Architectures, Services, and Applications for a Networked World (NODe 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2591))

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

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Google Scholar 

  2. Cockburn, A.: Structuring use cases with goals. Journal of Object-Oriented Programming, Sep/Oct, Nov/Dec (1999): 35–40, 56-62, resp., (1997).

    Google Scholar 

  3. Fröhlich, P., Link, J.: Automated test case generation from dynamic models. In: Proc. ECOOP 2000, LNCS 1850, Springer (2000) 472–491.

    Chapter  Google Scholar 

  4. Fikes, R. E., Nilsson, N. J.: Strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971).

    Google Scholar 

  5. 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

  6. Goetze, M.: Statistical Usage Testing based on UML Diagrams. Student’s Work. Ilmenau Technical University, Dept. Process Informatics, (2001)

    Google Scholar 

  7. Goetze, M: UsageTester: UML-oriented Usage Testing. Ilmenau Technical University, Dept. Process Informatics, (2002)

    Google Scholar 

  8. Harel, D.: Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8 (1987) 231–274

    Article  MATH  MathSciNet  Google Scholar 

  9. Jacobson, I., Griss, M., Jonsson, P.: Software Reuse — Architecture, Process and Organization for Business Success, Addison Wesley (1997).

    Google Scholar 

  10. 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

    Article  Google Scholar 

  11. Marick, B.: The Craft of Software Testing. Prentice Hall (1995)

    Google Scholar 

  12. Myers, J.G.: The Art of Software Testing. John Wiley & Sons, Inc. (1979)

    Google Scholar 

  13. OMG: UML Notation Guide, v1.3. Object Management Group, Inc. (2000)

    Google Scholar 

  14. Prowell, S.J., Trammell, C.J., Linger, R.C., Poore, J.H.: Cleanroom Software Engineering. Addison-Wesley, 1st edition, (1999)

    Google Scholar 

  15. 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)

    Google Scholar 

  16. Selvidge, J.M.: Statistical usage testing: Expanding the ability of testing. (1999)

    Google Scholar 

  17. Thulasiraman, K., Swamy, M. N. S.: Graphs: Theory and Algorithms. John Wiley & Sons, Inc. (1992)

    Google Scholar 

  18. Walton, G.H., Poore, J.H.: Statistical testing of software based on a usage model. Software — Practice and Experience, 25 (1995) 97–108

    Article  Google Scholar 

  19. Walton, G.H., Poore, J.H.: Generating transition probabilities to support model-based software testing. Software — Practice and Experience, 30 (2000) 1095–1106

    Article  Google Scholar 

  20. Whittaker, J. A., Thomason, M. G.: A Markov chain model for statistical software testing. IEEE Transactions on Software Engineering, 20(10): (1994) 812–824

    Article  Google Scholar 

  21. 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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ilmenau Technical University, Max-Planck-Ring 14, D-98684, Ilmenau, Germany

    Matthias Riebisch, Ilka Philippow & Marco Götze

Authors
  1. Matthias Riebisch
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ilka Philippow
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Marco Götze
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Twente, Postbox 217, 7500, AE Enschede, The Netherlands

    Mehmet Aksit

  2. Department of Computer Science, TU Darmstadt, Alexanderstraße 10, 64283, Darmstadt, Germany

    Mira Mezini

  3. Institute for Computer Science, University of Essen, Schützenbahn 70, 45117, Essen, Germany

    Rainer Unland

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation