Para verificar se um software está sendo desenvolvido não apenas conforme as especificações e requisitos estabelecidos, mas
também para revelar falhas, erros ou defeitos e suas causas, realizam-se testes de software. Existe uma gama variada de teste
de acordo com os objetivos e escopo. O teste que tem por objetivo explorar a menor unidade do projeto, procurando
identificar falhas ocasionadas por defeitos de lógica e de implementação em cada módulo, separadamente, é denominado de
Os analisadores estáticos de programa são ferramentas de software que analisam o código-fonte de um programa e detectam
possíveis defeitos e anomalias. O estágio da análise estática capaz de detectar variáveis que são utilizadas sem prévia
iniciação, variáveis declaradas que nunca são utilizadas, bem como testes ineficientes, em que a condição de teste é
redundante, é a análise