Title of dissertation: Feedback-Directed Model-Based GUI Test Case Generation Xun Yuan, Doctor of Philosophy, 2008 Dissertation directed by: Professor Atif M. Memon Department of Computer Science Most of today’s software users interact with the software through a graphical user interface (GUI), which is a representative of the broader class of event-driven software (EDS). As the correctness of ...

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 ar-tiicial intelligence. Given a...

When looking at a coarse map of an unknown area, it is difficult to quickly orient and get a good feeling for the surrounding environment. This is especially true on a tiny Portable Digital Assistant (PDA), where it is difficult to grasp the extent of the entire map due to the small format. I therefore got the assignment to develop a Graphical User Interface (GUI) for a larger PDA and to take a...

Graphical user interfaces (GUIs) for today’s applications are extremely large. Moreover, they provide many degrees of freedom to the end-user, thus allowing the user to perform a very large number of event sequences on the GUI. The large sizes and degrees of freedom create severe problems for GUI quality assurance, including GUI testing. In this paper, we leverage methods and measures from netw...

We create a Python GUI scripting interface working under Windows in addition to (UNIX/ Linux). The GUI has been built around the Python open-source programming language. We use the Python's GUI library that so called Python Mega Widgets (PMW) and based on Tkinter Python module (http://www.freenetpages.co.uk/hp/alan.gauld/tutgui.htm). The new GUI was motivated primarily by the desire of more upd...

Currently, the number of non-PC devices used for interactive applications is increasing. Digital television set-top boxes, PDAs, and mobile phones are typical examples. Interactive applications are controlled via a Graphical User Interface (GUI). Consequently, a GUI framework is required. The objective is a unified GUI framework for all these new devices. Since one of the new devices is digital...

Automated GUI testing based on behavioral model is one of the most efficient testing approaches. By mining user usage, test scenarios can be generated based on statistical models such as Markov chain. However, these works require static analysis before starting the exploration which requires too much prerequisites and time. In this work, we propose a behavioralbased GUI testing approach for mob...

Development environments based on ActiveX controls and JavaBeans are marketed as “visual programming” platforms; in practice their visual dimension is limited to the design and implementation of an application’s graphical user interface (GUI. The availability of sophisticated GUI development environments and visual component development frameworks is now providing viable platforms for implement...

GUI testing is a form of system testing where test cases are based on user interactions. A user interaction may be encoded by a sequence of events (e.g., mouse clicks) together with input data (e.g., string values for text boxes). For selecting event sequences, one can use the black-box approach based on Event Flow Graphs. For selecting input data, one can use the white-box approach based on pa...

This paper presents extensions to the Spec Explorer tool to automate the testing of software applications through their GUI based on a formal specification in Spec#. The Spec Explorer tool, developed at Microsoft Research, already supports the automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net ass...