同値分割と境界値

仕様 $(D, S)$ に対して、$D$ の分割 $D = D_1 \sqcup \cdots \sqcup D_r$（互いに交わらない空でない部分集合への分割）で、仕様が各 $D_j$ の入力を「同じ扱い」にしているものを同値分割といい、各 $D_j$ を同値クラスという。各同値クラスから少なくとも 1 つの入力を選んだテスト集合は、同値分割を網羅するという。

$D \subseteq \mathbb{Z}$ で、同値クラスが区間であるとき、あるクラスの最小の元を境界という。各境界 $b$ について $b$ と $b - 1$（境界の値と、その 1 つ手前）をテストに含める方法を境界値分析という。