Reverse engineered formal models for GUI testing

• Type: Article in International Conference Proceedings Book
• Date: 2008

Authors

Ana C. R. Paiva (Author) FEUP; Joao C. P. Faria (Author) FEUP; Pedro M. C. Mendes (Author) Other

Conference proceedings International

Title: FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS

Pages: 218-233

12th International Workshop on Formal Methods for Industrial Critical Systems

Berlin, GERMANY, JUL 01-02, 2007

Indexing

ISI Proceedings

ISI Web of Knowledge - 13 Citations

Scopus - 18 Citations

INSPEC

Scientific classification

FOS: Natural sciences > Computer and information sciences

CORDIS: Technological sciences > Technology > Computer technology > Software technology

Other information

Authenticus ID: P-004-397

DOI: 10.1007/978-3-540-79707-4_16

Abstract (EN): This paper describes a process to reverse engineer structural and behavioural formal models of a GUI application by a dynamic technique, mixing manual with automatic exploration. The goal is to diminish the effort required to construct the model and mapping information needed in a model-based GUI testing process. A skeleton of a state machine model of the GUI, represented in a formal pre/post specification language, is generated automatically by the exploration process. Mapping information between the model and the implementation is also generated along the way. The model extracted automatically is then completed manually in order to get an executable model which can be used as a test oracle. Abstract test cases, including expected outputs, can be generated automatically from the final model and executed over the GUI application, using the mapping information generated during the exploration process.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 16