As revisões técnicas formais sao um meio efetivo de melhorar a qualidade do software. Com relação a esse tipo de revisão, analise as seguintes asserções. Nas revisões, os produtos de trabalho de um indivíduo ou equipe sao revisados por tecnicos ou gerentes PORQUE as revisões fornecem informações sobre defeitos, aumentando e permitindo o controle da qualidade do produto final. Acerca dessas asserções, assinale a opção correta. As duas asserções sao proposições verdadeiras, mas a segunda nao é uma justificativa correta da primeira.

Análise da Questão

Esta questão trata de Revisões Técnicas Formais em Engenharia de Software, abordando conceitos de garantia de qualidade.

Avaliação das Asserções

Primeira Asserção (Verdadeira)

"Nas revisões, os produtos de trabalho de um indivíduo ou equipe são revisados por técnicos ou gerentes"

• Verdadeiro. Revisões formais envolvem a verificação sistemática de artefatos de software (código, documentação, especificações) por outras pessoas qualificadas.
• É uma prática padrão em processos como CMMI e IEEE 1028.

Segunda Asserção (Verdadeira)

"As revisões fornecem informações sobre defeitos, aumentando e permitindo o controle da qualidade do produto final"

• Verdadeiro. O objetivo principal das revisões é identificar defeitos precocemente, reduzindo custos de correção no futuro.
• Defeitos encontrados na fase de revisão custam significativamente menos para corrigir do que após entrega.

Relação entre Asserções

A segunda asserção justifica corretamente a primeira porque explica a razão pela qual as revisões são realizadas: elas proporcionam controle de qualidade através da identificação de defeitos.

Conclusão

Ambas as asserções são proposições verdadeiras, e a segunda constitui a justificativa correta da primeira, pois responde à pergunta implícita: "por que realizamos revisões?"

Alternativa B