テストケース・テスト集合・オラクル

仕様 $(D, S)$ を固定する。

• テストケースとは、入力 $x \in D$ をいう。空でない有限集合 $T \subseteq D$ をテスト集合という。
• オラクルとは、関係 $O \subseteq X \times Y$ をいう。$(x, y) \in O$ は「入力 $x$ に対する出力 $y$ を合格とする」ことを表す。$O \cap (D \times Y) = S \cap (D \times Y)$ のとき $O$ は正確であるといい、$S \cap (D \times Y) \subseteq O$ のとき $O$ は健全である（正しい出力を不合格にしない）という。
• 実装 $f$ がオラクル $O$ のもとでテスト集合 $T$ に合格するとは、すべての $x \in T$ について $f(x)$ が定まり、$(x, f(x)) \in O$ であることをいう。そうでないとき、$T$ は $f$ の誤りを検出するという。