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
Seja S o grafo de fluxo de controle de um programa P. Se o
teste que aplica um conjunto de dados de teste satisfaz o
critério todos os ramos de S, então pode-se concluir que
esse conjunto também irá satisfazer o critério