Checking Java Assertions Using Automated Test-Case Generation

Caballero R, Montenegro M, Kuchen H, von Hof V


Abstract
We present a technique for checking the validity of Java assertions using an arbitrary automated test-case generator. Our framework transforms the program by introducing code that detects whether the assertion conditions are met by every direct and indirect method call within a certain depth level. Then, any automated test-case generator can be used to look for input examples that falsify the conditions. We show by means of experimental results the effectiveness of our proposal.

Keywords
Assertions; Conditions; Java; Test-case generation; Test-cases



Publication type
Conference Paper

Peer reviewed
Yes

Publication status
Published

Year
2015

Conference
25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015

Venue
Sienna, Italien

Start page
221

End page
226

Pages range
221-226

Volume
9527

Title of series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Publisher
Springer Verlag

ISSN
0302-9743

ISBN
9783319274355

DOI

Full text

Affiliation
Universidad Complutense de Madrid; Westfalische Wilhelms-Universitat Munster