Paper Info
Title
On the equivalence of certain fault localization techniques
Abstract
Software fault localization is an expensive component of program debugging, and thus, many different types of fault localization techniques have been proposed over the recent years. Such techniques aim to rank program components (such as statements, blocks, functions, etc.) in decreasing order of their likelihood of being faulty, such that programmers may then examine the ranking starting from the top, until a fault is found. However, comparisons between fault localization techniques (to see which one is more effective) have generally been based on case studies and empirical data. In this paper we propose an equivalence relation by virtue of which two or more fault localization techniques may be considered equivalent if they produce identical rankings of program components, and are therefore, equally as effective. We then make use of the proposed equivalence relation to prove that several similarity coefficient-based fault localization techniques are in fact equivalent to one another. Furthermore, no case studies and/or data were required for any of the proofs of equivalency provided in this paper.
Year
DOI
Venue
2011
10.1145/1982185.1982498
SAC
Keywords
Field
DocType
certain fault localization technique,software fault localization,fault localization technique,program debugging,equivalence relation,program component,fact equivalent,empirical data,case study,proposed equivalence relation,similarity coefficient-based fault localization
Software fault,Equivalence relation,Ranking,Computer science,Algorithm,Theoretical computer science,Equivalence (measure theory),Mathematical proof,Debugging
Conference
Citations 
PageRank 
References 
6
0.55
7
Authors
2
Name
Order
Citations
PageRank
Vidroha Debroy149320.20
W. Eric Wong260.55