Model-Based Testing Through a GUI

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.

[1]  Sean McDonald,et al.  Software Test Automation , 1999 .

[2]  Harry Robinson.  F INITE STATE MODEL-BASED TESTING ON A SHOESTRING , 1999 .

[3]  Juhana Helovuo,et al.  Exploration testing , 2001, Proceedings Second International Conference on Application of Concurrency to System Design.

[4]  Mary Lou Soffa,et al.  A comprehensive framework for testing graphical user interfaces , 2001 .

[5]  Fevzi Belli,et al.  Finite-State Testing of Graphical User Interfaces , 2003 .

[6]  Antti Kervinen,et al.  Heuristics for Faster Error Detection With Automated Black Box Testing , 2005, Electron. Notes Theor. Comput. Sci..

[7]  Cem Kaner,et al.  Lessons Learned in Software Testing , 2001 .

[8]  Ibrahim K. El-Far.  Enjoying the Perks of Model-Based Testing , 2001 .

[9]  Thomas J. Ostrand,et al.  A visual test development environment for GUI systems , 1998, ISSTA.

[10]  Fevzi Belli,et al.  Finite state testing and analysis of graphical user interfaces , 2001, Proceedings 12th International Symposium on Software Reliability Engineering.

[11]  Antti Valmari,et al.  Tampere Verification Tool , 2004, TACAS.

[12]  Harry Robinson.  Obstacles and opportunities for model-based testing in an industrial software environment , 2004 .

[13]  Konsta Karsisto.  A New Parallel Composition Operator for Verification Tools , 2003 .

[14]  Bradley S. Green.  Software test automation , 2000, SOEN.

[15]  Larry Apfelbaum,et al.  Model Based Testing , 1997 .

[16]  John D. Musa,et al.  Software Reliability Engineering in Industry , 1999, SAFECOMP.