TY - JOUR T1 - An event-flow model of GUI-based applications for testing JF - Software Testing, Verification and Reliability Y1 - 2007 A1 - Memon, Atif M. KW - event-driven software KW - event-flow graph KW - event-flow model KW - Graphical user interfaces KW - integration tree KW - Model checking KW - test oracles KW - test-case generation AB - Graphical user interfaces (GUIs) are by far the most popular means used to interact with today's software. The functional correctness of a GUI is required to ensure the safety, robustness and usability of an entire software system. GUI testing techniques used in practice are resource intensive; model-based automated techniques are rarely employed. A key reason for the reluctance in the adoption of model-based solutions proposed by researchers is their limited applicability; moreover, the models are expensive to create. Over the past few years, the present author has been developing different models for various aspects of GUI testing. This paper consolidates all of the models into one scalable event-flow model and outlines algorithms to semi-automatically reverse-engineer the model from an implementation. Earlier work on model-based test-case generation, test-oracle creation, coverage evaluation, and regression testing is recast in terms of this model by defining event-space exploration strategies (ESESs) and creating an end-to-end GUI testing process. Three such ESESs are described: for checking the event-flow model, test-case generation, and test-oracle creation. Two demonstrational scenarios show the application of the model and the three ESESs for experimentation and application in GUI testing. Copyright © 2007 John Wiley & Sons, Ltd. VL - 17 SN - 1099-1689 UR - http://onlinelibrary.wiley.com/doi/10.1002/stvr.364/abstract CP - 3 M3 - 10.1002/stvr.364 ER -