基于状态聚类的分布式模糊测试技术

摘要：

针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略.通过大量随机测试获得目标程序的初始状态空间;根据路径前缀将初始状态空间划分为相互独立的状态子空间,将其对应的任务分发到各测试节点;利用路径约束控制变异的方向,保证各测试节点探测的状态空间相互独立.根据该方法,设计实现一个高效的分布式模糊测试系统.分别在libtiff库和CGC测试集上进行实验,实验结果表明,该系统能够有效减少测试用例的重复执行次数,提高模糊测试效率,有机会发现更多crash.

关键词：分布式、模糊测试、聚类、状态空间聚类、路径约束

所属期刊栏目：40

分类号：TP319(计算技术、计算机技术)

资助基金：国家重点研发计划“网络空间安全”重点专项基金项目2017YFB0802905

在线出版日期：2019-10-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：2428-2434,2501