Specification-Driven unit test generation for java generic classes

Authors:
Francisco Rebello de Andrade;João P. Faria;Antónia Lopes;Ana C. R. Paiva
Affiliations:
Faculdade de Engenharia, Universidade do Porto, Portugal;Faculdade de Engenharia, Universidade do Porto, Portugal,INESC Porto, Portugal;Faculdade de Ciências, Universidade de Lisboa, Portugal;Faculdade de Engenharia, Universidade do Porto, Portugal
Venue:
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Year:
2012

Citing 11
Cited 0

The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Daistish: systematic algebraic testing for OO programs in the presence of side-effects

ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
TACCLE: a methodology for object-oriented software testing at the class and cluster levels

ACM Transactions on Software Engineering and Methodology (TOSEM)
Discrete Structures, Logic, and Computability , Second Edition

Discrete Structures, Logic, and Computability , Second Edition
Fundamentals of Algebraic Specification I

Fundamentals of Algebraic Specification I
Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Testing Java Components based on Algebraic Specifications

ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming

Runtime Verification
Testing data types implementations from algebraic specifications

Formal methods and testing
Runtime verification for generic classes with CONGU2

SBMF'10 Proceedings of the 13th Brazilian conference on Formal methods: foundations and applications

Quantified Score

Hi-index	0.00

Visualization

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.