Critérios de teste auxiliam na seleção de dados de testes, determinando um conjunto de elementos que devem ser exercitados durante o teste. Considere que se um conjunto de dados de teste atendeu a um critério de teste, então todos os elementos requeridos pelo critério foram exercitados no teste. No contexto de linguagens procedurais, se o conjunto de dados de teste atende ao critério todos os ramos, esse conjunto também atenderá, independente do programa em teste, ao seguinte critério: