Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/100341
Autor(es): | Ana C. R. Paiva João C. P. Faria Raul F. A. M. Vidal |
Título: | Automated specification-based testing of interactive components with asmL |
Data de publicação: | 2004 |
Resumo: | 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. |
URI: | https://hdl.handle.net/10216/100341 |
Fonte: | proceedings of the 5th edition of the QUATIC (Quality: the bridge to the future in ICT) international conference |
Tipo de Documento: | Artigo em Livro de Atas de Conferência Internacional |
Condições de Acesso: | restrictedAccess |
Aparece nas coleções: | FEUP - Artigo em Livro de Atas de Conferência Internacional |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
57944.pdf Restricted Access | 197.95 kB | Adobe PDF | Request a copy from the Author(s) |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.