O site Professional QA é uma excelente repositório de informação sobre testes e suas metodologias. O artigo Software Testing, que apresenta uma visão geral dos desafios e estratégias para entregar com qualidade produtos em constante inovação, considera como o primeiro dos grandes desafios: “é impossível testar completamente (uma aplicação)”.
Assim é. Mas a justificativa para essa impossibilidade não é apresentada da melhor maneira nesse artigo. Na verdade, na Teoria da Computação, esse é um conhecido caso de Indecidibilidade.
Se em teoria é impossível garantir que uma implementação está completamente correta, na prática devemos buscar estratégias e ferramentas que nos permitam garantir ao menos que ela esteja aceitável, mantendo sob controle os riscos de impacto em Produção.