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