すべての既存テストが通るプログラムで、比較演算子>=を>へ故意に変更してもテストが通った。最も直接的に疑うべき不足はどれか。

両分岐を通ることと、等しい境界で期待結果を確認することは別である。

同じ不十分な入力と検証の繰返しでは境界の欠落は埋まらない。

実行カバレッジだけでは期待結果の正しさを保証しない。