Home // International Journal On Advances in Software, volume 5, numbers 3 and 4, 2012 // View article

Dynamic Reverse Engineering of Graphical User Interfaces

Authors:
Inês Coimbra Morgado
Ana C. R. Paiva
João Pascoal Faria

Keywords: ReGUI; Dynamic Reverse Engineering; GUI Testing; Properties Verification; CTL; Model Checking; SMV

Abstract:
This paper presents a dynamic reverse engineering approach and a tool, ReGUI, developed to reduce the effort of obtaining models of the structure and behaviour of a software application’s Graphical User Interface (GUI). It describes, in more detail, the architecture of the REGUI tool, the process followed to extract information and the different types of models produced to represent such information. Each model describes different characteristics of the GUI. Besides graphical representations, which allow checking visually properties of the GUI, the tool also generates a textual model in Spec# to be used in the context of model based GUI testing and a Symbolic Model Verification model, which enables the verification of several properties expressed in computation tree logic. The models produced must be completed and validated in order to ensure that they faithfully describe the intended behaviour. This validation process may be performed by manually analysing the graphical models produced or automatically by proving properties, such as reachability, through model checking. A feasibility study is described to illustrate the overall approach, the tool and the results obtained.

Pages: 224 to 236

Copyright: Copyright (c) to authors, 2012. Used with permission.

Publication date: December 31, 2012

Published in: journal

ISSN: 1942-2628