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.
B asseguram a inexistência de erros de lógica no códigofonte de um produto de software.
C 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.
D são aplicadas após a finalização da etapa de projeto (design) e se limitam às etapas de implementação e de testes.
E são opcionalmente auxiliadas por ferramentas CASE ou pela construção de protótipos.