Abstract
So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally important application area, which introduces new challenges. In this paper, we introduce a new methodology for model-based GUI testing. This includes using Labeled Transition Systems (LTSs) in conjunction with action word and keyword techniques for test modeling. We have also conducted an industrial case study where we tested a mobile device and were able to find previously unreported defects. The test environment included a standard MS Windows GUI testing tool as well as components implementing our approach. Assessment of the results from an industrial point of view suggests directions for future development.
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
Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. Wiley, Chichester (2001)
Fewster, M., Graham, D.: Software Test Automation. Addison-Wesley, Reading (1999)
Buwalda, H.: Action figures. STQE Magazine, 42–47 (March/April 2003)
Symbian: Symbian Operating System homepage. At URL: http://www.symbian.com
Virtanen, H., Hansen, H., Nieminen, J., Erkkilä, T.: Tampere verification tool. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, Springer, Heidelberg (2004)
Helovuo, J., Leppänen, S.: Exploration testing. In: Proc. 2nd IEEE International Conference on Application of Concurrency to System Design, pp. 201–210 (2001)
Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)
Mercury Interactive: QuickTest Pro homepage. At URL: http://www.mercury.com
Intuwave: m-Test homepage. At URL: http://www.intuwave.com
Musa, J.D.: Software reliability engineering in industry. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, Springer, Heidelberg (1999)
Kervinen, A., Virolainen, P.: Heuristics for faster error detection with automated black box testing. In: Proc. International Workshop on Model Based Testing (MBT 2004). Electronic Notes in Theoretical Computer Science, vol. 111, Elsevier, Amsterdam (2004)
El-Far, I.K.: Enjoying the perks of model-based testing. In: Proc. Software Testing, Analysis, and Review Conference (STARWEST) 2001 (2001)
Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment, At URL: http://www.geocities.com/harry_robinson_testing/ObstaclesAndOpportunities.pdf
Apfelbaum, L., Doyle, J.: Model based testing. In: Software Quality Week Conference (1997)
Robinson, H.: Finite state model-based testing on a shoestring. Software Testing, Analysis, and Review Conference (STARWEST) (1999). At URL: http://www.geocities.com/model_based_testing/shoestring.htm
Ostrand, T., Anodide, A., Foster, H., Goradia, T.: A visual test development environment for GUI systems. In: ISSTA 1998: Proc. 1998 ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 82–92. ACM Press, New York (1998)
Memon, A.M.: A comprehensive framework for testing graphical user interfaces. PhD thesis, University of Pittsburgh (2001)
Belli, F.: Finite-state testing of graphical user interfaces. In: Proc. 12th International Symposium on Software Reliability Engineering (ISSRE 2001), pp. 34–43. IEEE CS, Los Alamitos (2001)
Conformiq Software: Conformiq Test Generator homepage. At URL: http://www.conformiq.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kervinen, A., Maunumaa, M., Pääkkönen, T., Katara, M. (2006). Model-Based Testing Through a GUI. In: Grieskamp, W., Weise, C. (eds) Formal Approaches to Software Testing. FATES 2005. Lecture Notes in Computer Science, vol 3997. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11759744_2
Download citation
DOI: https://doi.org/10.1007/11759744_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34454-4
Online ISBN: 978-3-540-34455-1
eBook Packages: Computer ScienceComputer Science (R0)