テスト設計技法

テスト設計技法とは、有限のテスト実行コストで最大の欠陥検出率を達成するために、テストケースを体系的に導き出す手法群だ。闇雲にテストを増やしてもカバレッジは上がるが、重要なバグを見落とすことがある。効果的なテストは「どのデータで・どの条件を・どの順で実行するか」を論理的に選択することで成立する。

同値分割（Equivalence Partitioning）は入力ドメインを同じ扱いを受けるクラスに分割し、各クラスから代表値を1つ選ぶ。例えば年齢入力（0〜120が有効）を「負の数・有効範囲・120超」の3クラスに分け、各クラスから1ケースずつ選ぶ。境界値分析（Boundary Value Analysis）はクラスの境界値（-1・0・1や119・120・121等）を選ぶ。バグは境界付近に集中する傾向があるためだ。この2技法は補完的に使われる。

デシジョンテーブルは複数の条件の組み合わせとその結果を表として整理し、カバーすべき組み合わせを漏れなく特定する。状態遷移テストは状態機械モデルを使い、状態間の遷移と不正なイベントへの応答を検証する。ペアワイステスト（All-Pairs Testing）は複数のパラメータを総当たりせず、任意の2パラメータの全組み合わせをカバーする最小ケース集合を生成し、指数的なテスト量を現実的なサイズに削減する。リスクベーストテストは、障害発生確率×影響度でテストの優先順位を付けるアプローチだ。

コードレビューで着目するポイント

境界値（境界の1つ内側・境界値・1つ外側）がテストケースに含まれているか
複数の入力条件が組み合わさる場合にデシジョンテーブルで網羅性を確認しているか
有効な入力のみでなく無効な入力・空値・nullのテストケースが含まれているか
状態遷移を持つコンポーネントで不正な順序のイベントをテストしているか
パラメータが多い場合にペアワイス手法で組み合わせを削減しているか
テストケースの優先順位付けがリスク（影響度・発生頻度）に基づいているか
テストの名前が「どの条件でどの結果になるか」を明示しているか

典型的なアンチパターン

ハッピーパスのみのテスト: 正常系のみを検証し、エラー・境界・無効入力をテストしない。本番環境では想定外の入力が必ず発生し、テストされていない経路でバグが露呈する。

組み合わせ爆発の総当たり: 5パラメータ×3値＝243ケースを全て書こうとする。ペアワイス技法を使えば50ケース以下で同等の欠陥検出率が得られることが多く、総当たりは現実的でない。

テストケース名の曖昧さ: test('should work', ...) や test('case1', ...) のような名前で条件が伝わらない。テストが失敗したとき、何の条件でどの動作が壊れたかを名前だけで判断できないためデバッグコストが上がる。

参考リソース

Rex Black『Managing the Testing Process』（Wiley、2009）— テスト計画・設計の実践書
Glenford Myers『The Art of Software Testing』第3版（Wiley、2011）
JSTQB『ソフトウェアテスト教科書 JSTQB Foundation』— 同値分割・境界値分析の標準解説
Pairwise Testing Tool https://pairwise.teremokgames.com — ペアワイステストケースの自動生成
allpairs https://github.com/mgalgs/allpairs — OSSのペアワイス生成ツール