Automated specification-based testing of interactive components with asmL

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2004

Autores

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

Ata de Conferência Internacional

Título: proceedings of the 5th edition of the QUATIC (Quality: the bridge to the future in ICT) international conference

Páginas: 1-8

5th edition of the QUATIC (Quality: the bridge to the future in ICT) international conference

Porto, 18-20 October, 2004

Indexação

Scopus - 2 Citações

Outras Informações

ID Authenticus: P-00A-8XM

Abstract (EN): It is presented a promising approach to test interactive components, supporting the automatic generation of test cases from a specification. The relevance and difficulties (issues and challenges) associated with the testing of interactive components are first presented. It is shown that a formal specification with certain characteristics allows the automatic generation of test cases while solving some of the issues presented. The approach is illustrated with an example of automatic testing of the conformity between the implementation of a button, in the .Net framework, and a specification, written in the AsmL language, using the AsmL Tester tool. The conclusion discusses the characteristics of the tool and gives directions for future work.

Idioma: Inglês

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

Nº de páginas: 8