Automated specification-based testing of interactive components with asmL

• Type: Article in International Conference Proceedings Book
• Date: 2004

Authors

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

Conference proceedings International

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

Pages: 1-8

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

Porto, 18-20 October, 2004

Indexing

Scopus - 2 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 8