基本情報技術者 試験情報＆徹底解説 -新制度に完全対応-

ホワイトボックステストにおける網羅性のレベルである「判定条件網羅」とは、プログラム中の判定条件で結果が真となる場合、偽となる場合を少なくとも1回は実行するようにテストケースを設計することです。

網羅性のレベルには判定条件網羅の他にも次のようなものあります。

命令網羅(網羅性:低い↑)

すべての命令を少なくとも1回は実行するテストケースを設計する。

分岐網羅(判定条件網羅)

判定条件の真偽を少なくとも1回は実行するテストケースを設計する。

条件網羅

判定条件が複数ある場合に、それぞれの条件が真・偽の場合を組み合わせたテストケースを設計する。

判定条件・条件網羅

判定条件網羅と条件網羅を組み合わせてテストケースを設計する。

複数条件網羅(網羅性:高↓)

判定条件のすべての可能な結果の組合せを網羅し、かつ、すべての命令を少なくとも1回は実行するようにテストケースを作成する。

図の分岐判定条件は「A＞6 or B＝0」なので、

• (A＝4，B＝1)→No
• (A＝5，B＝0)→Yes

で判定条件の真偽をそれぞれ1回は実行できます。(判定条件網羅)

このテストデータを複数条件網羅にする場合は、複数ある判定条件の可能な結果の組合せを網羅することになるので、

• A→真，B→真
• A→真，B→偽
• A→偽，B→真
• A→偽，B→偽

となる最低4つのテストデータを用意する必要があります。上記のテストデータ(A＝4，B＝1)，(A＝5，B＝0)は、
なので、残る2つの組み合わせ(A→真，B→真 と A→真，B→偽)を満たすテストデータが答えです。判定条件を考えると、
というテストデータの条件がわかるので、選択肢のテストデータを当てはめていくと「(A＝7，B＝0)，(A＝8，B＝2)」が適切ということになります。よって「エ」が正解です。