Using a goal-driven approach to generate test cases for GUIs

Download: PDF.

“Using a goal-driven approach to generate test cases for GUIs” by Atif M. Memon, Martha E. Pollack, and Mary Lou Soffa. In ICSE '99: Proceedings of the 21st international conference on Software engineering, (Los Alamitos, CA, USA), 1999, pp. 257-266.

Abstract

The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the correctness of a GUI and the underlying software. We present a new technique to automatically generate test cases for GUIs that exploits planning, a well developed and used technique in artificial intelligence. Given a set of operators, an initial state and a goal state, a planner produces a sequence of the operators that will change the initial state to the goal state. Our test case generation technique first analyzes a GUI and derives hierarchical planning operators from the actions in the GUI. The test designer determines the preconditions and effects of the hierarchical operators, which are then input into a planning system. With the knowledge of the GUI and the way in which the user will interact with the GUI, the test designer creates sets of initial and goal states. Given these initial and final states of the GUI, a hierarchical planner produces plans, or a set of test cases, that enable the goal state to be reached. Our technique has the additional benefit of putting verification commands into the test cases automatically. We implemented our technique by developing the GUI analyzer and extending a planner. We generated test cases for Microsoft's WordPad to demonstrate the viability and practicality of the approach.

Download: PDF.

BibTeX entry:

@inproceedings{MemonICSE1999,
   author = {Atif M. Memon and Martha E. Pollack and Mary Lou Soffa},
   title = {Using a goal-driven approach to generate test cases for {GUIs}},
   booktitle = {ICSE '99: Proceedings of the 21st international conference
	on Software engineering},
   pages = {257--266},
   publisher = {IEEE Computer Society Press},
   address = {Los Alamitos, CA, USA},
   year = {1999},
   isbn = {1-58113-074-0}
}

Back to Atif Memon's Publications.