プログラムの誤りの一つに、繰返し処理の判定条件としてA≧aとすべきところをA>aとコーディングすることがある。このような誤りを見つけ出すために有効なテストケース設計技法はどれか。ここで、Aは変数、aは定数とする。
限界値分析
条件網羅
同値分割
分岐網羅