Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/102256
Author(s): Ana C. R. Paiva
João C. P. Faria
Raul F. A. M. Vidal
Title: Towards the integration of visual and formal models for GUI testing
Issue Date: 2007
Abstract: 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.
Subject: Tecnologia de software
Software technology
URI: https://repositorio-aberto.up.pt/handle/10216/102256
Document Type: Artigo em Revista Científica Internacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Revista Científica Internacional

Files in This Item:
File Description SizeFormat 
56984.pdf
  Restricted Access
1.07 MBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.