Specification-driven unit test generation for java generic classes

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

Autores

Rebello De Andrade, F (Autor) Outra; Faria, JP (Autor) FEUP; Lopes, A (Autor) Outra; Paiva, ACR (Autor) FEUP

Ata de Conferência Internacional

Título: IFM

Páginas: 296-311

Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Indexação

ISI Proceedings

ISI Web of Knowledge

Scopus - 6 Citações

Classificação Científica

CORDIS: Ciências Tecnológicas > Engenharia > Engenharia de computadores

Outras Informações

ID Authenticus: P-008-58A

DOI: 10.1007/978-3-642-30729-4_21

Abstract (EN): Several approaches exist to automatically derive test cases that check the conformance of the implementation of abstract data types (ADTs) with respect to their specification. However, they lack support for the testing of implementations of ADTs defined by generic classes. In this paper, we present a novel technique to automatically derive, from specifications, unit test cases for Java generic classes that, in addition to the usual testing data, encompass implementations for the type parameters. The proposed technique relies on the use of Alloy Analyzer to find model instances for each test goal. JUnit test cases and Java implementations of the parameters are extracted from these model instances. © 2012 Springer-Verlag.

Idioma: Inglês

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

Nº de páginas: 16