Differential Testing 不需要形式化證明也能運作，但 Common-Mode Failure 才是真正的陷阱
Differential testing 讓你在不知道正確答案的情況下找到 bug。問題是，有相關性的錯誤看起來就像一致。以下是找出盲點的方法。
你可以信任 differential testing，即使沒有形式化證明——但前提是你必須清楚知道它會在什麼地方崩潰。 它的弱點叫做 common-mode failure。當一個規格的每個實作都做出同樣的錯誤假設時，它們全部一致通過，你的 test harness 就會標為通過。N-version…