テスト技法とカバレッジ（網羅基準）

結論：テストには「外から見る」と「中を見る」の2つがある

テストの見方はブラックボックステスト（仕様だけを見て入力と出力を確かめる）と、ホワイトボックステスト（プログラムの中身＝命令や分岐を見て、通ったかを確かめる）の2つに分かれる。試験ではこの2つを取り違えさせる選択肢が定番だ。

たとえば自動販売機なら、ブラックボックスは「お金を入れてボタンを押したら正しい飲み物とお釣りが出るか」を外から試すこと。ホワイトボックスは扉を開けて「この配線、この切り替えスイッチを全部一度は通したか」を確かめることにあたる。

ブラックボックスとホワイトボックスの比較（最頻出）

見分けのコツ：選択肢に「網羅率」「内部構造」「分岐命令」「流れ図」が出てきたらホワイトボックスの記述。「機能仕様」「同値クラス」「限界値」が出てきたらブラックボックスの記述だ。

ブラックボックスは中を見ないので、仕様に関係ない余分なコードがあっても結果は正しく見える。だから「冗長なコードがあっても検出できない」はブラックボックスの正しい記述になる。

ブラックボックスのデータの作り方：同値分割と境界値分析

同値分割法は、入力を「同じ扱いをされるグループ（同値クラス）」に分け、各グループから代表値を1つずつ選ぶ方法。正しく処理される範囲を有効同値クラス、エラーになるべき範囲を無効同値クラスと呼ぶ。

**境界値分析（限界値分析）**は、グループの切れ目の値を重点的に試す方法。バグは境目に集まりやすいからだ。たとえば「20歳以上は購入可」なら19歳と20歳を試す。

プログラムで A≧a と書くべきところを A＞a と書く誤りは、ちょうど A=a のときだけ結果が変わる。代表値だけを選ぶ同値分割では見逃しやすく、境界値を試す限界値分析なら見つけられる。

カバレッジ（網羅基準）4種の違い

**カバレッジ（網羅基準）**とは、ホワイトボックステストで「プログラムのどこまでを通したか」を測る物差しのこと。試験では次の4つを区別させる。

強さの関係（包含関係）は次のとおり。上を満たせば下も必ず満たすが、逆は成り立たない。

flowchart TD
  M["複数条件網羅（全組合せ）"] -->|"満たせば満たす"| D["判定条件網羅（分岐網羅）"]
  D -->|"満たせば満たす"| S["命令網羅"]

判定条件網羅は全分岐を通すので、どの分岐の先にある命令も実行される。だから「判定条件網羅を満たせば命令網羅も満たす」が正しい。命令網羅は、命令のない側（偽で何もせず飛ばす側）を通らなくても満たせるので、逆は成り立たない。

注意点として、条件網羅は判定条件網羅を含まない。A OR B で (A偽,B真) と (A真,B偽) を試すと各条件の真偽は揃うが、判定はどちらも真になり、偽の分岐を一度も通らない。

最少テストケースを数えるコツ

1. 流れ図の判定（ひし形）を全部書き出す。
2. 基準ごとに「何が真・偽になればよいか」を決める。命令網羅なら命令の箱、分岐網羅なら各判定の真と偽、複数条件網羅なら条件の組合せだ。
3. 判定が直列に並んでいるなら、1ケースで前後の判定を同時に満たせることを利用する（真→真、偽→偽の2ケースなど）。

「偽のときは何もせず飛ばす」形では、命令網羅は真の側を通る1ケースで済むことがある。分岐網羅では偽の側も通す必要があるので、最少でも2ケースになる。この差がよく問われる。

状態遷移テスト（短く）

状態遷移テストは、「待機中→ボタン押下→動作中」のように、設計で決めたイベントと状態の組合せどおりにシステムが動くかを確認する手法。状態遷移図や状態遷移表を使う。

「状態が変化しない計算処理向け」「内部状態に着目しない」「データフロー図・決定表で解析する」という選択肢は誤り。

テストの原則（短く）

テストの目的は誤りを見つけることで、「誤りがないことを証明する」ことはできない。正常なデータだけでなく、誤った入力（異常系）でも意図どおりに動くかを必ず確かめる。

テストデータは、先にテストケース（何をどう確かめるか）を決め、それに沿って準備する。正常データだけ用意する、エラーデータは不要、といった選択肢は誤り。