System.ArgumentOutOfRangeException: 索引和长度必须引用该字符串内的位置。 参数名: length 在 System.String.Substring(Int32 startIndex, Int32 length) 在 zhuanliShow.Bind()
【技术实现步骤摘要】
本专利技术涉及的是一种模糊测试领域的技术,具体是一种基于依概率指数止损算法的导向型灰盒模糊测试方法。
技术介绍
1、现有导向型模糊测试聚焦于待测程序的目标点,将计算资源不断地向目标点倾斜,对待测程序进行深度优先搜索。从解空间的角度来看,覆盖率型灰盒模糊测试的解是所有路径;导向型灰盒模糊测试的解是特定路径。现有的导向型灰盒模糊测试器没有充分地利用已有的控制流信息(icfg),未让不可达的测试用例及时地止损。
技术实现思路
1、本专利技术针对现有技术现有的导向型灰盒模糊测试器不够高效且依赖于诸多辅助技术的问题,提出一种基于依概率指数止损算法的导向型灰盒模糊测试方法,以指数级递增的概率提前中止不可达的测试用例,能够在不提前中止的情况下防止不可达的测试用例的误报;在提前中止的情况下,它节约了大量的计算资源。相比于引入其它技术的改进方法,fgo充分地利用了icfg所包含的不可达信息,不产生任何额外的可达性分析所造成的时间开销(比如训练关于可达性的分类神经网络)。
2、本专利技术是通过以下技术方案实现的:
3、本专利技术涉及一种基于依概率指数止损算法的导向型灰盒模糊测试方法,根据待测程序的目标点,计算其控制流信息(icfg)的各个函数和基本块与目标点的距离;以覆盖率、距离作为运行时的反馈信息,通过代码插桩使覆盖率趋于增大、距离趋于减小,并在不可达的基本块之前插入依概率指数止损函数;循环生成测试用例并执行待测程序,直至满足终止条件。
4、本专利技术涉及一种实现
5、技术效果
6、相比于引入其它技术的改进方法,fgo充分地利用了icfg所包含的不可达信息,不产生任何额外的可达性分析所造成的时间开销(比如训练关于可达性的分类神经网络)并以指数级递增的概率提前中止不可达的测试用例。
本文档来自技高网...【技术保护点】
1.一种基于依概率指数止损算法的导向型灰盒模糊测试方法,其特征在于,根据待测程序的目标点,计算其控制流信息的各个函数和基本块与目标点的距离;以覆盖率、距离作为运行时的反馈信息,通过代码插桩使覆盖率趋于增大、距离趋于减小,并在不可达的基本块之前插入依概率指数止损函数;循环生成测试用例并执行待测程序,直至满足终止条件。
2.根据权利要求1所述的基于依概率指数止损算法的导向型灰盒模糊测试方法,其特征是,所述的代码插桩,具体包括:
3.根据权利要求1所述的基于依概率指数止损算法的导向型灰盒模糊测试方法,其特征是,所述的依概率指数止损函数包括:
4.一种实现权利要求1-3中任一所述基于依概率指数止损算法的导向型灰盒模糊测试方法的系统,其特征在于,包括:iCFG提取模块、距离计算模块、插桩模块和模糊测试模块。
【技术特征摘要】
1.一种基于依概率指数止损算法的导向型灰盒模糊测试方法,其特征在于,根据待测程序的目标点,计算其控制流信息的各个函数和基本块与目标点的距离;以覆盖率、距离作为运行时的反馈信息,通过代码插桩使覆盖率趋于增大、距离趋于减小,并在不可达的基本块之前插入依概率指数止损函数;循环生成测试用例并执行待测程序,直至满足终止条件。
2.根据权利要求1所述的基于依概率指数止损...
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。