论文标题
回声欺诈中的第一个基础架构和实验
First Infrastructure and Experimentation in Echo-debugging
论文作者
论文摘要
随着应用程序的开发,不可避免地会引入错误。通常,尚不清楚为什么给定代码更改引入给定的错误。为了找到这种因果关系并更有效地调试,开发人员可以在没有错误的情况下利用代码的先前版本的存在。但是,传统的调试工具不是为此类型的工作而设计的,这使此操作变得乏味。在本文中,我们建议作为探索性工作Echo-debugger,一种并行调试两个不同执行的工具,以及收敛差异映射(CDM)算法,以找到所有执行的控制流差异和收敛。在这项探索性工作中,我们介绍了该工具的体系结构以及解决非琐碎错误的场景。
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.