首页> 中文期刊> 《中国科学》 >A manual inspection of Defects4J bugs and its implications for automatic program repair

A manual inspection of Defects4J bugs and its implications for automatic program repair

         

摘要

Automatic program repair techniques, which target to generate correct patches for real-world defects automatically, have gained a lot of attention in the last decade. Many different techniques and tools have been proposed and developed. However, even the most sophisticated automatic program repair techniques can only repair a small portion of defects while producing a large number of incorrect patches.A possible reason for the low performance is the test suites of real-world programs are usually too weak to guarantee the behavior of a program. To understand to what extent defects can be fixed with exiting test suites, we manually analyzed 50 real-world defects from Defects4J, where a large portion(i.e., 82%) of them were correctly fixed. This result suggests that there is much room for the current automatic program repair techniques to improve. Furthermore, we summarized seven fault localization and seven patch generation strategies that are useful in localizing and fixing these defects, and compared those strategies with current techniques. The results indicate potential directions to improve automatic program repair in the future.

著录项

  • 来源
    《中国科学》 |2019年第10期|31-46|共16页
  • 作者单位

    1. Key Laboratory of High Confidence Software Technologies;

    Ministry of Education;

    Institute of Software 2. Department of Computer Science and Technology;

    Peking University 3. The Faculty of Information Technology;

    Monash University;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 软件工程;
  • 关键词

获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号