Os códigos-fonte são analisados, sem executar os casos de testes, por ferramentas CASE