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://hdl.handle.net/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 | Size | Format | |
---|---|---|---|---|
57944.pdf Restricted Access | 197.95 kB | Adobe PDF | Request a copy from the Author(s) |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.