Loop Transparency for Scalable Dynamic Symbolic Execution

Xiao Li Ji; Xiao Song Zhang; Ting Chen; Xiao Shan Li; Lei Jiang

doi:10.4028/www.scientific.net/AMM.201-202.242

Paper Titles

Study of Temperature Decoupling Fiber Acceleration Sensor Based on the Dual-FP Structure
p.226

Finite Element Study on Dynamic Tension of Metal Ring by Electromagnetic Launching
p.230

Numerical Simulation of 2D Model of Diffuser for Tidal Turbines
p.234

Characteristics of the Lateral Shift at the Surface of the Metamaterial
p.238

Loop Transparency for Scalable Dynamic Symbolic Execution
p.242

Approximate Solutions of Generalized Fifth-Order Korteweg-De Vries (KdV) Equation by the Standard Truncated Expansion Method
p.246

Study on the Error of the Three-Dimensional Structure Light Measurement Based on Triangulation Principle
p.251

A Rotor Fault Feature Extraction Method Based on the Hilbert Marginal Spectrum
p.255

Design and Calculation Method for the Floors of Heavy-Duty Garages
p.259

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 201-202Loop Transparency for Scalable Dynamic Symbolic...

Loop Transparency for Scalable Dynamic Symbolic Execution

Abstract:

Dynamic symbolic execution is a promising approach for software analyzing and testing. However, it fails to scale to large programs due to the exponential number of paths to be explored. This paper focus on tackling loop caused path explosion problems and proposes a new approach to reduce paths that produce the same effects. We present a loop transparency strategy that makes use of the decision graph of under test program to discard constraints that produce paths with only a different number of iterations. A dynamic software testing tool LTDse based on loop transparency is designed and evaluated on three benchmarks. The experimental results show that our approach is effective since it can achieve better code coverage or require fewer program executions than traditional strategies.

You might also be interested in these eBooks

Advances in Engineering Design and Optimization III

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 201-202)

Pages:

242-245

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.201-202.242

Citation:

Cite this paper

Online since:

October 2012

Authors:

Xiao Li Ji, Xiao Song Zhang, Ting Chen, Xiao Shan Li, Lei Jiang

Keywords:

Code Coverage, Decision Graph, Software Testing, Symbolic Execution, Test Generation

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] J. C. King: Communications of the ACM, Vol. 19 (1976) No.7, p.385–394.

Google Scholar

[2] C. Pǎsǎreanu and W. Visser: International Journal on Software Tools for Technology Transfer, Vol. 11 (2009) No. 4, p.339–353.

Google Scholar

[3] N. Williams, B. Marre, P. Mouy and M. Roger: the 5th European Dependable Computing Conference (Budapest, Hungary, April 20-22 2005), Vol. 3463 (2005), pp.281-292.

Google Scholar

[4] P. Saxena, P. Poosankam, S. McCamant and D. Song: Proceedings of the eighteenth international symposium on Software testing and analysis (Chicago, IL, USA, July19-23 2009), p.225–236.

DOI: 10.1145/1572272.1572299

Google Scholar

[5] P. Godefroid, M.Y. Levin and D. Molnar: Network Distributed Security Symposium (San Diego, February 2008), p.151–166.

Google Scholar

[6] R. Gold: International Journal of Applied Mathematics and Computer Science, Vol. 20 (2010) No. 4, p.739–749.

Google Scholar

[7] Information on http://www.hex-rays.com/products/ida/index. shtml.

Google Scholar

[8] C. Robert, M. Robert, P. Harish, K. Artur, L. Geoff, W. Steven, R.V. Janapa and H. Kim: ACM SIGPLAN Conference on Programming Language Design and Implementation (Chicago, IL, United states, July 12-15 2005), Vol. 40, pp.190-200.

Google Scholar

[9] V. Ganesh and L.D. David: the 19th International Conference on Computer Aided Verification (Berlin, Germany, July 3-7 2007), Vol. 4590, pp.519-531.

Google Scholar