计算机工程

作者：戴渭, 陆余良, 朱凯龙

单位：国防科技大学 电子对抗学院, 合肥 230037

关键词：导向式灰盒模糊测试,动态能量调控,混合符号执行,遗传变异,约束求解器

基金：国家重点研发计划（2017YFB0802900）。

导向式灰盒模糊测试是一种能够快速生成测试用例，达到给定程序目标区域并且发现漏洞的模糊测试技术。针对当前导向式模糊测试难以通过魔术字节等检查语句，且对目标区域路径覆盖率较低的问题，提出结合混合符号执行的导向式灰盒模糊测试方法。通过跟踪种子的执行路径，使用约束求解器对种子的遗传变异加以辅助，生成能够通过检查语句的测试用例，从而对目标区域进行有效测试。实验结果表明，该测试方法能够提高导向式模糊测试对目标区域的覆盖率。

来源：2020年第8期

《计算机工程》期刊编辑部

查看计算机工程杂志2020年第8期