trust

差分测试无需形式化证明也能奏效，但共模故障才是隐患

差分测试让你无需知道正确答案就能发现 bug。问题在于，相关的错误看起来像是达成一致。以下是如何发现盲点。

你可以在没有形式化证明的情况下信任差分测试，但前提是你必须清楚它究竟会在哪里失效。 这个弱点叫做共模故障（common-mode failure）。当某个规范的每一个实现都做出同样的错误假设时，它们会全部达成一致，而你的测试框架会将其判定为通过。N 版本编程（N-version…