International Symposium on Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation pp 221-226 | Cite as

Checking Java Assertions Using Automated Test-Case Generation

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

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 

References

  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)MATHGoogle Scholar
  6. 6.

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

Personalised recommendations