STATISTICAL BASED SLICING METHOD FOR PRIORITIZING PROGRAM FAULT RELEVANT STATEMENTS

被引:1
作者
Parsa, Saeed [1 ]
Vahidi-Asl, Mojtaba [1 ]
Zareie, Farzaneh [1 ]
机构
[1] Iran Univ Sci & Technol, Fac Comp Engn, Tehran, Iran
关键词
Fault localization; dynamic slicing; statistical debugging; clustering; Pearson; fault;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The aim of this paper is to integrate the strong points of statistical debugging and program slicing techniques for efficient program fault localization. The dynamic slices could be inappropriately large including redundant information considering that the statements are not ranked according to their fault relevance in the computed slice. On the other hand, the conventional statistical debugging techniques do not consider the dependence relationships between the faulty code (i.e., the cause) and the erroneous output (i.e., the effect). This information is very useful during the debugging. In this paper, a new method Stat-Slice for locating the latent bugs in programs is presented which could find a wider range of bugs, e.g. the omitted code faults, the header file faults, and etc., comparing with other techniques. Unlike the traditional program slicing techniques, the proposed method computes the backward dynamic slices of several failing and passing runs. Using K-means clustering in addition to a new ranking and pruning technique, we prioritize statements according to their likelihood to be the cause for failure. Our experiments on Siemens, grep, gzip, and flex test suites manifest that ranking statements according to their suspiciousness has considerably reduced the effort for fault localization.
引用
收藏
页码:823 / 857
页数:35
相关论文
共 31 条
[1]   A practical evaluation of spectrum-based fault localization [J].
Abreu, Rui ;
Zoeteweij, Peter ;
Golsteijn, Rob ;
van Gemund, Arjan J. C. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (11) :1780-1792
[2]   DEBUGGING WITH DYNAMIC SLICING AND BACKTRACKING [J].
AGRAWAL, H ;
DEMILLO, RA ;
SPAFFORD, EH .
SOFTWARE-PRACTICE & EXPERIENCE, 1993, 23 (06) :589-616
[3]  
[Anonymous], 2006, P 23 INT C MACHINE L
[4]  
Cunha JC, 2000, COMPUT ARTIF INTELL, V19, P495
[5]   Supporting controlled experimentation with testing techniques: An infrastructure and its potential impact [J].
Do, HS ;
Elbaum, S ;
Rothermel, G .
EMPIRICAL SOFTWARE ENGINEERING, 2005, 10 (04) :405-435
[6]  
Gorla A, 2010, COMPUT INFORM, V29, P93
[7]  
Gupta Neelam., 2005, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, ASE '05, P263
[8]  
Gyimóthy T, 1999, LECT NOTES COMPUT SC, V1687, P303, DOI 10.1145/318774.319248
[9]  
Jeffrey Dennis, 2008, P 2008 INT S SOFTW T, P167
[10]  
Jones J A., 2007, Debugging in parallel, P16, DOI DOI 10.1145/1273463.1273468