这种错误发现技术的名称是什么，是否存在自动化程序？

Question

让我们说我有一些巨大的程序P我知道它有一个错误：当我用参数A运行它时会打印出丑陋的错误消息E 。在shell表示法中，会发生这种情况：

$ ./P A
E
$

现在我不知道导致这个错误的原因，但它似乎是确定性的。我找到错误的方法是＆＃34;隔离＆＃34;它。我＆＃34;减少＆＃34;程序P到＆＃34;最小的＆＃34;给定参数E仍然生成错误A的版本。通过＆＃34; reduce＆＃34;，我的意思是我将删除程序的一部分并手动内联函数，在P A --> E的每个阶段进行测试，而不是成功响应或其他错误消息。一旦我无法再减少它，我有一个小程序可能会成为问题的核心。

这个过程相当机械化：它不需要太多的洞察力和＃34;对我而言。感觉它可以自动完成：可能有一些程序X，给定P，A和E，吐出最小的程序{{1} } P'缩小为P和P'。

那么，这个策略是否有一个名称，并且它在任何意义上都适用于任何编程语言？

Answer 1

Finally stumbled over something that answers my question!显然，这种技术被称为“减少”或“最小化”。参见：

• CReduce，执行我所描述的缩减的通用版本，专门用于C程序。
• Delta，一个非常类似的计划。
• DustMite，另一个类似的程序，用于最小化D程序。
• Delta debugging，一个描述一般过程的页面。
海湾合作委员会维基上的
• A Guide to Testcase Reduction。