中国人民解放军战略支援部队信息工程大学吴泽君获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉中国人民解放军战略支援部队信息工程大学申请的专利一种基于富分支节点的定向模糊测试优化方法及系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116361148B 。
龙图腾网通过国家知识产权局官网在2026-04-28发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310082895.7,技术领域涉及:G06F11/3668;该发明授权一种基于富分支节点的定向模糊测试优化方法及系统是由吴泽君;魏强;武泽慧;燕宸毓;王允超;王新蕾设计研发完成,并于2023-02-08向国家知识产权局提交的专利申请。
本一种基于富分支节点的定向模糊测试优化方法及系统在说明书摘要公布了:本发明公开一种基于富分支节点的定向模糊测试优化方法及系统,该方法包括:对被测试程序进行编译插装,提取程序调用图CG和控制流图CFG信息;根据定向模糊测试能量分配策略对输入池的种子赋予能量,选择策略根据种子能量选择合适的种子进行变异后将该测试用例作为编译插装后的被测试程序的输入,被测试程序运行过程中搜集覆盖率信息,并通过CG和CFG计算该测试用例到敏感位置的距离;通过新增加的转移扩散策略改变输入种子的能量从而增加定向模糊测试的全面性。本发明能够在定向模糊测试的同时提高覆盖率,兼顾了模糊测试的全面性。
本发明授权一种基于富分支节点的定向模糊测试优化方法及系统在权利要求书中公布了:1.一种基于富分支节点的定向模糊测试优化方法,其特征在于,包括: 步骤1:对被测试程序进行编译插装,提取程序调用图CG和控制流图CFG信息; 步骤2:根据定向模糊测试能量分配策略对输入池的种子赋予能量,根据种子能量选择合适的种子进行变异,将变异后得到的测试用例作为编译插装后的被测试程序的输入,被测试程序运行过程中搜集覆盖率信息,并通过CG和CFG计算该测试用例到敏感位置的距离,若程序运行过程中产生崩溃,将该测试用例存入崩溃种子数据库,否则若是有新的覆盖产生则将该测试用例存入输入池中并进行下一次模糊测试,若是没有新的覆盖产生,直接进行下一次模糊测试; 步骤3:被测试程序运行结束后根据测试用例的覆盖情况提取富分支节点,若测试用例到达敏感位置,则激活转移扩散策略,转移扩散策略根据富分支节点的信息对输入池中的种子能量进行更新,让更多的种子在定向模糊测试的同时向富分支节点四周扩散,实现覆盖率的提升。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人中国人民解放军战略支援部队信息工程大学,其通讯地址为:450000 河南省郑州市高新区科学大道62号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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