Métodos de teste, que garantem que todos os caminhos independentes dentro de um módulo tenham sido exercitados pelo menos uma vez e também exercitem todas as estruturas de dados internas de um módulo para garantir a sua validade, são conhecidos genericamente por