Contextualizing spectrum-based fault localization

Autor(es)

de Souza, Higor A. ^[1] ; Mutti, Danilo ^[2] ; Chaim, Marcos L. ^[2] ; Kon, Fabio ^[1]

Afiliação do(s) autor(es)

^[1] Univ Sao Paulo, Dept Comp Sci, Inst Math & Stat, BR-05508090 Sao Paulo, SP - Brazil

^[2] Univ Sao Paulo, Sch Arts Sci & Humanities, Rua Arlindo Bettio 1000, BR-03828000 Sao Paulo, SP - Brazil

• Tipo de documento: Artigo Científico
• Fonte: INFORMATION AND SOFTWARE TECHNOLOGY; v. 94, p. 245-261, FEB 2018.
• Citações Web of Science: 2

Resumo

Context Fault localization is among the most expensive tasks in software development. Spectrum-based fault localization (SFL) techniques seek to pinpoint faulty program elements (e.g., statements), by sorting them only by their suspiciousness scores. Developers tend to fall back on another debugging strategy if they do not find the bug in the first positions of a suspiciousness list. Objective: In this study, we assess techniques to contextualize code inspection whose goal is two-fold: to provide guidance during fault localization, and to improve the effectiveness of SFL techniques in classifying bugs within the first picks. Code Hierarchy (CH) and Integration Coverage-based Debugging (ICD) techniques provide a search roadmap-a list of methods-that guide the developer toward faults. CH assigns a method with the highest suspiciousness score of its blocks, and ICD captures method call relationships from testing to establish the roadmap. Two new filtering strategies-Fixed Budget (FB) and Level Score (LS)-are combined with ICD and CH for reducing the amount of blocks to inspect in each method. Method: We evaluated the effectiveness of ICD, CH, FB, LS, and a suspiciousness block list (BL) on 62 bugs from 7 real programs. Results: ICD and CH using FB found more faults inspecting less blocks than BL with statistical significance. More than 50% of the faults were found inspecting at most 10 blocks using ICD-FB and CH-FB. Moreover, ICD and CH located 70% of the faults by inspecting, at most, 4 methods. Conclusions: These results suggest that the contextualization provided by roadmaps and filtering strategies is useful for guiding developers toward faults and improves the performance of SFL techniques. (AU)

• Processo FAPESP: 13/24992-2 - Localização de Defeitos em Depuração Automatizada
• Beneficiário: Higor Amario de Souza
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Processo FAPESP: 14/23030-5 - Avaliação do uso prático de técnica de localização de defeitos
• Beneficiário: Higor Amario de Souza
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado