Towards the integration of visual and formal models for GUI testing

• Type: Article in International Scientific Journal
• Date: 2007

Authors

Ana C. R. Paiva (Author) FEUP; João C. P. Faria (Author) FEUP; Raul F. A. M. Vidal (Author) Other

Journal

Title: Electronic Notes in Theoretical Computer Science

Vol. 190 No. 2

Pages: 99-111

ISSN: 1571-0661

Publisher: Elsevier

Indexing

ISI Web of Knowledge

Scopus - 17 Citations

Scientific classification

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

Other information

Authenticus ID: P-007-JB2

DOI: 10.1016/j.entcs.2007.08.010

Abstract (EN): This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec{music sharp sign}), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 13