同値分割
- 同じ結果になるテスト条件の中から代表的なものを選択してテストする
（例） エラーになる、ならない
境界値分析
- 境界値でテストする
C0（命令網羅）
- それぞれの命令文が少なくとも1回は実行されるようにテストする
C1（分岐網羅）
- それぞれの判定条件における真偽が少なくとも1回は実行されるようにテストする
- 単体テストはここまでやることが多い
C2（条件網羅）
- それぞれの条件文における真偽が少なくとも1回は実行されるようにテストする
ディシジョンテーブル
- 複数の条件とその条件から求められる期待値を整理するための表のこと
- パターン漏れを防ぐ
オールペア法
- 2項目間の全組合せを網羅する
- ほとんどの不具合は多くとも2つの因子の相互作用によって引き起こされているという考えに基づいた手法