No contexto da Engenharia de Software, a verificação e a...

envolvem o uso de inspeções técnicas, cujo objetivo é verificar características funcionais de um produto de software, tais como desempenho e usabilidade.

asseguram a inexistência de erros de lógica no códigofonte de um produto de software.

são de uso exclusivo entre si e correspondem a verificar se o produto de software que está sendo construído atende às expectativas do usuário.

são aplicadas após a finalização da etapa de projeto (design) e se limitam às etapas de implementação e de testes.

são opcionalmente auxiliadas por ferramentas CASE ou pela construção de protótipos.