杭州电子科技大学徐向华获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉杭州电子科技大学申请的专利一种基于函数调用图划分的集成模糊测试方法与系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN116820925B 。
龙图腾网通过国家知识产权局官网在2025-06-27发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202310500549.6,技术领域涉及:G06F11/3668;该发明授权一种基于函数调用图划分的集成模糊测试方法与系统是由徐向华;孙语韬设计研发完成,并于2023-05-06向国家知识产权局提交的专利申请。
本一种基于函数调用图划分的集成模糊测试方法与系统在说明书摘要公布了:本发明公开了一种基于函数调用图划分的集成模糊测试方法与系统。本发明利用多个异构模糊器对程序进行并行化集成模糊测试,分为探索阶段和开发阶段。探索阶段使用传统集成模糊测试方法对目标程序进行预测试,为开发阶段提供种子语料库和分支覆盖信息。开发阶段包括三个步骤:首先,将目标程序的函数调用图划分为子图并以此作为模糊测试的子任务;然后,将每个子图与种子语料库中的部分种子相关联,生成子种子语料库;最后,使用中央管理器对所有子任务进行分配和调度,并在测试过程中同步各模糊器的种子和分支覆盖位图。本发明可以充分发挥多个异构模糊器集成测试的优势,提高软件代码测试覆盖率、发掘更多代码缺陷漏洞。
本发明授权一种基于函数调用图划分的集成模糊测试方法与系统在权利要求书中公布了:1.一种基于函数调用图划分的集成模糊测试方法,其特征在于:分为探索阶段和开发阶段; 探索阶段使用集成模糊测试方法,首先选择一组现有的主流模糊器分别创建模糊器实例;其次创建一个监控程序启动各异构模糊器对目标程序进行测试,在测试过程中,监控程序监测各异构模糊器生成的新种子,如果发现有异构模糊器产生新种子,则监控程序判断该新种子是否能够带来新的全局覆盖;如果能则将新种子加入全局种子语料库;监控程序定期将保存到全局种子语料库的种子同步给每个模糊器; 开发阶段包括三个步骤:函数调用图划分、子图关联与种子映射、带有任务划分的集成模糊测试; 2-1函数调用图划分:利用上阶段的全局种子语料库中的种子执行路径更新静态提取到的目标程序的函数调用图,并使用图划分算法将函数调用图划分为子图; 2-2子图关联与种子映射:将模糊器无法识别的对函数调用图的划分映射为可以指导模糊器测试的种子语料库的划分,生成与各个子任务相对应的子种子语料库; 2-3带有任务划分的集成模糊测试:为各个模糊器分配由步骤2-2得到的子任务所对应的子种子语料库并定期轮换;在模糊测试过程中,修改模糊器的新种子同步策略,并为模糊器添加了分支覆盖位图同步策略。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人杭州电子科技大学,其通讯地址为:310018 浙江省杭州市下沙高教园区2号大街;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。