Engenharia de Software · FGV · 2024 | Questão sqc-fg075149

Modelos de processo de software especializados

Gabarito: letra C. Modelos de processo especializados são aqueles voltados para técnicas específicas de desenvolvimento, como métodos formais, desenvolvimento baseado em componentes e orientação a aspectos. Dentre as alternativas, apenas Métodos formais se enquadra nessa categoria, pois seu foco está na especificação matemática e verificação rigorosa do software.

Modelo de Processo	Classificação Principal	Característica Central	Exemplo de Uso
Concorrente	Evolucionário	Atividades executadas em paralelo (rede de atividades)	Projetos com equipes distribuídas
Espiral	Evolucionário / Prescritivo	Combina prototipação com análise de riscos	Projetos de grande porte e alto risco
Métodos formais	Especializado	Especificação matemática e verificação rigorosa	Sistemas críticos (ex.: aviônica, segurança)
Modelo V	Prescritivo	Variação do cascata com ênfase em verificação e validação	Projetos com requisitos estáveis e testagem rigorosa
Prototipação	Evolucionário	Construção rápida de protótipos para elucidar requisitos	Projetos com requisitos incertos ou iniciais

Modelos de processo de software: Prescritivos (Cascata, Modelo V, Espiral); Evolucionários (Prototipação, Concorrente); Especializados (Métodos formais, Desenvolvimento baseado em componentes, Orientação a aspectos)

Alternativa A — ❌ Incorreta

O modelo Concorrente (também chamado de desenvolvimento concorrente) é um modelo evolucionário que representa o processo como uma rede de atividades executadas em paralelo. Embora tenha características próprias, não é classificado como especializado na literatura clássica (Pressman, Sommerville).

Alternativa B — ❌ Incorreta

O modelo Espiral é um modelo evolucionário que combina prototipação e análise de riscos. É amplamente utilizado para projetos de grande porte e alto risco, mas é considerado um modelo prescritivo ou evolucionário, não especializado.

Alternativa C — ✅ Correta ⟵ GABARITO

Métodos formais são modelos de processo especializados que utilizam notação matemática para especificar, desenvolver e verificar sistemas de software. São indicados para sistemas críticos onde a correção é essencial. Segundo Pressman, esse é um dos modelos de processo especializados.

Alternativa D — ❌ Incorreta

O Modelo V (ou V-Model) é uma variação do modelo cascata que enfatiza a verificação e validação em cada etapa. É considerado um modelo prescritivo, não especializado, pois não se atém a uma técnica ou domínio específico.

Alternativa E — ❌ Incorreta

A Prototipação é um modelo evolucionário que consiste na construção rápida de protótipos para elucidar requisitos. Embora útil, não se enquadra como modelo especializado, mas sim como uma abordagem evolucionária.

Gabarito: letra C.