Paper Info
Title
Specification-Driven unit test generation for java generic classes
Abstract
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.
Year
DOI
Venue
2012
10.1007/978-3-642-30729-4_21
IFM
Keywords
Field
DocType
novel technique,unit test case,junit test case,specification-driven unit test generation,generic class,derive test case,abstract data type,java generic class,test goal,java implementation,model instance
Abstract data type,Programming language,Computer science,Unit testing,Alloy Analyzer,Disjunctive normal form,Theoretical computer science,Implementation,Test data,Test case,Java
Conference
Citations 
PageRank 
References 
4
0.43
9
Authors
4
Name
Order
Citations
PageRank
Francisco Rebello de Andrade140.43
João Pascoal Faria28319.05
Antónia Lopes369752.57
Ana C. R. Paiva414518.69