Inspeções de software - preocupadas com a análise estática das representações do sistema para descobrir problemas. Pode ser complementadas por alguma análise automática do texto de origem de um sistema ou dos documentos associados.

Teste de software - preocupado com a execução e observação do comportamento do produto. O sistema é executado com dados de teste e o seu comportamento operacional é observado. Estamos falando das verificações: