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
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boehm, B., Turner, R.: Balancing Agility and Discipline: A Guide for the Perplexed. Addison-Wesley, Reading (2004)
Ambler, S.W.: Agile modeling homepage (2006), Available at http://www.agilemodeling.com
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)
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)
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)
S60: Symbian S60 homepage (2006), Available at http://www.s60.com
Fewster, M., Graham, D.: Software Test Automation. Addison-Wesley, Reading (1999)
Buwalda, H.: Action figures. STQE Magazine, 42–47 (March/April 2003) (2003)
Wells, D.: Extreme programming: a gentle introduction (2006), Available at http://www.extremeprogramming.org
Craig, R.D., Jaskiel, S.P.: Systematic Software Testing. Artech House, Boston (2002)
Fowler, M.: Continuous integration. (2006), Available at http://www.martinfowler.com/articles/continuousIntegration.html
Russel, S., Norvig, P.: Artifical Intelligence. Prentice-Hall, Englewood Cliffs (1995)
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Springer, Heidelberg (2000)
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)
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)
AGEDIS Consortium: AGEDIS project homepage (2004), Available at http://www.agedis.de/
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)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Rights 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)