Evolutionary repair of faulty software

被引:67
作者
Arcuri, Andrea [1 ]
机构
[1] Simula Res Lab, Lysaker, Norway
基金
英国工程与自然科学研究理事会;
关键词
Repair; Fault localization; Automated debugging; Genetic programming; Search Based Software Engineering; Coevolution; SEARCH; BUGS;
D O I
10.1016/j.asoc.2011.01.023
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
Testing and fault localization are very expensive software engineering tasks that have been tried to be automated. Although many successful techniques have been designed, the actual change of the code for fixing the discovered faults is still a human-only task. Even in the ideal case in which automated tools could tell us exactly where the location of a fault is, it is not always trivial how to fix the code. In this paper we analyse the possibility of automating the complex task of fixing faults. We propose to model this task as a search problem, and hence to use for example evolutionary algorithms to solve it. We then discuss the potential of this approach and how its current limitations can be addressed in the future. This task is extremely challenging and mainly unexplored in the literature. Hence, this paper only covers an initial investigation and gives directions for future work. A research prototype called JAFF and a case study are presented to give first validation of this approach. (C) 2011 Elsevier B.V. All rights reserved.
引用
收藏
页码:3494 / 3514
页数:21
相关论文
共 84 条
[1]  
Agrawal H, 1995, SIXTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, P143, DOI 10.1109/ISSRE.1995.497652
[2]   Using mutation analysis for assessing and comparing testing coverage criteria [J].
Andrews, James H. ;
Briand, Lionel C. ;
Labiche, Yvan ;
Namin, Akbar Siami .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2006, 32 (08) :608-624
[3]  
[Anonymous], P EUR C GEN PROGR EU
[4]  
[Anonymous], IEEE ACM INT C AUD S
[5]  
[Anonymous], ACM SIGPLAN C PROGR
[6]  
[Anonymous], 1999, Behavioral Specifications of Businesses and Systems
[7]  
[Anonymous], 1992, The Z Notation
[8]  
[Anonymous], S TRENDS FUNCT PROGR
[9]  
[Anonymous], C CORR HARDW DES VER
[10]  
[Anonymous], HAIF VER C