Abstract
Model-based testing (MBT) seems to be technically superior to conventional test automation. However, MBT features some difficulties that can hamper its deployment in industrial contexts. We are developing a domain-specific MBT solution for graphical user interface (GUI) testing of Symbian S60 smartphone applications. We believe that such a tailor-made solution can be easier to deploy than ones that are more generic. In this paper, we present a service concept and an associated web interface that hide the inherent complexity of the test generation algorithms and large test models. The interface enables an easy-to-use MBT service based on the well-known keyword concept. With this solution, a better separation of concerns can be obtained between the test modeling tasks that often require special expertise, and test execution that can be performed by testers. We believe that this can significantly speed up the industrial transfer of model-based testing technologies, at least in this context.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann, San Francisco (2007)
Campbell, C., Grieskamp, W., Nachmanson, L., Schulte, W., Tillmann, N., Veanes, M.: Testing concurrent object-oriented systems with Spec Explorer. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 542–547. Springer, Heidelberg (2005)
Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment. In: Proceedings of the 1st European Conference on Model-Driven Software Engineering, Nuremberg, Germany, pp. 118–127 (2003)
Hartman, A.: AGEDIS project final report. Cited (March 2008), http://www.agedis.de/documents/FinalPublicReport28D1.629.PDF
Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Satama, M.: 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, Los Alamitos (2006)
Symbian Cited (March 2008), http://www.symbian.com/
S60. Cited (March 2008), http://www.s60.com
OMG: UML testing profile, v 1.0. Cited (March 2008), http://www.omg.org/technology/documents/formal/test_profile.htm
Kervinen, A., Maunumaa, M., Pääkkönen, T., Katara, M.: 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), Vienna, Austria. Electronic Notes in Theoretical Computer Science, vol. 164(4), pp. 53–66. Elsevier, Amsterdam (2006)
Katara, M., Kervinen, A.: Making model-based testing more agile: a use case driven approach. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 219–234. Springer, Heidelberg (2007)
Katara, M., Kervinen, A., Maunumaa, M., Pääkkönen, T., Jääskeläinen, A.: Can I have some model-based GUI tests please? Providing a model-based testing service through a web interface. In: Proceedings of the second annual Conference of the Association for Software Testing (CAST 2007), Bellevue, WA, USA (2007)
Jääskeläinen, A.: A domain-specific tool for creation and management of test models. Master’s thesis, Tampere University of Technology (2008)
Boehm, B., Turner, R.: Balancing Agility and Discipline: A Guide for the Perplexed. Addison-Wesley, Reading (2004)
Rook, P.: Controlling software projects. Softw. Eng. J. 1, 7–16 (1986)
Buwalda, H.: Action figures. STQE Magazine, 42–47 (March/April 2003)
Fewster, M., Graham, D.: Software Test Automation: Effective use of test execution tools. Addison-Wesley, Reading (1999)
Valmari, A.: The state explosion problem. In: Lectures on Petri Nets I: Basic Models, London, UK, pp. 429–528. Springer, Heidelberg (1996)
Python: Python Programming Language homepage. Cited (March 2008), http://python.org/
Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)
Satama, M.: Event capturing tool for model-based GUI test automation. Master’s thesis, Tampere University of Technology (2006), Cited March 2008, http://practise.cs.tut.fi/project.php?project=tema&page=publications
HP: Mercury Functional Testing homepage. Cited (March 2008), http://www.mercury.com/us/products/quality-center/functional-testing/
Zakas, N.C., McPeak, J., Fawcett, J.: Professional Ajax, 2nd edn. Wiley, Chichester (2007)
Taipale, O., Smolander, K.: Improving software testing by observing practice. In: ISESE 2006. Proceedings of the 2006 ACM/IEEE international symposium on empirical software engineering, pp. 262–271. ACM Press, New York (2006)
Microsoft: Microsoft unveils vision and road map to simplify SOA, bridge software plus services, and take composite applications mainstream (2007-11-28). Cited March 2008, http://www.microsoft.com/presspass/press/2007/oct07/10-30OsloPR.mspx
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 IFIP International Federation for Information Processing
About this paper
Cite this paper
Jääskeläinen, A., Katara, M., Kervinen, A., Heiskanen, H., Maunumaa, M., Pääkkönen, T. (2008). Model-Based Testing Service on the Web. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds) Testing of Software and Communicating Systems. FATES TestCom 2008 2008. Lecture Notes in Computer Science, vol 5047. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68524-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-68524-1_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68514-2
Online ISBN: 978-3-540-68524-1
eBook Packages: Computer ScienceComputer Science (R0)