平成30年度 秋期 午前 問49

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

解説

区間の境目の値をわざと選んで試す技法です。

繰返しの終わり方を決める条件で、以上とすべきところを、より大きいと書いてしまった誤りを見つけたい、という問いです。まず、この誤りがどの入力で表に出るのかを絞ります。変数が定数より小さい間は、どちらの書き方でも繰返しを続けるので違いが現れません。変数が定数を超えていれば、どちらの書き方でも止まるので、やはり違いが現れません。食い違うのは、変数と定数がちょうど等しくなる一点だけです。正しい書き方なら止まるはずのところで、書いてしまったほうは止まらないからです。つまり、ちょうど等しい値を試さない限り、この欠陥は何度動かしても表に出てきません。そこで、区間の切れ目とその前後を代表として選ぶ技法を使います。定数そのものと、その一つ手前、一つ先を並べて試すので、食い違いの出る一点が必ず含まれます。これが限界値分析です。なお、以上とより大きいの取り違えは、一つずれる型の欠陥として知られていて、その定石の手当てが境目を必ず試すことですから、欠陥の名前と技法の名前が一対になっています。見分けの軸は、その技法が境目の値を必ず選ぶかどうかという一点です。

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

• イ条件網羅：判定の中にある個々の条件について、成り立つ場合と成り立たない場合を一度ずつ通せば足りる基準です。どの道を通ったかを数えるだけで、どんな値を選んだかは見ていないため、一点しかない食い違いを取り逃がします。
• ウ同値分割：同じ結果になるはずの入力をひとまとまりとみなし、その中ほどから代表を一つ選んで件数を減らす技法です。対にして語られるので最も紛れますが、中ほどを取る選び方では切れ目そのものを跳び越します。
• エ分岐網羅：判定ごとに、成立する道と成立しない道を一度ずつ通れば足りる基準です。定数の手前と先の値を二つ試すだけで達成できてしまうので、割合の上では満点になっても、欠陥はそのまま残ってしまいます。