《信息与电子工程前沿(英文)》
>> 2020年
第21卷
第9期
doi:
10.1631/FITEE.1900213
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution
Affiliation(s): College of Computer, National University of Defense Technology, Changsha 410073, China; State Key Laboratory of High Performance Computing, National University of Defense Technology, Changsha 410073, China; less
收稿日期:
2019-04-26
录用日期:
2020-09-09
发布日期:
2020-09-09
下一篇
上一篇
摘要
is an effective way of systematically exploring the search space of a program, and is often used for automatic software testing and bug finding. The program to be analyzed is usually compiled into a binary or an intermediate representation, on which is carried out. During this process, s influence the effectiveness and efficiency of . However, to the best of our knowledge, there exists no work on recommendation for with respect to (w.r.t.) , which is an important testing coverage criterion widely used for mission-critical software. This study describes our use of a state-of-the-art tool to carry out extensive experiments to study the impact of s on w.r.t. MC/DC. The results indicate that instruction combining (IC) optimization is the important and dominant optimization for w.r.t MC/DC. We designed and implemented a support vector machine based method w.r.t. IC (denoted as auto). The experiments on two standard benchmarks (Coreutils and NECLA) showed that auto achieves the best MC/DC on 67.47% of Coreutils programs and 78.26% of NECLA programs.