当前位置: X-MOL 学术arXiv.cs.PL › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
First Infrastructure and Experimentation in Echo-debugging
arXiv - CS - Programming Languages Pub Date : 2020-11-09 , DOI: arxiv-2011.04655
Thomas Dupriez (CNRS, CRIStAL, RMOD), Steven Costiou (CNRS, CRIStAL, RMOD), St\'ephane Ducasse (CNRS, CRIStAL, RMOD)

As applications get developed, bugs inevitably get introduced. Often, it is unclear why a given code change introduced a given bug. To find this causal relation and more effectively debug, developers can leverage the existence of a previous version of the code, without the bug. But traditional debug-ging tools are not designed for this type of work, making this operation tedious. In this article, we propose as exploratory work the echo-debugger, a tool to debug two different executions in parallel, and the Convergence Divergence Mapping (CDM) algorithm to locate all the control-flow divergences and convergences of these executions. In this exploratory work, we present the architecture of the tool and a scenario to solve a non trivial bug.

中文翻译:

回声调试中的第一个基础设施和实验

随着应用程序的开发,不可避免地会引入错误。通常,不清楚为什么给定的代码更改会引入给定的错误。为了找到这种因果关系并更有效地进行调试,开发人员可以利用没有错误的先前版本代码的存在。但是传统的调试工具并不是为这种类型的工作而设计的,使得这种操作很乏味。在本文中,我们提出了作为探索性工作的 echo-debugger,一种并行调试两个不同执行的工具,以及用于定位这些执行的所有控制流发散和收敛的收敛发散映射 (CDM) 算法。在这项探索性工作中,我们展示了该工具的架构和解决一个重要错误的场景。
更新日期:2020-11-11
down
wechat
bug