Test generation for graphical user interfaces based on symbolic execution

While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events on the GUI's widgets, a test input for a GUI is such an event sequence. Due to the combinatorial nature of the sequences, testing a GUI...

Full description

Saved in:
Bibliographic Details
Published in:International Conference on Software Engineering 2008 Vol. 2008; no. 9
Main Authors: Ganov, Svetoslav R, Killmar, Chip, Khurshid, Sarfraz, Perry, Dewayne E
Format: Journal Article
Language:English
Published: 11.05.2008
ISBN:1605580309, 9781605580302
ISSN:0270-5257
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:While Graphical User Interfaces (GUIs) have become ubiquitous, testing them remains largely ad-hoc. Since the state of a GUI is defined by a sequence of events on the GUI's widgets, a test input for a GUI is such an event sequence. Due to the combinatorial nature of the sequences, testing a GUI thoroughly is problematic and time-consuming. Moreover, the wide range of possible values for certain GUI widgets, such as a textbox, compounds the problem.
Bibliography:SourceType-Scholarly Journals-2
ObjectType-Feature-2
ObjectType-Conference Paper-1
content type line 23
SourceType-Conference Papers & Proceedings-1
ObjectType-Article-3
ISBN:1605580309
9781605580302
ISSN:0270-5257
DOI:10.1145/1370042.1370050