Automated coverage-driven test data generation using dynamic symbolic execution

Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao

Research output: Chapter in Book/Report/Conference proceedingConference contribution

11 Citations (Scopus)

Abstract

Recently code transformations or tailored fitness functions are adopted to achieve coverage (structural or logical criterion) driven testing to ensure software reliability. However, some internal threats like negative impacts on underlying search strategies or local maximum exist. So we propose a dynamic symbolic execution (DSE) based framework combined with a path filtering algorithm and a new heuristic path search strategy, i.e., predictive path search, to achieve faster coverage-driven testing with lower testing cost. The empirical experiments (three open source projects and two industrial projects) show that our approach is effective and efficient. For the open source projects w.r.t branch coverage, our approach in average reduces 25.5% generated test cases and 36.3% solved constraints than the traditional DSE-based approach without path filtering. And the presented heuristic strategy, on the same testing budget, improves the branch coverage by 26.4% and 35.4% than some novel search strategies adopted in KLEE and CREST.

Original languageEnglish
Title of host publicationProceedings - 8th International Conference on Software Security and Reliability, SERE 2014
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages98-107
Number of pages10
ISBN (Electronic)9781479942961
DOIs
Publication statusPublished - Jan 1 2014
Externally publishedYes
Event8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, United States
Duration: Jun 30 2014Jul 2 2014

Publication series

NameProceedings - 8th International Conference on Software Security and Reliability, SERE 2014

Other

Other8th International Conference on Software Security and Reliability, SERE 2014
CountryUnited States
CitySan Francisco
Period6/30/147/2/14

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Safety, Risk, Reliability and Quality
  • Software

Cite this

Su, T., Pu, G., Fang, B., He, J., Yan, J., Jiang, S., & Zhao, J. (2014). Automated coverage-driven test data generation using dynamic symbolic execution. In Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014 (pp. 98-107). [6895420] (Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SERE.2014.23