北京邮电大学刘胜涵获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉北京邮电大学申请的专利导向混合模糊测试方法、装置及存储介质获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119718934B 。
龙图腾网通过国家知识产权局官网在2025-11-21发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202411831845.5,技术领域涉及:G06F11/3668;该发明授权导向混合模糊测试方法、装置及存储介质是由刘胜涵;易秋萍设计研发完成,并于2024-12-12向国家知识产权局提交的专利申请。
本导向混合模糊测试方法、装置及存储介质在说明书摘要公布了:本发明提供一种导向混合模糊测试方法、装置及存储介质。该导向混合模糊测试方法包括:基于模糊测试生成的输入路径的前缀路径,对所述输入路径进行筛选,得到待执行路径;基于所述待执行路径的前缀路径,确定所述待执行路径的优先级评分;基于所述优先级评分将所述待执行路径依次输入至符号执行器中,并利用扩展后的符号执行约束条件进行符号执行,获得目标输入路径。本发明提供的导向混合模糊测试方法、装置及存储介质,通过基于前缀路径的输入选择机制有效提高了路径探索效率,并通过扩展的符号执行约束条件提高了输入生成的多样性,从而提高目标代码触发的概率,提高混合模糊测试的效率。
本发明授权导向混合模糊测试方法、装置及存储介质在权利要求书中公布了:1.一种导向混合模糊测试方法,其特征在于,包括: 基于模糊测试生成的输入路径的前缀路径,对所述输入路径进行筛选,得到待执行路径; 基于所述待执行路径的前缀路径,确定所述待执行路径的优先级评分; 根据所述优先级评分将所述待执行路径依次输入至符号执行器中,并利用扩展后的符号执行约束条件进行符号执行,获得目标输入路径; 所述基于模糊测试生成的输入路径的前缀路径,对所述输入路径进行筛选,得到待执行路径,包括: 确定每一输入路径中的与目标代码位置具有控制依赖关系的基本块序列,并将所述基本块序列作为前缀路径; 对所述前缀路径相同的输入路径进行去重,得到待执行路径; 所述方法还包括: 基于目标分支路径的符号执行约束条件以及所述目标分支路径的后续路径的符号执行约束条件,获取扩展后的符号执行约束条件;所述目标分支路径包括控制依赖分支路径和数据依赖分支路径; 所述基于目标分支路径的符号执行约束条件以及所述目标分支路径的后续路径的符号执行约束条件,获取扩展后的符号执行约束条件,包括: 将目标分支路径的符号执行约束条件进行取反; 将取反后的目标分支路径的符号执行约束条件与所述后续路径的符号执行约束条件组合,获得扩展后的符号执行约束条件。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人北京邮电大学,其通讯地址为:100876 北京市海淀区西土城路10号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。

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