10.19665/j.issn1001-2400.2020.04.016
一种基于规则的自动程序修复方法
为解决基于测试集自动程序修复方法修复缺陷正确率低的问题,提出一种基于规则的自动程序修复方法——RuleFix.该方法首先通过挖掘代码中的隐式编程规则定位缺陷位置,然后根据隐式编程规则选取合适的补丁,最后采用程序合成工具对补丁进行校验以保证修复结果的正确性.此外,为解决现有规则挖掘算法无法有效挖掘低频规则的问题,提出一种低频规则挖掘算法,根据已有规则推演生成新的规则,以提升规则挖掘的能力.基于所提方法实现了原型工具,并与现有的自动程序修复方法进行对比.实验结果表明,与现有的GenProg和PAR方法相比,所提方法有明显更高的修复率和正确率.
自动程序修复、基于规则、静态分析、测试集
47
TP309(计算技术、计算机技术)
国家自然科学基金;广东省重点领域研发计划;广东省数据安全与隐私保护重点实验室;广东省基础与应用基础研究基金;广东省自然科学基金;广州市科技计划;中央高校基本科研业务费专项资金;信息安全国家重点实验室开放课题;广东省信息安全技术重点实验室开放基金;广东省智能信息处理重点实验室/深圳市媒体信息内容安全重点实验室开放基金
2020-09-04(万方平台首次上网日期,不代表论文的发表时间)
共7页
117-123