中国人民解放军国防科技大学周旭获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国人民解放军国防科技大学申请的专利一种针对命令行选项的混合模糊测试方法、系统及介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119127703B 。
龙图腾网通过国家知识产权局官网在2025-10-03发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411250723.7,技术领域涉及:G06F11/3668;该发明授权一种针对命令行选项的混合模糊测试方法、系统及介质是由周旭;林培鸿;卢凯;王鹏飞;刘丹军;周雷;王宝生;解炜设计研发完成,并于2024-09-06向国家知识产权局提交的专利申请。
本一种针对命令行选项的混合模糊测试方法、系统及介质在说明书摘要公布了:本发明公开了一种针对命令行选项的混合模糊测试方法、系统及介质,本发明方法包括构建用于混合模糊测试的种子输入向量,在种子输入向量的基础上将模糊测试与符号执行相结合探索不同命令行参数设置、组合和冲突的感知性混合测试方案生成种子加入种子队列中对已插桩的被测试程序执行测试,感知性混合测试方案先使用模糊测试初步探索不同的程序路径,然后调用符号执行工具感知新执行路径与其对应的命令行参数设置的路径约束,最后调用约束求解器得到能够探索新执行路径的新种子并加入种子队列中。本发明旨在将模糊测试技术和符号执行技术相结合以高效地生成能够探索不同程序的路径的有效命令行选项组合和参数,提高模糊测试的代码探索空间。
本发明授权一种针对命令行选项的混合模糊测试方法、系统及介质在权利要求书中公布了:1.一种针对命令行选项的混合模糊测试方法,其特征在于,包括下述步骤: S101,构建用于混合模糊测试的种子输入向量,所述种子输入向量由被测试程序的输入文件构建的文件向量和所有命令行参数构建的命令行向量拼接而成以使得混合模糊测试可探索被输入文件和命令行参数共同影响的不同程序路径; S102,在种子输入向量的基础上将模糊测试与符号执行相结合探索不同命令行参数设置、组合和冲突的感知性混合测试方案生成种子加入种子队列中对已插桩的被测试程序执行测试,所述感知性混合测试方案先使用模糊测试初步探索不同的程序路径,然后调用符号执行工具感知新执行路径与其对应的命令行参数设置的路径约束,最后调用约束求解器得到能够探索新执行路径的新种子并加入种子队列中;所述使用模糊测试初步探索不同的程序路径包括: S201,根据下式压缩不同命令行向量的有效变异区间以执行变异产生新测试用例: ,上式中,表示目标程序的第i个命令行选项的取值,表示命令行向量的取值,表示有效变异的值区间,所述有效变异的值区间初始化为空值集合,表示随机变异的值区间,表示模糊测试的运行时间,表示模糊测试开始使用有效变异区间的时间阈值; S202,判断新测试用例是否覆盖新路径,若未覆盖新路径则结束并退出;若覆盖新路径则根据下式进行更新有效变异的值区间: ,,上式中,表示合并操作,表示模糊测试的测试覆盖率增加,此时变异为有效变异; S203,将新测试用例作为新的种子加入种子队列,并根据不同命令行向量的有效变异区间优化种子队列中各个种子的能量分配,使得各个种子的能量大小与种子的输入的命令行向量的有效取值区间长度正相关,所述种子的能量用于基于AFL的方法计算种子的变异次数。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军国防科技大学,其通讯地址为:410073 湖南省长沙市开福区砚瓦池正街47号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

皖公网安备 34010402703815号
请提出您的宝贵建议,有机会获取IP积分或其他奖励