Um critério de teste pressupõe que os domínios de valores de entrada e de saída do software podem ser divididos em classes, tal que um dos valores de uma classe seja representativo a qualquer outro valor dessa classe, em relação aos resultados do teste.

Esse critério é denominado