TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY

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

Authors

De Andrade, FR (Author) Other; Faria, JP (Author) FEUP; Paiva, ACR (Author) FEUP

Conference proceedings International

Title: ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies

Pages: 192-200

ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011

Indexing

ISI Proceedings

ISI Web of Knowledge - 5 Citations

Scopus - 6 Citations

Other information

Authenticus ID: P-008-07R

Abstract (EN): Algebraic specification languages have been successfully used for the formal specification of abstract data types (ADTs) and software components, and there are several approaches to automatically derive test cases that check the conformity between the implementation and the algebraic specification of a software component. However, existing approaches do not assure the coverage of conditional axioms and conditions embedded in complex axioms. In this paper, we present a novel approach and a tool to automatically derive test cases from bounded algebraic specifications of ADTs, assuring axiom coverage and of all minterms in its full disjunctive normal form (FDNF). The algebraic specification is first translated into the Alloy modelling language, and the Alloy Analyzer tool is used to find model instances for each test goal (axiom and minterm to cover), from which test cases in JUnit are extracted.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 9