arrow
返回

Better Debugging via Output Tracing and Callstack-Sensitive Slicing

delete2010-01-01
delete17
delete
OA
AI
S
Susan Horwitz *
B
Ben Liblit
М
М. Поліщук
DOI:10.1109/TSE.2009.66delete
delete原文链接
delete分享
delete收藏
查看原文
摘要

摘要

En 中文
Debugging often involves 1) finding the point of failure (the first statement that produces bad output) and 2) finding and fixing the actual bug. Print statements and debugger break points can help with step 1. Slicing the program back from values used at the point of failure can help with step 2. However, neither approach is ideal: Debuggers and print statements can be clumsy and time-consuming and backward slices can be almost as large as the original program. This paper addresses both problems. We present callstack-sensitive slicing, which reduces slice sizes by leveraging the series of calls active when a program fails. We also show how slice intersections may further reduce slice sizes. We then describe a set of tools that identifies points of failure for programs that produce bad output. Finally, we apply our point-of-failure tools to a suite of buggy programs and evaluate callstack-sensitive slicing and slice intersection as applied to debugging. Callstack-sensitive slicing is very effective: On average, a callstack-sensitive slice is about 0.31 time the size of the corresponding full slice, down to just 0.06 time in the best case. Slice intersection is less impressive, on average, but may sometimes prove useful in practice.
Keyword:
Static program slicing
callstack-sensitive analysis
points of failure
output tracing and attribution
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.9K
被引数:
1.1W

机构

U
university of wisconsin madison
学者数:
3.8W
论文数: 2.9W
被引数: 53
University of Wisconsin System 封面图
University of Wisconsin System
学者数:
6.7W
论文数: 5.8W
被引数: 382
引用论文

引用论文

Far from Naturalness: How Much Does Spatial Ecological Structure of European Tree Assemblages Depart from Potential Natural Vegetation?
err2016-12-22
err0
errOAAI
errGiovanni Strona; Achille Mauri; Joseph A. Veech; Günther Seufert; Jesus San-Miguel Ayanz; Simone Fattorini
err分享
err收藏
err分享
err收藏
Intravesical bacille Calmette-Guérin therapy for muscle invasive bladder cancer
err1996-02-01
err0
PREAI
errRaymond S. Rosenbaum; Moonja-Chung Park; Jonathan Fleischmann
err分享
err收藏
LIF and CNTF, which share the gp130 transduction system, stimulate hepatic lipid metabolism in rats
err1996-09-01
err0
PREAI
errK. Nonogaki; X. M. Pan; A. H. Moser; J. Shigenaga; I. Staprans; N. Sakamoto; C. Grunfeld; K. R. Feingold
err分享
err收藏
High-dimensional single-cell cartography reveals novel skeletal muscle resident cell populations
err
IF0
err2018-04-19
err0
errOAAI
errLorenzo Giordani; Gary J. He; Elisa Negroni; Hiroshi Sakai; Justin Y. C. Law; M. Mona Siu; Raymond Wan; Shahragim Tajbakhsh; Tom H. Cheung; Fabien Le Grand
err分享
err收藏
Remote Sensing of Forest Health
err2009-10-01
err0
errOAAI
errJyrki Tuominen; Tarmo Lipping; Viljo Kuosmanen; Reija Haapane
err分享
err收藏
学者 查看更多内容