10.19678/j.issn.1000-3428.0055782
结合混合符号执行的导向式灰盒模糊测试技术
导向式灰盒模糊测试是一种能够快速生成测试用例,达到给定程序目标区域并且发现漏洞的模糊测试技术.针对当前导向式模糊测试难以通过魔术字节等检查语句,且对目标区域路径覆盖率较低的问题,提出结合混合符号执行的导向式灰盒模糊测试方法.通过跟踪种子的执行路径,使用约束求解器对种子的遗传变异加以辅助,生成能够通过检查语句的测试用例,从而对目标区域进行有效测试.实验结果表明,该测试方法能够提高导向式模糊测试对目标区域的覆盖率.
导向式灰盒模糊测试、动态能量调控、混合符号执行、遗传变异、约束求解器
46
TP391(计算技术、计算机技术)
国家重点研发计划2017YFB0802900
2020-09-11(万方平台首次上网日期,不代表论文的发表时间)
共7页
190-196