期刊
ACM SIGPLAN NOTICES
卷 38, 期 5, 页码 141-154出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/780822.781148
关键词
bug isolation; random sampling; assertions; feature selection; statistical debugging; logistic regression
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program's user community. Several example applications illustrate ways to use sampled instrumentation to isolate bugs. Assertion-dense code can be transformed to share the cost of assertions among many users. Lacking assertions, broad guesses can be made about predicates that predict program errors and a process of elimination used to whittle these down to the true bug. Finally, even for non-deterministic bugs such as memory corruption, statistical modeling based on logistic regression allows us to identify program behaviors that are strongly correlated with failure and are therefore likely places to look for the error.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据