International Symposium on Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation pp 221-226

Checking Java Assertions Using Automated Test-Case Generation

  • Rafael Caballero
  • Manuel Montenegro
  • Herbert Kuchen
  • Vincent von Hof
Conference paper

DOI: 10.1007/978-3-319-27436-2_13

Volume 9527 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Caballero R., Montenegro M., Kuchen H., von Hof V. (2015) Checking Java Assertions Using Automated Test-Case Generation. In: Falaschi M. (eds) Logic-Based Program Synthesis and Transformation. Lecture Notes in Computer Science, vol 9527. Springer, Cham

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 Test-cases Java Test-case generation 

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Rafael Caballero
    • 1
  • Manuel Montenegro
    • 1
  • Herbert Kuchen
    • 2
  • Vincent von Hof
    • 2
  1. 1.University Complutense de MadridMadridSpain
  2. 2.Institute of Information SystemsUniversity of MünsterMünsterGermany