Skip to main content
Springer Nature Link
Log in

Making Model-Based Testing More Agile: A Use Case Driven Approach

  • Conference paper
Hardware and Software, Verification and Testing (HVC 2006)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 4383))

Included in the following conference series:

  • 751 Accesses

Abstract

We address the problem of misalignment of artifacts developed in agile software development projects and those required by model-based test generation tools. Our solution is domain specific and relies on the existence of domain experts to design the test models. The testers interface the test generation systems with use cases that are converted into sequences of so called action words corresponding to user events at a high level of abstraction. To support this scheme, we introduce a coverage language and an algorithm for automatic test generation.

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. Boehm, B., Turner, R.: Balancing Agility and Discipline: A Guide for the Perplexed. Addison-Wesley, Reading (2004)

    Google Scholar 

  2. Ambler, S.W.: Agile modeling homepage (2006), Available at http://www.agilemodeling.com

  3. Kervinen, A., et al.: Model-based testing through a GUI. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 16–31. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Kervinen, A., Maunumaa, M., Katara, M.: Controlling testing using three-tier model architecture. In: Proceedings of the Second Workshop on Model Based Testing (MBT 2006). ENTCS, vol. 164(4), pp. 53–66 (2006)

    Google Scholar 

  5. Katara, M., et al.: Towards deploying model-based testing with a domain-specific modeling approach. In: Proceedings of TAIC PART - Testing: Academic & Industrial Conference, Windsor, UK, pp. 81–89. IEEE Computer Society Press, Los Alamitos (2006)

    Chapter  Google Scholar 

  6. S60: Symbian S60 homepage (2006), Available at http://www.s60.com

  7. Fewster, M., Graham, D.: Software Test Automation. Addison-Wesley, Reading (1999)

    MATH  Google Scholar 

  8. Buwalda, H.: Action figures. STQE Magazine, 42–47 (March/April 2003) (2003)

    Google Scholar 

  9. Wells, D.: Extreme programming: a gentle introduction (2006), Available at http://www.extremeprogramming.org

  10. Craig, R.D., Jaskiel, S.P.: Systematic Software Testing. Artech House, Boston (2002)

    MATH  Google Scholar 

  11. Fowler, M.: Continuous integration. (2006), Available at http://www.martinfowler.com/articles/continuousIntegration.html

  12. Russel, S., Norvig, P.: Artifical Intelligence. Prentice-Hall, Englewood Cliffs (1995)

    Google Scholar 

  13. Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Springer, Heidelberg (2000)

    MATH  Google Scholar 

  14. Kervinen, A., Virolainen, P.: Heuristics for faster error detection with automated black box testing. In: Proceedings of the Workshop on Model Based Testing (MBT 2004). ENTCS, vol. 111, pp. 53–71 (2005)

    Google Scholar 

  15. Jard, C., Jéron, T.: TGV: theory, principles and algorithms – a tool for the automatic synthesis of conformance test cases for non-deterministic reactive systems. STTT 7, 297–315 (2005)

    Article  Google Scholar 

  16. AGEDIS Consortium: AGEDIS project homepage (2004), Available at http://www.agedis.de/

  17. Bouquet, F., et al.: Requirements traceability in automated test generation – application to smart card software validation. In: Proceedings of ICSE 2005 Workshop on Advances in Model-Based Software Testing (A-MOST), ACM Press, New York (2005)

    Google Scholar 

  18. Pnueli, A.: Temporal semantics of concurrent programs. In: Proceedings of the 18th IEEE Symposium on the Foundations of Computer Science, pp. 46–57. IEEE Computer Society Press, Los Alamitos (1977)

    Google Scholar 

  19. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logics of Programs. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982)

    Chapter  Google Scholar 

  20. Hong, H.S., et al.: A temporal logic based coverage theory of test coverage and generation. In: Katoen, J.-P., Stevens, P. (eds.) ETAPS 2002 and TACAS 2002. LNCS, vol. 2280, pp. 327–339. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Tampere University of Technology, Institute of Software Systems, P.O. Box 553, FI-33101 Tampere, Finland

    Mika Katara & Antti Kervinen

Authors
  1. Mika Katara
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Antti Kervinen
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eyal Bin Avi Ziv Shmuel Ur

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Katara, M., Kervinen, A. (2007). Making Model-Based Testing More Agile: A Use Case Driven Approach. In: Bin, E., Ziv, A., Ur, S. (eds) Hardware and Software, Verification and Testing. HVC 2006. Lecture Notes in Computer Science, vol 4383. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-70889-6_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-70889-6_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-70888-9

  • Online ISBN: 978-3-540-70889-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics