Towards the integration of visual and formal models for GUI testing

• Tipo: Artigo em Revista Científica Internacional
• Data: 2007

Autores

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

Revista

Título: Electronic Notes in Theoretical Computer Science

Vol. 190 Nº 2

Páginas: 99-111

ISSN: 1571-0661

Editora: Elsevier

Indexação

ISI Web of Knowledge

Scopus - 17 Citações

Classificação Científica

CORDIS: Ciências Tecnológicas > Tecnologia > Tecnologia de computadores > Tecnologia de software

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 13