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