买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉中南大学申请的专利一种思维链迭代验证驱动的软件缺陷定位方法与系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121412101B 。

龙图腾网通过国家知识产权局官网在2026-03-20发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202512032048.1，技术领域涉及：G06F11/362；该发明授权一种思维链迭代验证驱动的软件缺陷定位方法与系统是由任胜兵;李遇龙;姜权;罗焕设计研发完成，并于2025-12-30向国家知识产权局提交的专利申请。

本一种思维链迭代验证驱动的软件缺陷定位方法与系统在说明书摘要公布了：本申请公开了一种思维链迭代验证驱动的软件缺陷定位方法与系统，思维链迭代验证驱动的软件缺陷定位方法包括确定第一推理代码的第一代码行集合和第一SMT形式化验证结果，基于测试用例、第一置信度得分、第一代码行集合和第一SMT形式化验证结果，确定第一综合置信度得分，基于待检测软件源码、测试用例、第一SMT形式化验证结果和第一代码行集合，通过训练好的大语言模型，确定第二定位结果、第二推理代码和第二定位结果的第二置信度得分，依此类推，并从第一综合置信度得分至第N综合置信度得分中，筛选出最大值对应的定位结果作为待检测软件源码的软件缺陷定位结果，提高了软件缺陷定位的准确性。

本发明授权一种思维链迭代验证驱动的软件缺陷定位方法与系统在权利要求书中公布了：1.一种思维链迭代验证驱动的软件缺陷定位方法，其特征在于，所述思维链迭代验证驱动的软件缺陷定位方法包括： 获取待检测软件源码、所述待检测软件源码的测试用例和所述待检测软件源码的缺陷报告； 基于所述待检测软件源码、所述测试用例和所述缺陷报告，通过训练好的大语言模型，确定第一定位结果、第一推理代码和所述第一定位结果的第一置信度得分； 通过语法树生成器和SMT求解器，确定所述第一推理代码的第一代码行集合和第一SMT形式化验证结果，其中，所述第一代码行集合为证明核心映射的代码行集合； 基于所述测试用例、所述第一置信度得分、所述第一代码行集合和第一SMT形式化验证结果，确定第一综合置信度得分，具体为： 在获取错误堆栈跟踪的包名的情况下，基于所述包名，确定第一过滤后代码行集合，其中，所述第一过滤后代码行集合为当前目标项目在所述待检测软件源码中对应的代码行，所述当前目标项目为基于所述包名，对所述错误堆栈跟踪进行过滤得到； 基于所述第一过滤后代码行集合和所述第一代码行集合，确定第一静态证明覆盖率； 确定第一状态变迁数，其中，所述第一状态变迁数为统计得到的执行轨迹的状态变迁总数，所述执行轨迹为在执行所述测试用例的情况下，通过运行时监视器记录所述测试用例得到的轨迹； 确定第二状态变迁数，其中，所述第二状态变迁数为通过所述运行时监视器，将所述执行轨迹和第一SMT规约脚本进行匹配，得到的匹配一致的状态变迁总数； 基于所述第一状态变迁数和所述第二状态变迁数，确定第一动态轨迹一致性分数； 确定所述第一SMT形式化验证结果对应的第一形式化验证得分； 基于所述第一置信度得分、所述第一静态证明覆盖率、所述第一动态轨迹一致性分数和所述第一形式化验证得分，确定所述第一综合置信度得分； 基于所述待检测软件源码、所述测试用例、所述第一SMT形式化验证结果和所述第一代码行集合，通过训练好的大语言模型，确定第二定位结果、第二推理代码和所述第二定位结果的第二置信度得分，通过语法树生成器和SMT求解器，确定第二推理代码的第二代码行集合和第二SMT形式化验证结果；基于所述测试用例、所述第二置信度得分、所述第二代码行集合和第二SMT形式化验证结果，确定第二综合置信度得分；依此类推，直至确定第N定位结果和第N综合置信度得分，其中，所述N为预设迭代次数，所述基于所述待检测软件源码、所述测试用例、所述第一SMT形式化验证结果和所述第一代码行集合，通过训练好的大语言模型，确定第二定位结果、第二推理代码和所述第二定位结果的第二置信度得分，包括： 在基于所述测试用例确定所述第一动态轨迹一致性分数，且基于所述第一代码行集合确定所述第一静态证明覆盖率的情况下，基于所述第一动态轨迹一致性分数、所述第一静态证明覆盖率和所述第一SMT形式化验证结果，通过第二预设提示词模板生成第二提示词； 基于所述待检测软件源码和工具函数，将所述第二提示词输入所述训练好的大语言模型，以得到所述训练好的大语言模型输出的所述第二定位结果、所述第二推理代码和所述第二定位结果的第二置信度得分； 从所述第一综合置信度得分至所述第N综合置信度得分中，筛选出最大值，并将所述最大值作为最优综合置信度得分，将所述最优综合置信度得分对应的定位结果作为所述待检测软件源码的软件缺陷定位结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中南大学，其通讯地址为：410083 湖南省长沙市岳麓区麓山南路932号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。