Please use this identifier to cite or link to this item: https://hdl.handle.net/10216/100341
Author(s): Ana C. R. Paiva
João C. P. Faria
Raul F. A. M. Vidal
Title: Automated specification-based testing of interactive components with asmL
Issue Date: 2004
Abstract: 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://repositorio-aberto.up.pt/handle/10216/100341
Source: proceedings of the 5th edition of the QUATIC (Quality: the bridge to the future in ICT) international conference
Document Type: Artigo em Livro de Atas de Conferência Internacional
Rights: restrictedAccess
Appears in Collections:FEUP - Artigo em Livro de Atas de Conferência Internacional

Files in This Item:
File Description SizeFormat 
57944.pdf
  Restricted Access
197.95 kBAdobe PDF    Request a copy from the Author(s)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.