Statistical Debugging: A Hypothesis Testing-Based Approach
Chao Liu
Long Fei
Xifeng Yan
Jiawei Han
Midkiff, S.P.
Dept. of Comput. Sci., Illinois Univ., Urbana, IL;
This paper appears in: Software Engineering, IEEE Transactions on
Publication Date: Oct. 2006
Volume: 32,
Issue: 10
On page(s): 831-848
Location: San Francisco, CA, USA,
ISSN: 0098-5589
INSPEC Accession Number: 9170211
Digital Object Identifier: 10.1109/TSE.2006.105
Current Version Published: 2006-10-30
Abstract
Manual debugging is tedious, as well as costly. The high cost has motivated the development of fault localization techniques, which help developers search for fault locations. In this paper, we propose a new statistical method, called SOBER, which automatically localizes software faults without any prior knowledge of the program semantics. Unlike existing statistical approaches that select predicates correlated with program failures, SOBER models the predicate evaluation in both correct and incorrect executions and regards a predicate as fault-relevant if its evaluation pattern in incorrect executions significantly diverges from that in correct ones. Featuring a rationale similar to that of hypothesis testing, SOBER quantifies the fault relevance of each predicate in a principled way. We systematically evaluate SOBER under the same setting as previous studies. The result clearly demonstrates the effectiveness: SOBER could help developers locate 68 out of the 130 faults in the Siemens suite by examining no more than 10 percent of the code, whereas the cause transition approach proposed by Holger et al. [2005] and the statistical approach by Liblit et al. [2005] locate 34 and 52 faults, respectively. Moreover, the effectiveness of SOBER is also evaluated in an "imperfect world", where the test suite is either inadequate or only partially labeled. The experiments indicate that SOBER could achieve competitive quality under these harsh circumstances. Two case studies with grep 2.2 and bc 1.06 are reported, which shed light on the applicability of SOBER on reasonably large programs
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
