平成25年度 春期 午前Ⅱ 問21

✓ これが正解ア限界値分析

解説

境界ちょうどの値の扱いの誤りは、限界値分析で見つけます。

A≧a と A＞a の違いは、A がちょうど a に等しいときにだけ現れます。A が a より大きい場合や小さい場合は、どちらの書き方でも結果が同じなので、そうした値をいくら試しても誤りは見つかりません。限界値分析は、入力の範囲の境目に当たる値と、その前後の値をテストケースに選ぶ技法で、A＝a のような境界ちょうどの値を必ず試します。そのため、比較演算子の等号の有無の誤りを見つけるのに有効です。誤りは境界の値で表れやすいので、条件式の等号の誤りには限界値分析、と結び付けておくと見分けられます。

ほかの選択肢はなぜ違うのか

• イ条件網羅：条件網羅は、判定を構成する各条件が真と偽の両方をとるようにテストケースを選ぶ技法です。A＞a が真と偽になる値を選べば満たせるので、A がちょうど a の場合を試すとは限らず、この誤りを見逃すことがあります。
• ウ同値分割：同値分割は、入力を同じ扱いを受けるグループに分け、各グループから代表値を一つずつ選ぶ技法です。代表値は範囲の中ほどから選ぶことが多く、境界ちょうどの値を試すとは限らないので、等号の誤りを見つけにくくなります。
• エ分岐網羅：分岐網羅は、プログラムの全ての分岐の行き先を少なくとも1回通るようにテストケースを選ぶ技法です。繰返しを続ける側と抜ける側を一度ずつ通れば満たせるので、A＝a の場合を必ず試すわけではありません。