Holmes: Effective Statistical Debugging via Efficient Path Profiling

This research was conducted by Trishul Chilimbi, Ben Liblit, Krishna Mehra, Aditya Nori, and Kapil Vaswani. The paper appeared in the ACM SIGSOFT / IEEE 31st International Conference on Software Engineering (ICSE 2009).

Abstract

Statistical debugging aims to automate the process of isolating bugs by profiling several runs of the program and using statistical analysis to pinpoint the likely causes of failure. In this paper, we investigate the impact of using richer program profiles such as path profiles on the effectiveness of bug isolation. We describe a statistical debugging tool called Holmes that isolates bugs by finding paths that correlate with failure. We also present an adaptive version of Holmes that uses iterative, bug-directed profiling to lower execution time and space overheads. We evaluate Holmes using programs from the SIR benchmark suite and some large real world applications. Our results indicate that path profiles can help isolate bugs more precisely by providing more information about the context in which bugs occur. Moreover, bug-directed profiling can efficiently isolate bugs with low overheads, providing a scalable and accurate alternative to sparse random sampling.

Full Paper

The full paper is available as a single PDF document. A suggested BibTeX citation record is also available.

Affiliated External Project

The Microsoft Research Holmes project page has additional information on this work, including links to coauthor pages and a related technical report.