限界値分析

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