平成29年度 春期 午前Ⅱ 問24

✓ これが正解イプログラムの分岐網羅率

解説

C1 カバレージはプログラムの分岐網羅率を表す指標です。

C1 カバレージは、テストでプログラム中の分岐をどれだけ通したかを表す指標で、判定条件網羅（分岐網羅）の網羅率にあたります。if 文などの各判定について、真になる経路と偽になる経路の両方を少なくとも1回ずつ通すと 100% になります。命令を少なくとも1回ずつ実行したかを見る C0（命令網羅）より強い基準で、ISO 26262 でもソフトウェアの単体テストの構造的な網羅の指標として用いられます。見分ける軸は、プログラムの内部構造を見る指標かどうかです。顧客のユースケース、動作温度、外部仕様は、いずれもプログラムの内部の分岐とは関係しません。C0 は命令、C1 は分岐、と組で覚えておくと迷いません。出題当時の ISO 26262 は 2011 年の初版で、2018 年に第2版が発行されています。

ほかの選択肢はなぜ違うのか

• ア最初にターゲットとする顧客ユースケースの…：最初に対象とする顧客ユースケースのテスト範囲は、利用者の使い方を起点にテストの対象を決める話です。プログラムの分岐をどれだけ通したかという内部構造の網羅率ではないため、C1 カバレージには当たりません。
• ウ保証する動作温度範囲：保証する動作温度範囲は、ハードウェアや製品を使ってよい環境の条件を示すものです。テストでプログラムの分岐をどれだけ通したかを表す指標ではなく、ソフトウェアの網羅率とは関係がありません。
• エユーザの振舞いや外部仕様を基にしたテスト：利用者の振る舞いや外部仕様を基にしたテストは、内部構造を見ずに入出力の仕様から設計するブラックボックステストの考え方です。プログラムの内部の分岐を数える C1 カバレージとは、テストを考える出発点が違います。