Um grupo de desenvolvedores elaborou vários casos de teste que selecionam caminhos de teste de acordo com as definições e com o uso de variáveis existentes em um programa.

Esse tipo de teste caixa-branca é denominado