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