Checking Java Assertions Using Automated Test-Case Generation

  • Rafael CaballeroEmail author
  • Manuel Montenegro
  • Herbert Kuchen
  • Vincent von Hof
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9527)


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.


Assertions Conditions Test-cases Java Test-case generation 



This work has been supported by the German Academic Exchange Service (DAAD, 2014 Competitive call Ref. 57049954), the Spanish MINECO project CAVI-ART (TIN2013-44742-C4-3-R), Madrid regional project N-GREENS Software-CM (S2013/ICE-2731) and UCM grant GR3/14-910502.


  1. 1.
    Albert, E., Cabanas, I., Flores-Montoya, A., Gómez-Zamalloa, M., Gutierrez, S.: jPET: An automatic test-case generator for Java. In: 18th Working Conference on Reverse Engineering, WCRE 2011, Limerick, Ireland, October 17–20, 2011, pp. 441–442. (2011)Google Scholar
  2. 2.
    Anand, S., Burke, E., Chen, T.Y., Clark, J., Cohen, M.B., Grieskamp, W., Harman, M., Harrold, M.J., McMinn, P.: An orchestrated survey on automated software test case generation. J. Syst. Softw. 86(8), 1978–2001 (2013)CrossRefGoogle Scholar
  3. 3.
    Caballero, R., Montenegro, M., Kuchen, H., von Hof, V.: A program transformation for converting java assertions into control-flow statements. Technical report 24, ERCIS (2015)Google Scholar
  4. 4.
    Galeotti, J.P., Fraser, G., Arcuri, A.: Improving search-based test suite generation with dynamic symbolic execution. In: IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 360–369. IEEE (2013)Google Scholar
  5. 5.
    Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall Inc., Upper Saddle River (1997)zbMATHGoogle Scholar
  6. 6.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Rafael Caballero
    • 1
    Email author
  • 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

Personalised recommendations