命令網羅・分岐網羅とは？めいれいもうら・ぶんきもうら
命令網羅・分岐網羅とは、ホワイトボックステストがコードをどこまで通したかを示す基準。C0（命令網羅）は全命令を1回以上実行すること、C1（分岐網羅・判定条件網羅）は各判定の真と偽を1回以上通ること。さらに条件網羅、複合条件網羅、MC/DCと基準が強くなる。
最終更新：2026-10-06
この語が出る過去問を解く →背景
テストを「何件やったか」で語ると、一度も通っていないコードが残っていても気づけない。網羅率は、テストの十分性を、コード構造に対する被覆という客観的な尺度へ置き換えるために導入された。安全性が求められる分野では、この尺度が達成水準として規格に書き込まれており、測定結果そのものが認証の証跡になる。どの基準まで求めるかは、その機能の危険度に応じて決める。
具体例
自動車の機能安全規格ISO 26262は、危険度の指標ASILが高いソフトウェアにMC/DCの達成を推奨し、低い水準では分岐網羅で足りるとしている。網羅率はカバレッジ計測ツールで自動集計し、未到達の行を潰していく形で使う。
試験での引っ掛け
内部構造に着目するホワイトボックス技法であり、仕様だけを見る同値分割・限界値分析とは別系統。またC1を満たせばC0も満たされるが逆は成り立たず、条件式が複数ある判定ではC1でも個々の条件の寄与までは検証できない。
関連用語
出た過去問
出典：平成29年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問24（IPA）
自動車分野の機能安全規格ISO 26262においてテスト指標として用いられるC1カバレージの説明として、適切なものはどれか。
正解：プログラムの分岐網羅率
要点：C0が命令網羅、C1が分岐（判定）網羅の指標
テストの網羅基準のうち、C0が命令網羅、C1が分岐（判定）網羅を指す。C1は、各判定について真と偽の両方の分岐を少なくとも1回は通ることを求める基準で、命令網羅よりも厳しい。機能安全の規格では、要求される安全度水準に応じて達成すべき網羅率が定められている。
出典：平成30年度 春期 エンベデッドシステムスペシャリスト試験 午前Ⅱ 問22（IPA）
ホワイトボックステストのテストケースを設計する際に使用する技法はどれか。
正解：条件網羅
要点：条件網羅は内部構造に着目するホワイトボックステスト技法
ホワイトボックステストは、プログラムの内部構造（分岐や条件）に着目してテストケースを設計する技法で、命令網羅・判定条件網羅・条件網羅・複数条件網羅などの網羅基準が用いられる。条件網羅は、判定文中の個々の条件式が真と偽の両方の値をとるようにテストケースを選ぶ基準である。一方、同値分割や限界値分析、原因-結果グラフは入出力の仕様に基づくブラックボックステストの技法である。
出典・参考
高度試験 午前I（高度午前I 相当）のシラバスの4 開発技術 ＞ 3. 実装・構築 ＞ (8) ソフトウェアユニットのテストに掲載されている用語です。
解説は資格暗記が独自に作成しています。過去問の出典は各問題に記載のとおりです。