Skip to main content
Springer Nature Link
Log in

Separation of Transitions, Actions, and Exceptions in Model-Based Testing

  • Conference paper
Computer Aided Systems Theory - EUROCAST 2009 (EUROCAST 2009)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5717))

Included in the following conference series:

  • 1179 Accesses

Abstract

Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the model and their corresponding actions in the target implementation, and also includes special treatment of exceptional states.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Gansner, E., North, S.: An open graph visualization system and its applications. Software – Practice and Experience 30, 1203–1233 (1999)

    Article  MATH  Google Scholar 

  2. Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley, Reading (2005)

    MATH  Google Scholar 

  3. Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: Proc. 2nd Int. Workshop on Automation of Software Test (AST 2007), p. 3. IEEE Computer Society, Washington (2007)

    Chapter  Google Scholar 

  4. Link, J., Fröhlich, P.: Unit Testing in Java: How Tests Drive the Code. Morgan Kaufmann Publishers, Inc., San Francisco (2003)

    MATH  Google Scholar 

  5. Myers, G.: Art of Software Testing. John Wiley & Sons, Inc., Chichester (1979)

    Google Scholar 

  6. Peled, D.: Software Reliability Methods. Springer, Heidelberg (2001)

    Book  MATH  Google Scholar 

  7. Poole, J.: Model-driven architecture: Vision, standards and emerging technologies. In: Workshop on Metamodeling and Adaptive Object Models, Budapest, Hungary (2001)

    Google Scholar 

  8. Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers, Inc., San Francisco (2006)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Research Center for Information Security (RCIS), AIST, Tokyo, Japan

    Cyrille Artho

Authors
  1. Cyrille Artho
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Instituto Universitario de Ciencias y Tecnologías Cibernéticas, Universidad de Las Palmas de Gran Canaria, Campus de Tafira, 35017, Las Palmas de Gran Canaria, Las Palmas, Spain

    Roberto Moreno-Díaz  & Alexis Quesada-Arencibia  & 

  2. Institute of Systems Science, Johannes Kepler University Linz, Altenbergerstrasse 69, 4040, Linz, Austria

    Franz Pichler

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Artho, C. (2009). Separation of Transitions, Actions, and Exceptions in Model-Based Testing. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory - EUROCAST 2009. EUROCAST 2009. Lecture Notes in Computer Science, vol 5717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04772-5_37

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-04772-5_37

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-04771-8

  • Online ISBN: 978-3-642-04772-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics