TEST GENERATION FROM BOUNDED ALGEBRAIC SPECIFICATIONS USING ALLOY

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2011

Autores

De Andrade, FR (Autor) Outra; Faria, JP (Autor) FEUP; Paiva, ACR (Autor) FEUP

Ata de Conferência Internacional

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

Páginas: 192-200

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

Indexação

ISI Proceedings

ISI Web of Knowledge - 5 Citações

Scopus - 6 Citações

Outras Informações

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

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 9