A model-to-implementation mapping tool for automated model-based GUI testing

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

Autores

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

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS

Páginas: 450-464

Indexação

ISI Proceedings

ISI Web of Knowledge - 29 Citações

Scopus - 51 Citações

INSPEC

Classificação Científica

FOS: Ciências exactas e naturais > Ciências da computação e da informação

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de computadores

Outras Informações

ID Authenticus: P-000-5R5

DOI: 10.1007/11576280_31

Abstract (EN): This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical CUI objects that are the target of the user actions described in the model; and it automatically generates a Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

Idioma: Inglês

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

Nº de páginas: 15