-
公开(公告)号:CN117971534A
公开(公告)日:2024-05-03
申请号:CN202311719198.4
申请日:2023-12-14
Applicant: 湖南大学
IPC: G06F11/07
Abstract: 本发明聚焦于内核缺陷修复领域,具体内容涉及到利用LLM这种大语言模型进行内核缺陷修复。提供一种高效可靠的、结合反馈信息以生成补丁的内核缺陷修复方法。本发明方法包括:通过系统消息初始化ChatGPT;将内核缺陷代码和历史缺陷修复示例输入给ChatGPT,引导其成为内核缺陷修复模型;构建包含内核缺陷代码和测试失败信息的初始提示,并指示ChatGPT根据初始提示生成候选补丁;在获得候选补丁后,重复会话修复过程,直到生成一个可以通过测试的可信补丁;最后利用已经获得的可信补丁列表,生成出更加合理的正确补丁。
-
公开(公告)号:CN119759765A
公开(公告)日:2025-04-04
申请号:CN202411807062.3
申请日:2024-12-10
Applicant: 湖南大学
IPC: G06F11/3668 , G06F11/362
Abstract: 本发明公开了一种数据库测试方法及系统。通过对数据库进行模糊测试,不断输SQL语句,观察覆盖率的变化。记录覆盖率上升的梯度,当SQL持续变异但覆盖率保持稳定时,说明该SQL的变异无法进一步深入代码逻辑。此时回退到覆盖率上升梯度最高的语句以及当时的数据库状态,重新开始变异,继续尝试探索更高的代码覆盖率。该方法能够有效提高数据库测试的效率和代码覆盖率,为数据库的稳定性和可靠性提供有力保障。
-