平成22年度 秋期 システムアーキテクト試験 午前Ⅱ 問8
テクノロジ／開発技術三つの整数型の入力データA，B，Cが，A≧15かつB≧10かつC≧5のときだけ入力データを処理する仕様のプログラムを，同値分割法によってテストする。このときの最少のデータの組合せとして適切なものはどれか。ここで，（x，y，z）は，入力データAの値がx，Bの値がy，Cの値がzであることを表すものとする。
出典：平成22年度 秋期 システムアーキテクト試験 午前Ⅱ 問8
- ア（0，0，0），（20，15，10）
- イ（0，0，0），（0，0，10），（0，15，0），（20，0，0）
- ウ（0，15，10），（20，15，0），（20，0，10），（20，15，10）
- エ（0，0，0），（0，0，10），（0，15，0），（20，0，0），（0，15，10），（20，15，0），（20，0，10），（20，15，10）
正解：ウ
解説
A≧15かつB≧10かつC≧5という複合条件（AND条件）を同値分割法でテストする場合，全ての条件を満たす有効同値クラスの代表値を1組（20，15，10）用意するとともに，無効同値クラスについては各条件を一つだけ満たさない値とし，残りの条件は満たす値とした組合せをそれぞれ用意する。すなわち，（0，15，10）はAだけが無効，（20，0，10）はBだけが無効，（20，15，0）はCだけが無効という組合せであり，これに有効な組合せ（20，15，10）を加えた4通りが，各条件の判定を独立に検証できる最少のテストデータとなる。
選択肢ごとの解説
- ア誤り。すべての条件を満たさない（0，0，0）という組合せでは，どの条件が原因で処理されなかったのかを区別できず，各条件を独立に検証できない。
- イ誤り。いずれの組合せも1条件だけを満たす値であり，すべての条件を満たす有効な組合せが含まれていないため，正しく処理されることを確認できない。
- ウ正しい。全条件を満たす有効な組合せ（20，15，10）と，各条件を一つだけ満たさない無効な組合せ（0，15，10），（20，15，0），（20，0，10）を用いることで，各条件の判定を独立に検証できる。
- エ誤り。同値分割法で必要となる最少の組合せに対し，他の選択肢の組合せを合わせた重複を含む過剰なデータ数になっている。