A Survey on Software Fault Localization

被引：728
作者：
Wong, W. Eric [1 ,2 ]
Gao, Ruizhi [2 ]
Li, Yihao [2 ]
Abreu, Rui [3 ,4 ]
Wotawa, Franz [5 ]
机构：
[1] Wuhan Univ, State Key Lab Software Engn, Wuhan, Peoples R China
[2] Univ Texas Dallas, Dept Comp Sci, Richardson, TX 75083 USA
[3] Univ Porto, Dept Informat Engn, Rua Campo Alegre 823, P-4100 Oporto, Portugal
[4] PARC, Palo Alto, CA USA
[5] Graz Univ Technol, Inst Software Technol, A-8010 Graz, Austria
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 2016年 / 42卷 / 08期
关键词：
Software fault localization; program debugging; software testing; execution trace; suspicious code; survey; PROGRAM BEHAVIOR; SPECTRUM; MODEL; CODE; EFFICIENT; MUTATION; SLICES; INFORMATION; CORRECTNESS; DIAGNOSIS;
D O I：
10.1109/TSE.2016.2521368
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Software fault localization, the act of identifying the locations of faults in a program, is widely recognized to be one of the most tedious, time consuming, and expensive - yet equally critical - activities in program debugging. Due to the increasing scale and complexity of software today, manually locating faults when failures occur is rapidly becoming infeasible, and consequently, there is a strong demand for techniques that can guide software developers to the locations of faults in a program with minimal human intervention. This demand in turn has fueled the proposal and development of a broad spectrum of fault localization techniques, each of which aims to streamline the fault localization process and make it more effective by attacking the problem in a unique way. In this article, we catalog and provide a comprehensive overview of such techniques and discuss key issues and concerns that are pertinent to software fault localization as a whole.
引用
收藏
页码：707 / 740
页数：34
相关论文
共 423 条
[1]   Header and unit inference for spreadsheets through spatial analyses [J].
Abraham, R ;
Erwig, M .
2004 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN CENTRIC COMPUTING: PROCEEDINGS, 2004, :165-172
[2]   UCheck: A spreadsheet type checker for end users [J].
Abraham, Robin ;
Erwig, Martin .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2007, 18 (01) :71-95
[3]  
Abraham R, 2007, PROC INT CONF SOFTW, P251
[4]  
Abramson D., 1995, 8 INT C HIGH PERF CO
[5]  
Abreu R., 2010, 6 INT C PRED MOD SOF
[6]  
Abreu R, 2009, P 2009 ACM S APPL CO, P409, DOI DOI 10.1145/1529282.1529374
[7]   On the accuracy of spectrum-based fault localization [J].
Abreu, Rui ;
Zoeteweij, Peter ;
van Gemund, Arjan J. C. .
TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, :89-+
[8]  
Abreu R, 2006, 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, P39
[9]   Using constraints to diagnose faulty spreadsheets [J].
Abreu, Rui ;
Hofer, Birgit ;
Perez, Alexandre ;
Wotawa, Franz .
SOFTWARE QUALITY JOURNAL, 2015, 23 (02) :297-322
[10]   Localizing Software Faults Simultaneously [J].
Abreu, Rui ;
Zoeteweij, Peter ;
van Gemund, Arjan J. C. .
2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, :367-376
12345678910