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

龙图腾网获悉华南理工大学申请的专利一种结合可执行不变式与差分信号的自动程序修复方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121255253B 。

龙图腾网通过国家知识产权局官网在2026-03-06发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511811491.2，技术领域涉及：G06F8/658；该发明授权一种结合可执行不变式与差分信号的自动程序修复方法是由王劭晟;洪超;陆璐设计研发完成，并于2025-12-04向国家知识产权局提交的专利申请。

本一种结合可执行不变式与差分信号的自动程序修复方法在说明书摘要公布了：本发明涉及程序修复技术领域，为一种结合可执行不变式与差分信号的自动程序修复方法，包括：接收待修复程序及测试集，调用大语言模型生成多个候选补丁；根据修复意图说明形成条目化行为规范清单；生成若干可执行不变式断言并注入至目标函数或调用点，生成不变式断言注入记录表；基于大语言模型生成覆盖边界条件与异常场景的测试用例；在运行所述候选补丁时采集执行信号；把补丁差异转为语义编辑特征并计算编辑稳定性指标，根据规范条的支持度计算候选补丁的总体语义一致性分；计算候选补丁的总体综合得分，根据候选补丁的总体综合得分输出最优补丁。本发明能够有效降低过拟合补丁的比例，提升修复补丁的正确率，可解释性强和通用性好。

本发明授权一种结合可执行不变式与差分信号的自动程序修复方法在权利要求书中公布了：1.一种结合可执行不变式与差分信号的自动程序修复方法，其特征在于，该方法包括以下步骤： S1、接收待修复程序及测试集，调用大语言模型生成多个候选补丁； S2、利用大语言模型生成修复意图说明，根据修复意图说明形成条目化行为规范清单； S3、基于所述大语言模型生成若干可执行不变式断言并注入至目标函数或调用点，生成不变式断言注入记录表； S31、基于所述大语言模型生成若干可执行不变式断言，不变式断言包括：入口不变式断言、出口不变式断言、过程内不变式断言； S32、根据修复意图说明中的输入约束、输出约束及内部逻辑要求，在调用点或目标函数内部注入相应的入口不变式断言和出口不变式断言； S33、在不变式断言注入时，对每条不变式断言附断言编号与语义标签，不变式断言注入完成后形成不变式断言注入记录表； S4、依据修复意图说明中的示例与边界处理要求，基于大语言模型生成覆盖边界条件与异常场景的测试用例； S5、基于不变式断言注入记录表以及测试用例，在运行所述候选补丁时采集执行信号，所述执行信号包括覆盖率差分、异常分布、不变式断言触发情况及返回值分布； S6、将条目化行为规范清单与候选补丁的差异和运行日志进行语义一致性对齐，把补丁差异转为语义编辑特征并计算编辑稳定性指标，根据规范条的支持度计算候选补丁的总体语义一致性分； S7、基于执行信号、编辑稳定性指标、总体语义一致性分计算候选补丁的总体综合得分，根据候选补丁的总体综合得分输出最优补丁。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人华南理工大学，其通讯地址为：510640 广东省广州市天河区五山路381号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

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