テストカバレッジ（命令網羅・分岐網羅・条件網羅）とは？

テストカバレッジ（命令網羅・分岐網羅・条件網羅）の意味

テストがプログラムのどれだけを実行したかを示す割合と、その測り方の基準。すべての命令を一度通す命令網羅、判定の真偽双方を通す分岐網羅、個々の条件式の真偽を通す条件網羅があり、後者ほど厳しい。どの水準まで求めるかを品質目標とコストの釣合いで決めるのが設計判断になる。

テストカバレッジ（命令網羅・分岐網羅・条件網羅）の具体例

一般業務のアプリでは分岐網羅八〇%を終了基準に置き、資金決済や安全に関わる部分だけ判定条件・条件網羅まで引き上げる、といった使い分けをする。カバレッジ計測ツールを継続的インテグレーションに組み込み、基準を割った変更はマージさせない運用にすると形骸化を防げる。

テストカバレッジ（命令網羅・分岐網羅・条件網羅）は試験でどう引っ掛けられる？

条件網羅は分岐網羅より必ず強い、とは限らない。個々の条件の真偽を網羅しても判定全体の真偽が両方現れない組合せがあり得るため、両方を満たす判定条件・条件網羅が別に定義されている。またカバレッジ一〇〇%は欠陥ゼロを意味しない。そもそも書かれていない処理の欠落は、この基準ではまったく検出できないという限界がある。

テストカバレッジ（命令網羅・分岐網羅・条件網羅）と関連する用語

• トップダウンテストとボトムアップテスト
• オールペア法（ペアワイズテスト）と直交表
• 欠陥密度とテスト密度
• サイクロマティック複雑度（循環的複雑度）
• アサーション

テストカバレッジ（命令網羅・分岐網羅・条件網羅）が出た過去問

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

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

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

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

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