Explaining software failures by cascade fault localization
Access Status
Authors
Date
2015Type
Metadata
Show full item recordCitation
Source Title
DOI
ISSN
School
Collection
Abstract
© 2015 ACM. During software debugging, a significant amount of effort is required for programmers to identify the root cause of a manifested failure. In this article, we propose a cascade fault localization method to help speed up this labor-intensive process via a combination of weakest precondition computation and constraint solving. Our approach produces a cause tree, where each node is a potential cause of the failure and each edge represents a casual relationship between two causes. There are two main contributions of this article that differentiate our approach from existing methods. First, our method systematically computes all potential causes of a failure and augments each cause with a proper context for ease of comprehension by the user. Second, our method organizes the potential causes in a tree structure to enable on-the-fly pruning based on domain knowledge and feedback from the user. We have implemented our new method in a software tool called CaFL, which builds upon the LLVM compiler and KLEE symbolic virtual machine. We have conducted experiments on a large set of public benchmarks, including real applications from GNU Coreutils and Busybox. Our results show that in most cases the user has to examine only a small fraction of the execution trace before identifying the root cause of the failure.
Related items
Showing items related by title, author, creator and subject.
-
Sahle, B.; Owen, A.; Reid, Christopher (2015)Background: Heart failure is a global public health problem. Its prevalence is projected to rise due to an increase in population aging. Although there are no nationally representative population-based estimates, individual ...
-
Davidson, Patricia; Cockburn, J.; Newton, Phillip; Webster, J.; Betihavas, Vasiliki; Howes, L.; Owensby, D. (2010)Background. Heart failure is a common and costly condition, particularly in the elderly. A range of models of interventions have shown the capacity to decrease hospitalizations and improve health-related outcomes. ...
-
Higashiyama, Y.; Rumchev, Ventsi (2010)A recursive formula is given for calculating the failure probability for circular consecutive– k-out–of– n :F systems such that isolated strings of failures of length less than (which do not cause system failure) do not ...