Segundo Pezzè & Young, nenhuma técnica de teste ou
de análise pode servir sozinha a todos os objetivos de
verificação e validação de um software . Todas as afirmativas
abaixo são razões primárias para a combinação de
técnicas de verificação, validação e teste, EXCETO uma. Assinale-a.
A O custo e as garantias fornecidas por cada técnica são
diferentes. Por exemplo, técnicas de verificação formal
são mais custosas, mas fornecem maior garantia sobre
propriedades essenciais do sistema, enquanto técnicas
de teste são mais baratas para detectar problemas
em códigos que sofrem alterações constantemente.
B Cada técnica tem um objetivo diferente. Por exemplo,
teste sistemático visa maximizar a detecção de falhas,
enquanto o teste estatístico visa medir a confiabilidade
do software .
C Cada técnica tem maior eficácia para uma dada classe
de erros. Por exemplo, teste funcional é melhor para
detecção de erros de especificação, enquanto o teste
estrutural é mais eficaz para erros de implementação.
D Cada técnica tem um conjunto de ferramentas de
suporte. Por exemplo, testes automatizados
contam com frameworks especializados, enquanto
técnicas de inspeção contam com ferramentas de
análise estática baseadas em checklists .
E Há técnicas que são mais facilmente aplicáveis a
determinadas etapas do projeto. Por exemplo,
análises automatizadas são mais difíceis de serem
implementadas para artefatos de especificação,
enquanto técnicas de inspeção apresentam grande
eficácia para esse tipo de artefato.