Towards the Integration of Visual and Formal Models for GUI Testing |
| |
Authors: | Ana CR Paiva Joo CP Faria Raul FAM Vidal |
| |
Affiliation: | aDepartment of Electrical and Computer Engineering Engineering Faculty of Porto University Porto, Portugal |
| |
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), 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. |
| |
Keywords: | GUI modelling GUI testing model-based testing UML Specsciencedirect com/scidirimg/entities/266f " target="_blank">gif" alt="musical sharp" title="musical sharp" border="0"> |
本文献已被 ScienceDirect 等数据库收录! |