ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）とは？

ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）の意味

内部構造を見て経路を網羅するテスト。命令網羅は全命令を1度は通す、分岐網羅は各判定の真偽を両方通す、条件網羅は判定内の個々の条件を真偽とも取る。網羅基準の強さの順序と、カバレッジ目標を品質計画にどう置くかが問われる。

ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）の具体例

カバレッジ目標を「分岐網羅80%」と決め、単体テスト完了の判定条件に入れる。数値が伸びない箇所は死にコードか設計過剰の疑いがあるため、PMは「残り20%を埋める工数」と「設計見直し」を天秤にかけて判断する。

ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）は試験でどう引っ掛けられる？

網羅の強さは命令＜分岐であり、条件網羅は必ずしも分岐網羅を包含しない（個々の条件を満たしても判定全体の真偽が両方出ないことがある）。100%カバレッジは「欠陥がない」証明ではない。

ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）と関連する用語

• 同値分割・境界値分析
• 回帰テスト
• 静的解析（ソースコード検査）

ホワイトボックステスト（命令網羅・分岐網羅・条件網羅）が出た過去問

• あるプログラムについて,流れ図で示される部分に関するテストケースを,判定条件網羅(分岐網羅)によって設定する。この場合のテストケースの組合せとして,適切なものは…

  正解：(A=1, B=1), (A=7, B=1)

  要点：分岐網羅は各判定の真と偽を一度ずつ通ればよい

  判定条件網羅（分岐網羅）は、各判定について真と偽の双方を少なくとも一度ずつ通ることを求める基準である。設問の判定は二つの条件の論理和なので、両方の条件が成り立たない組合せで偽、少なくとも一方が成り立つ組合せで真となるようにテストケースを選べばよい。個々の条件の真偽をすべて試す条件網羅とは基準が異なる点に注意する。

  出典：令和4年度 秋期 情報処理安全確保支援士試験 am2 問22（IPA）