Questão de Engenharia de Software — Engenharia de Requisitos — INSTITUTO AOCP 2025

Verificação de Requisitos na Engenharia de Software

Gabarito: letra C — corretos os itens II e III. A verificação de requisitos é uma atividade que ocorre durante o processo de engenharia de requisitos, e não após a implementação do sistema; ela emprega técnicas como revisões por pares e inspeções formais, e a ambiguidade é um dos principais defeitos a serem evitados, pois compromete a qualidade do produto. Esses conceitos são fundamentais na Engenharia de Requisitos, conforme a literatura clássica de Sommerville e Pressman.

A verificação de requisitos é uma das atividades centrais da Engenharia de Requisitos, que é o processo formal, sistemático e contínuo de identificar, analisar, documentar, validar e gerenciar requisitos de software. Ela se distingue da validação: enquanto a verificação pergunta "estamos construindo o produto corretamente?" (ou seja, os requisitos estão bem descritos, consistentes, completos e testáveis), a validação pergunta "estamos construindo o produto certo?" (os requisitos atendem às reais necessidades do cliente). Essa distinção é crucial e frequentemente cobrada em provas.

A verificação ocorre antes da implementação, como parte do processo de engenharia de requisitos, e não depois. Ela pode ser feita por meio de diversas técnicas, incluindo revisões por pares (onde colegas revisam os requisitos para encontrar erros) e inspeções formais (um processo mais estruturado e rigoroso, com papéis definidos e checklist). Essas técnicas são aplicadas aos artefatos de requisitos (como o documento de especificação) para garantir que estejam corretos, completos e sem ambiguidades.

A ambiguidade é um dos principais problemas na especificação de requisitos. Um requisito ambíguo pode ser interpretado de maneiras diferentes por diferentes stakeholders, levando a um produto que não atende às expectativas. Por isso, a qualidade dos requisitos é diretamente afetada pela presença de ambiguidade, e evitá-la é um objetivo central da verificação. Requisitos devem ser claros, precisos e inequívocos.

Na prática, imagine um requisito como "o sistema deve processar pedidos rapidamente". Esse requisito é ambíguo: o que significa "rapidamente"? Uma verificação adequada identificaria essa ambiguidade e sugeriria uma reformulação, como "o sistema deve processar um pedido em menos de 2 segundos". Essa é a essência do trabalho de verificação: garantir que os requisitos sejam claros e testáveis.

A pegadinha que a banca explora aqui é a confusão entre verificação e validação, e também o momento em que cada uma ocorre. O item I tenta associar a verificação aos testes de aceitação, que ocorrem após a implementação — isso é um erro conceitual, pois a verificação de requisitos é uma atividade do processo de engenharia de requisitos, que precede o desenvolvimento. Guarde essa fronteira: verificação é sobre a qualidade da descrição dos requisitos, validação é sobre a adequação às necessidades do cliente.

Item I — ❌ Incorreto

A verificação de requisitos não ocorre após a implementação do sistema. Ela é uma atividade do processo de engenharia de requisitos, que acontece antes do desenvolvimento. Os testes de aceitação, por outro lado, são uma fase de teste que ocorre após a implementação, com o objetivo de verificar se o sistema atende aos requisitos do cliente. A banca tenta confundir o candidato ao associar a verificação de requisitos a uma fase posterior do ciclo de vida, mas são atividades distintas em momentos distintos.

Item II — ✅ Correto

Técnicas de revisão por pares e inspeções formais são, de fato, utilizadas na verificação de requisitos. A revisão por pares envolve a análise dos requisitos por outros membros da equipe, enquanto a inspeção formal é um processo mais estruturado, com papéis definidos (autor, inspetor, moderador) e uma checklist de verificação. Ambas são técnicas eficazes para identificar defeitos nos requisitos, como ambiguidades, inconsistências e omissões.

Item III — ✅ Correto

A presença de requisitos ambíguos compromete a qualidade do produto, pois diferentes interpretações podem levar a um software que não atende às expectativas. A ambiguidade é um dos principais defeitos a serem evitados na especificação de requisitos, e a verificação tem como um de seus objetivos justamente identificar e eliminar essas ambiguidades. Requisitos devem ser claros, precisos e testáveis.

Conclusão: Corretos: II e III → portanto a alternativa é a letra C.

Gabarito: letra C