平成30年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22

解説

ホワイトボックステストは，プログラムの内部構造（ソースコードの制御の流れ）に着目してテストケースを設計する手法です。代表的な技法として，プログラム内の全ての条件式が真・偽の両方の結果を少なくとも一度は取るようにテストケースを設計する「条件網羅」（カバレッジ基準の一種）があります。これに対し，原因-結果グラフ，限界値分析，同値分割は，いずれもプログラムの内部構造ではなく，仕様（入出力の関係）に着目してテストケースを設計するブラックボックステストの技法です。

選択肢ごとの解説

• ア誤り。原因-結果グラフは，入力（原因）と出力（結果）の関係を論理的に整理してテストケースを設計する技法であり，プログラムの内部構造には着目しないブラックボックステストの技法です。
• イ誤り。限界値分析は，入力値の範囲の境界（限界値）に着目してテストケースを設計する技法であり，プログラムの内部構造には着目しないブラックボックステストの技法です。
• ウ正しい。条件網羅は，プログラム内の判定条件を構成する各条件式が真・偽の両方の値を少なくとも一度は取るようにテストケースを設計する技法であり，プログラムの内部構造（制御の流れ）に着目するホワイトボックステストの技法です。
• エ誤り。同値分割は，入力値を，同じ結果が得られると期待できるグループ（同値クラス）に分割してテストケースを設計する技法であり，プログラムの内部構造には着目しないブラックボックステストの技法です。