Explaining software failures by cascade fault localization
MetadataShow full item record
© 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.
Showing items related by title, author, creator and subject.
Epidemiology, hospitalization and health care costs from heart failure in Australia: A systematic reviewSahle, 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 ...
Can a heart failure-specific cardiac rehabilitation program decrease hospitalizations and improve outcomes in high-risk patients?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 ...