検証器と偽陽性率

出力を受け取って「合格」「不合格」を返す手続きを検証器と呼びます。テストスイート、型検査器、静的解析、人間のレビュー、およびそれらの組み合わせが該当します。

検証器について、

• 偽陰性率：正しい出力を不合格にする確率。以下では簡単のため $0$ と仮定します。
• 偽陽性率 $\alpha \in [0, 1]$：誤った出力を合格にする確率。

$\alpha$ は検証器の穴の大きさです。テストが 3 ケースしかなければ $\alpha$ は大きく、境界値・退化ケース・並行実行まで網羅していれば小さくなります。