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) 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. ✂️ b) 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. ✂️ c) 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. ✂️ d) 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. ✂️ e) 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.