平成22年度 秋期 午前 問46

✓ これが正解ウ条件網羅

解説

判定式の中身を読んで作る網羅基準です。

試験の作り方には、立場の違う二つの流儀があります。一方はプログラムの内部の構造を見て、命令や分岐を漏れなく通るように組み立てます。他方は中身を見ずに、入力と出力の決めごとだけからケースを起こします。ホワイトボックステストは前者にあたりますから、判定の軸は、その技法が中身を読まないと作れないのか、それとも外から見える仕様だけで作れるのかという一点になります。正解は条件網羅です。判定式の中にある個々の条件それぞれが、真と偽の両方を少なくとも一度ずつ取るようにケースを選びます。たとえば二つの条件をかつで結んだ判定であれば、それぞれの条件について成り立つ場合と成り立たない場合を作ります。判定式そのものを開いて読まなければケースを起こせませんから、これは内部の構造を見ている側です。名前に網羅が入っている基準は、命令を通す数え方であれ分岐を通す数え方であれ、いずれも内部を見る側に属します。

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

• ア原因-結果グラフ：入力となる原因と、そこから生じる結果の対応を図に起こし、組合せを絞り込む技法です。使うのは外から見える決めごとだけで、内部にどんな判定式が書かれているかは問いません。
• イ限界値分析：区間の境目、つまりある値とその一つ隣を狙ってケースを起こす技法です。誤りは境目に出やすいという経験に基づくもので、根拠になるのは仕様に書かれた範囲であって内部の構造ではありません。
• エ同値分割：同じ扱いになる入力の集まりをひとまとめにし、そこから代表を一つだけ選んでケース数を減らす技法です。集まりの区切り方は仕様から決まるので、内部を開かずに組み立てられます。