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
Research article in proceedings (conference)

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

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

Language
English

ISSN
0302-9743

ISBN
9783319274355

DOI

Full text