Para garantir a cobertura de todos os comandos de um programa, é possível encontrar o limite superior para o número de testes que precisam ser projetados e executados, realizando a(o)