O Tribunal solicita o uso de métodos de teste de software para que os Analista de Sistemas possa derivar os casos de teste que:

− garantam que todos os caminhos independentes dentro de um módulo tenham sido exercitados pelo menos uma vez;

− exercitem todas as decisões lógicas para valores falsos ou verdadeiros;

− executem todos os laços (loops) em suas fronteiras e dentro de seus limites operacionais;

− exercitem as estruturas de dados internas para garantir sua validade.

Para atender a todos os requesitos acima, o Analista de Sistemas usa a abordagem de teste de