O teste caixa-branca ou teste de caixa de vidro é um método de projeto de casos de teste que usa a estrutura de controle do projeto procedimental para derivar casos de teste. Dessa maneira garante-se que todos os caminhos independentes de um módulo tenham sido exercitados pelo menos uma vez, já que erros lógicos e pressupostos incorretos são inversamente proporcionais à probabilidade de que um caminho de programa vai ser executado.