Abstract
A concolic execution based testing framework is proposed to generate tests for real-life applications. Concolic execution is a hybrid software analysis technique which combines concrete execution with symbolic execution. It makes some tradeoff between pure static analysis and dynamic analysis. Existing concolic testing tools are mostly targeting programs with sources, and nontrivial dependencies on application development tools are introduced thereby. In our work, we built a concolic execution tool that directly targets program binary. Therefore, it can generate test cases without the presence of program source, and does not incur unnecessary dependances on the application development tools. Depth First Search algorithms are integrated into the test case generation process to explore the test space. Experiments show that concolic execution based test case generation process is effective in both achieving good coverage, and uncovering errors.
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
Godefroid, P, Michael YL, David M (2007) Automated whitebox fuzz testing (technical report). TR-2007-58. ftp://ftp.research.microsoft.com/pub/tr/TR-2007-58.pdf
Godefroid P (2007) Random testing for security: blackbox vs. whitebox fuzzing. In: Proceedings of the 2nd international workshop on random testing. New York
Williams N, Bruno M, Patricia M, et al (2005) PathCrawler: automatic generation of path tests by combining static and dynamic analysis. In: Proceedings of the 5th European dependable computing conference, Budapest, Hungary
Dawson E, Cristian C, Vijay G, et al (2006) EXE: automatically generating inputs of death. In: Proceedings of the 13th international conference on computer and communications security (CCS 2006). Alexandria
Godefroid P, Nils K, Koushik S (2009) DART: directed automated random testing. In: Proceedings of the 2005 ACM SIGPLAN conference on programming language design and implementation. New York
Koushik S, Darko M, Gul A (2009) CUTE: a concolic unit testing engine for C. In: Proceedings of the 10th European software engineering conference, New York
Koushik S, Gul A (2006) CUTE and jCUTE: concolic unit testing and explicit path model-checking tools. In: Computer aided verification: 18th international conference, CAV 2006, Seattle
Acknowledgments
This work is partially supported by Natual Science Foundation of China under grant No. 61175062; The Fundamental Research Funds for Central Universities (DUT12JS02).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hu, Y., Jiang, H. (2013). Effective Test Case Generation via Concolic Execution. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34531-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-34531-9_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34530-2
Online ISBN: 978-3-642-34531-9
eBook Packages: EngineeringEngineering (R0)