Towards the Integration of Visual and Formal Models for GUI Testing

• Author(s): Ana C. R. Paiva ; João C. P. Faria ; Raul F. A. M. Vidal
• Date: 2007
• Persistent ID: http://hdl.handle.net/10216/7072
• Origin: Repositório Aberto da Universidade do Porto
• Subject(s): Ciências tecnológicas; Tecnologia; Tecnologia de computadores; Tecnologia de software
• Document Type: Article
• Language: English

Description

This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. It provides a familiar visual notation based on UML to model GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a formal textual notation (Spec#), as a way to hide formalism 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 from the Spec# model is accessed automatically based on the structural coverage of the UML behavioural diagrams.