基于变异和约束求解的程序缺陷自动修复方法

作     者：董兰 洪玫 伍佳 DONG Lan;HONG Mei;WU Jia

作者机构：四川大学计算机学院(软件学院)四川成都610065 

基　　金：国家重点研发计划基金项目(2020YFB1711801) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2024年第45卷第1期

页      码：88-94页

摘      要：为能正确高效地生成修复补丁,针对Java程序中出现频率较高的条件语句相关缺陷修复问题,将启发式搜索方法与语义约束求解方法相结合,提出一个有针对性、更高效的解决方案。针对条件语句缺失错误,采用基于组件的程序合成技术,合成满足约束的候选条件语句;针对条件语句逻辑表达式错误,采用变异技术,生成候选逻辑表达式;针对条件语句逻辑表达式错误中,不能用变异技术修复的缺陷,使用基于组件的约束求解方法生成候选补丁。实验结果表明,所提方法有更高的补丁召回率和准确率。

主 题 词：程序自动修复 变异分析 约束求解 程序合成 条件语句缺陷 补丁生成 软件调试 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2024.01.012

馆 藏 号：203125431...