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

摘要

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