Checking Java Assertions Using Automated Test-Case Generation

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


Zusammenfassung
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.

Schlüsselwörter
Assertions; Conditions; Java; Test-case generation; Test-cases



Publikationstyp
Aufsatz (Konferenz)

Begutachtet
Ja

Publikationsstatus
Veröffentlicht

Jahr
2015

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

Konferenzort
Sienna, Italien

Erste Seite
221

Letzte Seite
226

Seiten
221-226

Band
9527

Reihe
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Verlag
Springer Verlag

ISSN
0302-9743

ISBN
9783319274355

DOI

Gesamter Text

Affiliierungen
Universidad Complutense de Madrid; Westfalische Wilhelms-Universitat Munster