Skip to main content
SpringerLink
Log in

Automated Test Case Generation from Dynamic Models

  • Conference paper
  • First Online:
ECOOP 2000 — Object-Oriented Programming (ECOOP 2000)

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

Included in the following conference series:

Abstract

We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and postconditions. The resulting state charts can have transitions with conditions and actions, as well as nested states (sub and stub states). The current paper outlines how test suites with a given coverage level can be automatically generated from these state charts. We do so by mapping state chart elements to the STRIPS planning language. The application of the state of the art planning tool graphplan yields the different test cases as solutions to a planning problem. The test cases (sequences of messages plus test data) can be used for automated or manual software testing on system level.

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

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. Robert Binder. Testing Object-Oriented Systems. Addison-Wesley, 1999.

    Google Scholar 

  2. A. Blum, M. Furst. Fast Planning Through Planning Graph Analysis. Artificial Intelligence, 90:281–300 (1997).

    Article  MATH  Google Scholar 

  3. Alistair Cockburn. Structuring Use Cases with Goals. Journal of Object-Oriented Programming, Sep/Oct, 1997, pp. 35–40, and Nov/Dec, 1997, pp. 56–62.

    Google Scholar 

  4. Jules Desharnais, Marc Frappier, Ridha Khidri, and Ali Mili. Integration of Sequential Scenarios. IEEE Transaction on Software Engineering, Vol. 24, No. 9, September 1998.

    Google Scholar 

  5. R.E. Fikes, N.J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence 2, 1971.

    Google Scholar 

  6. Martin Fowler. Use and Abuse Cases. Distributed Computing, April 1998.

    Google Scholar 

  7. Peter Fröhlich, Johannes Link: Modelling Dynamic Behaviour Based on Use Cases. Proceedings of Quality Week Europe, Brussels, November 1999.

    Google Scholar 

  8. D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8, 1987.

    Google Scholar 

  9. D. Harel. On Visual Formalisms. Communications of the ACM, Vol. 31, No. 5, Pages 514–531, May 1988.

    Article  MathSciNet  Google Scholar 

  10. D. Harel, Michael Politi. Modeling Reactive Systems With Statecharts: The STATEMATE Approach. McGraw-Hill, New York, N.Y., 1998.

    Google Scholar 

  11. Ivar Jacobson, Magnus Christerson, Patrick Jonsson, Gunnar Övergaard. Object-Oriented Software Engineering: A Use Case Driven Approach. Addison-Wesley, Wokingham, England, 1992.

    MATH  Google Scholar 

  12. Ivar Jacobson, Grady Booch, James Rumbaugh. The Unified Software Development Process. Addison-Wesley, 1999.

    Google Scholar 

  13. Brian Marick. The Craft of Software Testing: Subsystem Testing Including Object-Based and Object-Oriented Testing. Prentice Hall, 1995.

    Google Scholar 

  14. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 1997.

    Google Scholar 

  15. Object Management Group. Unified Modeling Language Specification. Framingham, Mass., 1998.

    Google Scholar 

  16. R. Reiter. Equality and Domain Closure in First Order Databases. Journal of the ACM, 32:57–97, 1987.

    MATH  MathSciNet  Google Scholar 

  17. R. Reiter. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In: V. Lifshitz (Ed.), Artificial Intelligence and mathematical theory of computation: Papers in honor of John McCarthy. Boston: Academic Press, 1991.

    Google Scholar 

  18. James Rumbaugh, Michel Blaha, William Premerlani, Frederick Eddy, William Lorensen. Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs, N.J., 1991.

    Google Scholar 

  19. James Rumbaugh, Ivar Jacobson, Grady Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, Reading, Mass., 1999.

    Google Scholar 

  20. Russell R. Hurlbut. The Three R’s of Use Case Formalisms: Realization, Refinement, and Reification. Technical Report XPT-TR-97-06, Expertech, Ltd, 1997.

    Google Scholar 

  21. Geri Schneider, Jason P. Winters. Applying Use Cases: A Practical Guide. Addison-Wesley, 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ABB Corporate Research Center, Speyerer Straße 4, D-69115, Heidelberg, Germany

    Peter Fröhlich

  2. Andrena Objects GmbH, Albert-Nestler-Straße 9, D-76131, Karlsruhe, Germany

    Johannes Link

Authors
  1. Peter Fröhlich
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze dell’Informazione, Universita’ di Milano, Via Comelico 39/49, 20135, Milano, Italy

    Elisa Bertino

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Fröhlich, P., Link, J. (2000). Automated Test Case Generation from Dynamic Models. In: Bertino, E. (eds) ECOOP 2000 — Object-Oriented Programming. ECOOP 2000. Lecture Notes in Computer Science, vol 1850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45102-1_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-45102-1_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67660-7

  • Online ISBN: 978-3-540-45102-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation