Exercitar as estruturas de dados internas para garantir a sua validade.

Demonstrar que as funções do software são operacionais.

Garantir que todos os caminhos independentes dentro de um módulo tenham sido exercitados pelo menos uma vez.

Executar todos os laços em suas fronteiras e dentro de seus limites operacionais.

Exercitar todas as decisões lógicas para valores falsos ou verdadeiros.