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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
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)
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)
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)
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)
Meyer, B.: Object-oriented Software Construction, 2nd edn. Prentice-Hall Inc., Upper Saddle River (1997)
Oracle. Programming with Assertions (2014). https://docs.oracle.com/javase/jp/8/technotes/guides/language/assert.html
Acknowledgements
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
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. LOPSTR 2015. Lecture Notes in Computer Science(), vol 9527. Springer, Cham. https://doi.org/10.1007/978-3-319-27436-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-319-27436-2_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-27435-5
Online ISBN: 978-3-319-27436-2
eBook Packages: Computer ScienceComputer Science (R0)