Automated coverage-driven test data generation using dynamic symbolic execution

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

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

16 被引用数 (Scopus)

抄録

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.

本文言語英語
ホスト出版物のタイトルProceedings - 8th International Conference on Software Security and Reliability, SERE 2014
出版社Institute of Electrical and Electronics Engineers Inc.
ページ98-107
ページ数10
ISBN(電子版)9781479942961
DOI
出版ステータス出版済み - 2014
外部発表はい
イベント8th International Conference on Software Security and Reliability, SERE 2014 - San Francisco, 米国
継続期間: 6 30 20147 2 2014

出版物シリーズ

名前Proceedings - 8th International Conference on Software Security and Reliability, SERE 2014

その他

その他8th International Conference on Software Security and Reliability, SERE 2014
国/地域米国
CitySan Francisco
Period6/30/147/2/14

All Science Journal Classification (ASJC) codes

  • 安全性、リスク、信頼性、品質管理
  • ソフトウェア

フィンガープリント

「Automated coverage-driven test data generation using dynamic symbolic execution」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル