公开(公告)号：CN119415074A

公开(公告)日：2025-02-11

申请号：CN202411515816.8

申请日：2024-10-29

Applicant: 燕山大学

Inventor： 金顺福 ,  杨博洋 ,  刘凤玲

IPC: G06F8/30 ,  G06F11/3668 ,  G06N5/04

Abstract: 本发明公开一种基于大语言模型的最小化修改程序修复方法、装置及系统和存储介质，其中方法包括：获取待修复程序和问题描述；初始化修改行数限制为1，设置大语言模型的温度为0；确定当前缺陷代码的所有信息；基于设定的最大修改行数，利用大语言模型进行推理生成修复结果；利用测试用例验证修复结果的正确性；在修复结果正确的情况下，将正确的修复结果保存至数据库，在修复结果错误的情况下，并令修改行数加1，大语言模型重新基于当前缺陷代码的所有信息进行推理，更新修复结果，并利用测试用例验证更新的修复结果的正确性；若当前修改行数大于设定的最大修改行数，则直接结束修复流程。本发明的方法可以有效提高程序修复正确性。

公开(公告)号：CN120066836A

公开(公告)日：2025-05-30

申请号：CN202510149052.3

申请日：2025-02-11

Applicant: 燕山大学

Inventor： 金顺福 ,  杨博洋 ,  刘凤玲

IPC: G06F11/07 ,  G06F11/3668 ,  G06F40/30 ,  G06F21/64

Abstract: 本申请提供一种软件缺陷自动修复方法、装置、设备及存储介质。涉及程序自动修复技术领域。该方法包括问题描述和代码仓库的输入预处理、基于函数签名的分层定位、修复方案的生成与验证的步骤。代码仓库经过代码仓库预处理后配合输入的缺陷描述信息进行第一轮缺陷函数定位，定位的缺陷函数作为候选函数，如果定位的缺陷函数的数量未达到五个，则进行缺陷文件定位后进行第二轮缺陷函数定位，保证定位的缺陷函数至少达到五个，基于至少五个所定位的缺陷函数生成修复方案，并对修复方案进行验证/测试，得到一个唯一的最优方案，基于该唯一的最优方案对缺陷的软件进行自动修复。本申请既保证了定位的准确性，又通过动态调整分析层级提高了效率。