文章目录

1 背景

2 相关研究

3 变异算子优化模型

3.1 探索与利用模型

3.2 变异算子调度优化模型

3.3 模型实现

3.4 模型效率分析

4 实验

5 总结

文章摘要:模糊测试技术是一种使用不同变异算子生成测试用例对程序进行漏洞检测的技术.当前对模糊测试技术的研究集中在变异算子的设计与程序分析两个方面,对多种变异算子之间的协同调度还没有进行深入研究.文章首先对模糊测试中通用的15个变异算子进行研究,分析不同变异算子在不同类型程序上的变异效率.文章以探索与利用模型为基础,结合变异算子变异效率变化的规律,设计了变异算子调度优化模型EE-POS,以提高模糊测试技术的漏洞挖掘效率.文章在原型系统EE-POS-AFL上实现了EE-POS变异算子调度优化模型,通过与AFL的对比实验表明EE-POS-AFL路径探索效率提高63%,漏洞检测效率提高153%.

文章关键词:

论文作者:李明磊 陆余良 黄晖 朱凯龙 

论文分类号:TP311.53