全ての取り得る入力値をテストしない場合に妥協になるのは動的静的関係ないがな
その理屈だと静的にバグは皆無ってことになる