计算机程序中的因果关系

摘要：

故障诊断通常被理解为查找并修复问题的原因。“原因”是什么意思？我们如何找到原因？我们如何证明一个原因是一个原因--甚至是“那个”原因？本文定义了调试中的常用术语，强调了主要技术，它们的能力和局限性。

英文摘要：

Debugging is commonly understood as finding and fixing the cause of a problem. But what does ``cause'' mean? How can we find causes? How can we prove that a cause is a cause--or even ``the'' cause? This paper defines common terms in debugging, highlights the principal techniques, their capabilities and limitations.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。