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