.png){kind=icon}
返回
A survey on algorithmic debugging strategies
.png){kind=icon}
OA
AI
DOI：10.1016/j.advengsoft.2011.05.024.png)
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Algorithmic debugging is a debugging technique that has been extended to practically all programming paradigms. Roughly speaking, the technique constructs an internal representation of all (sub)computations performed during the execution of a buggy program; and then, it asks the programmer about the correctness of such computations. The answers of the programmer guide the search for the bug until it is isolated by discarding correct parts of the program. After twenty years of research in algorithmic debugging many different techniques have appeared to improve the original proposal. Surprisingly, no study exists that joins together all these techniques and compares their advantages and their performance. This article presents a study that compares all current algorithmic debugging techniques and analyzes their differences and their costs. The research identifies the dimensions on which each strategy relies. This information allows us to combine the strong points of different strategies. (c) 2011 Elsevier Ltd. All rights reserved.
Keyword:
Debugging
Algorithmic debugging
Algorithmic debugging strategy
Divide & query
Execution tree
Software engineering
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
5.7
论文数:
3.4K
被引数:
1.2W
机构
暂无机构信息
引用论文
Eye-Catching Odors: Olfaction Elicits Sustained Gazing to Faces and Eyes in 4-Month-Old Infants.png)
PLoS ONE
OAAI
PLoS ONEIF0
OAAI分享收藏Calculating minimum discrepancy to assess the nestedness of species assemblages计算最小差异以评估物种集合的嵌套性
PREAI
分享收藏Managers’ Rules About Sex Workers’ Health and Safety in the Illicit Online Sex Market: Considering Profits and Risks经理关于在线非法性交易市场中性工作者健康与安全的规定：考虑利润与风险
PREAI
分享收藏The ovarian cycle in the natterjack toad, Bufo calamita, and its relation to breeding behaviour林蛙（Bufo calamita）的卵巢周期及其与繁殖行为的关系
PREAI
分享收藏 没有更多内容
没有更多内容