A métrica de software denominada complexidade
ciclomática provê um limite inferior para a quantidade de
testes que devem ser realizados para garantir que todas as
instruções de um programa estruturado sejam executadas
pelo menos uma vez durante os testes.