简化和隔离导致失败的输入

给定一个测试用例，程序发生失败。测试用例中的哪些情况导致了特定的失败？增量调试算法将失败的测试用例概括并简化为一个仍然会导致失败的最小测试用例。它还隔离了通过和失败测试用例之间的差异。在一个案例研究中，Mozilla网络浏览器在95次用户操作后崩溃。我们的原型实现自动将输入简化为三个相关的用户操作。同样，它将896行HTML简化为导致失败的单行。该案例研究需要139次自动测试运行或在500 MHz PC上花费35分钟。