Title

Anomaly-Based Bug Prediction, Isolation, and Validation: An Automated Approach for Software Debugging

Authors

Authors

M. Dimitrov;H. Y. Zhou

Comments

Authors: contact us about adding a copy of your work at STARS@ucf.edu

Abstract

Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to locate the defects are typically nontrivial and time consuming. In this paper, we propose a novel automated approach to pin-point the root-causes of software failures. Our proposed approach consists of three steps. The first step is bug prediction, which leverages the existing work on anomaly-based bug detection as exceptional behavior during program execution has been shown to frequently point to the root cause of a software failure. The second step is bug isolation, which eliminates false-positive bug predictions by checking whether the dynamic forward slices of bug predictions lead to the observed program failure. The last step is bug validation, in which the isolated anomalies are validated by dynamically nullifying their effects and observing if the program still fails. The whole bug prediction, isolation and validation process is fully automated and can be implemented with efficient architectural support. Our experiments with 6 programs and 7 bugs, including a real bug in the gcc 2.95.2 compiler, show that our approach is highly effective at isolating only the relevant anomalies. Compared to state-of-art debugging techniques, our proposed approach pinpoints the defect locations more accurately and presents the user with a much smaller code set to analyze.

Journal Title

Acm Sigplan Notices

Volume

44

Issue/Number

3

Publication Date

1-1-2009

Document Type

Article

First Page

61

Last Page

72

WOS Identifier

WOS:000266820200006

ISSN

0362-1340

Share

COinS