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
Forschungsartikel in Sammelband (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
Band
9527
Reihe
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Verlag
Springer Verlag
Sprache
Englisch
ISSN
0302-9743
ISBN
9783319274355
DOI
Gesamter Text