结合混合符号执行的导向式灰盒模糊测试技术

• 作者: 戴渭 朱凯龙 陆余良
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 导向式灰盒模糊测试 动态能量调控 混合符号执行 遗传变异 约束求解器
• 年，卷（期）: 2020,（8）
• 所属期刊栏目: 体系结构与软件技术
• 页码范围: 190-196
• 页数: 7页
• 分类号: TP391
• 字数: 7972字
• 语种: 中文
• DOI: 10.19678/j.issn.1000-3428.0055782

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱凯龙	国防科技大学电子对抗学院	8	8	2.0	2.0
2	陆余良	国防科技大学电子对抗学院	8	16	2.0	4.0
3	戴渭	国防科技大学电子对抗学院	2	0	0.0	0.0