上海交通大学陈力波获国家专利权
买专利卖专利找龙图腾,真高效! 查专利查商标用IPTOP,全免费!专利年费监控用IP管家,真方便!
龙图腾网获悉上海交通大学申请的专利大模型辅助的程序功能自动感知模糊测试方法与系统获国家发明授权专利权,本发明授权专利权由国家知识产权局授予,授权公告号为:CN119690854B 。
龙图腾网通过国家知识产权局官网在2025-08-05发布的发明授权授权公告中获悉:该发明授权的专利申请号/专利号为:202510199284.X,技术领域涉及:G06F11/3668;该发明授权大模型辅助的程序功能自动感知模糊测试方法与系统是由陈力波;夏懿航;侯勤胜设计研发完成,并于2025-02-24向国家知识产权局提交的专利申请。
本大模型辅助的程序功能自动感知模糊测试方法与系统在说明书摘要公布了:本发明提供了一种大模型辅助的程序功能自动感知模糊测试方法、系统、电子设备和计算机可读存储介质,该方法包括:获取待测试程序的源代码和说明文档;基于第一大模型对源代码和说明文档进行分析,以获取待测试程序所支持的所有功能参数;基于源代码和所提取的功能参数识别功能参数间的依赖关系和约束条件;基于功能参数间的依赖关系和约束条件执行模糊测试;基于第二大模型对模糊测试的测试结果进行自动化分析,以生成结构化报告。本发明可以优化模糊测试的覆盖率和有效性,全面保障复杂软件系统的质量和安全性。
本发明授权大模型辅助的程序功能自动感知模糊测试方法与系统在权利要求书中公布了:1.一种大模型辅助的程序功能自动感知模糊测试方法,其特征在于,包括: 获取待测试程序的源代码和说明文档; 基于第一大模型对所述源代码和所述说明文档进行分析,以获取所述待测试程序所支持的所有功能参数; 基于所述源代码和所述功能参数识别功能参数间的依赖关系和约束条件; 基于所述功能参数间的依赖关系和约束条件执行模糊测试; 基于第二大模型对所述模糊测试的测试结果进行自动化分析,以生成结构化报告; 所述基于所述源代码和所述功能参数识别功能参数间的依赖关系和约束条件,包括: 基于所述第一大模型和数据流分析方法对各功能参数的使用路径进行分析; 根据各功能参数的使用路径的分析结果,获取不同功能参数间的使用路径交集; 根据不同功能参数间的使用路径交集,构建以功能参数为节点的依赖关系图; 在所述依赖关系图的有向边上附加使用路径交集中的代码节点的信息; 使用第一大模型对不同功能参数间的使用路径交集中的代码节点的逻辑关系进行分析,以获取各个功能参数之间的约束条件; 将各个功能参数之间的约束条件整理成形式化的约束规则集合。
如需购买、转让、实施、许可或投资类似专利技术,可联系本专利的申请人或专利权人上海交通大学,其通讯地址为:200030 上海市徐汇区华山路1954号;或者联系龙图腾网官方客服,联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。