摘要
虽然缺陷定位技术和软件错误自动修复技术已经得到一定的发展,但是软件的修复工作仍然需要程序员投入大量的时间和精力。大多数开发者仍然使用传统调试技术(例如断点)来进行手工的调试,缺陷定位技术的研究成果并没有较好地运用到实际的修复工作中。近来,软件错误自动修复技术得到了快速的发展和广泛的关注。在软件错误自动修复工作中,利用缺陷定位技术自动定位错误代码是必需的,而定位的精度直接影响到补丁的生成,从而对修复的效果产生较大的影响。GenProg-FL工具可以接受不同的缺陷定位技术去自动修复故障程序。同样,使用GenProg-FL可以从软件自动修复的角度评估现有的基于程序谱的缺陷定位技术定位的有效性。
Although the technique of fault location and automated program repair have been developed in recent years, programmers still need to spend a lot of time and effort on repairing. Most developers still work with traditional debugging techniques such as breakpoints. The research results of fault location have not been applied in practical work of repairing. In recent years, the technique of automated program repair has been concerned and developed. In the work of automated software repair,using the technique of fault location to locate the bugs is a necessary activity and the accuracy of localization affects the generation of patches, which has a great impact on the effect of repair. GenProg-FL tool can use different techniques of fault location to repair programs. Also, GenProg-FL can be used to evaluate the effectiveness of fault location techniques.
出处
《计算机科学》
CSCD
北大核心
2014年第9期88-90,124,共4页
Computer Science
基金
国家自然科学基金(61379054)资助
作者简介
纪涛（1991-），男，硕士生，主要研究方向为软件自动修复，E-mail：jitao_91@163．com；
齐玉华（1986-），男，博士生，主要研究方向为软件自动修复、软件调试技术等；
毛晓光（1970-），男，博士，教授，博士生导师，主要研究方向为高可信软件技术、软件自动修复等。
