Reverse engineered formal models for GUI testing

Authors:
Ana C. R. Paiva;João C. P. Faria;Pedro M. C. Mendes
Affiliations:
Engineering Faculty, University of Porto, Porto, Portugal;Engineering Faculty, University of Porto, Porto, Portugal and INESC Porto, Porto, Portugal;Engineering Faculty, University of Porto, Porto, Portugal
Venue:
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Year:
2007

Citing 8
Cited 3

Automated test oracles for GUIs

SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
User Interface Reverse Engineering in Support of Interface Migration to the Web

Automated Software Engineering
Reverse Engineering Legacy Interfaces: An Interaction-Driven Approach

WCRE '99 Proceedings of the Sixth Working Conference on Reverse Engineering
Flexible Reverse Engineering of Web Pages with VAQUISTA

WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
GUI Ripping: Reverse Engineering of Graphical User Interfaces for Testing

WCRE '03 Proceedings of the 10th Working Conference on Reverse Engineering
A model-to-implementation mapping tool for automated model-based GUI testing

ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
The spec# programming system: an overview

CASSIS'04 Proceedings of the 2004 international conference on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

User interface model discovery: towards a generic approach

Proceedings of the 2nd ACM SIGCHI symposium on Engineering interactive computing systems
Graphical user interface (GUI) testing: Systematic mapping and repository

Information and Software Technology
GUITAR: an innovative tool for automated testing of GUI-driven software

Automated Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes a process to reverse engineer structural and behaviouralformal models of a GUI application by a dynamic technique, mixingmanual with automatic exploration. The goal is to diminish the effort requiredto construct the model and mapping information needed in a model-based GUItesting process. A skeleton of a state machine model of the GUI, represented ina formal pre/post specification language, is generated automatically by the explorationprocess. Mapping information between the model and the implementationis also generated along the way. The model extracted automatically isthen completed manually in order to get an executable model which can be usedas a test oracle. Abstract test cases, including expected outputs, can be generatedautomatically from the final model and executed over the GUI application,using the mapping information generated during the exploration process.