O método caminho básico permite ao projetista de casos de teste originar uma medida da complexidade lógica de um projeto procedimental e usar essa medida como guia para definir um caminho básico de execução.

O particionamento de equivalência é um método de teste que divide o domínio de entrada de um programa em classes de dados, das quais os casos de teste podem ser derivados.

O teste de condição é um método de projeto de casos de teste que exercita as condições lógicas contidas em um modulo do programa.

O método de teste de fluxo de dados seleciona caminhos de teste de um programa de acordo com a localização das definições e dos usos das variáveis do programa.

Teste de ciclo é uma técnica de teste que focaliza exclusivamente a validade de construções de ciclo. Quatro diferentes classes de ciclos podem ser definidas: ciclos simples; conectados; aninhados e desestruturados.