Model-Based Testing Through a GUI

  • Antti Kervinen
  • Mika Maunumaa
  • Tuula Pääkkönen
  • Mika Katara
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3997)


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.


Product Family Test Automation Parallel Composition Label Transition System System Under Test 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Kaner, C., Bach, J., Pettichord, B.: Lessons Learned in Software Testing. Wiley, Chichester (2001)Google Scholar
  2. 2.
    Fewster, M., Graham, D.: Software Test Automation. Addison-Wesley, Reading (1999)MATHGoogle Scholar
  3. 3.
    Buwalda, H.: Action figures. STQE Magazine, 42–47 (March/April 2003)Google Scholar
  4. 4.
    Symbian: Symbian Operating System homepage. At URL:
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Helovuo, J., Leppänen, S.: Exploration testing. In: Proc. 2nd IEEE International Conference on Application of Concurrency to System Design, pp. 201–210 (2001)Google Scholar
  7. 7.
    Karsisto, K.: A new parallel composition operator for verification tools. Doctoral dissertation, Tampere University of Technology (number 420 in publications) (2003)Google Scholar
  8. 8.
    Mercury Interactive: QuickTest Pro homepage. At URL:
  9. 9.
    Intuwave: m-Test homepage. At URL:
  10. 10.
    Musa, J.D.: Software reliability engineering in industry. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, Springer, Heidelberg (1999)Google Scholar
  11. 11.
    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)Google Scholar
  12. 12.
    El-Far, I.K.: Enjoying the perks of model-based testing. In: Proc. Software Testing, Analysis, and Review Conference (STARWEST) 2001 (2001)Google Scholar
  13. 13.
    Robinson, H.: Obstacles and opportunities for model-based testing in an industrial software environment, At URL:
  14. 14.
    Apfelbaum, L., Doyle, J.: Model based testing. In: Software Quality Week Conference (1997)Google Scholar
  15. 15.
    Robinson, H.: Finite state model-based testing on a shoestring. Software Testing, Analysis, and Review Conference (STARWEST) (1999). At URL:
  16. 16.
    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)CrossRefGoogle Scholar
  17. 17.
    Memon, A.M.: A comprehensive framework for testing graphical user interfaces. PhD thesis, University of Pittsburgh (2001)Google Scholar
  18. 18.
    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)CrossRefGoogle Scholar
  19. 19.
    Conformiq Software: Conformiq Test Generator homepage. At URL:

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Antti Kervinen
    • 1
  • Mika Maunumaa
    • 1
  • Tuula Pääkkönen
    • 2
  • Mika Katara
    • 1
  1. 1.Institute of Software SystemsTampere University of TechnologyTampereFinland
  2. 2.Nokia Technology PlatformsTampereFinland

Personalised recommendations