Towards the Integration of Visual and Formal Models for GUI Testing

• Autor(es): Ana C. R. Paiva ; João C. P. Faria ; Raul F. A. M. Vidal
• Data: 2007
• Identificador Persistente: http://hdl.handle.net/10216/7072
• Origem: Repositório Aberto da Universidade do Porto
• Assunto(s): Ciências tecnológicas; Tecnologia; Tecnologia de computadores; Tecnologia de software
• Tipo de Documento: Artigo
• Idioma: Inglês

Descrição

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.