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

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.