Vamos analisar a questão sobre engenharia de software e, especificamente, sobre o modelo espiral de desenvolvimento de software.

Alternativa correta: E - errado

O modelo espiral é, de fato, um modelo evolucionário que combina características da prototipagem com o modelo em cascata. No entanto, a afirmação de que este modelo emprega métodos formais para viabilizá-lo devido à incerteza do número de ciclos está errada.

Vamos entender melhor:

Modelo Espiral: Este modelo foi proposto por Barry Boehm em 1986 e é conhecido por seu foco na análise de risco e na iteração contínua. Ele é constituído por quatro principais atividades:

• Definição dos objetivos
• Análise de riscos e prototipagem
• Desenvolvimento e validação
• Planejamento para a próxima iteração

O ciclo espiral repete essas atividades, movendo-se da parte central do espiral para fora, reforçando a análise contínua e a mitigação de riscos.

Prototipagem: Envolve criar uma versão preliminar do software para entender melhor os requisitos e validar conceitos.

Modelo em Cascata: Um modelo sequencial onde cada fase deve ser concluída antes que a próxima comece, sem muitas iterações.

A questão insinua que a incerteza no número de ciclos do modelo espiral leva ao uso de métodos formais. Isso está incorreto porque:

• O modelo espiral já lida com a incerteza por meio da análise de riscos em cada ciclo.
• Os métodos formais são técnicas matemáticas usadas para especificar e verificar sistemas baseados em lógica e não são uma característica inerente ao modelo espiral.

Portanto, o modelo espiral não "emprega o modelo de métodos formais" para viabilizá-lo. Ele se apoia na identificação contínua de riscos e em iteração para gerenciar a incerteza.

Conclusão: A alternativa correta é E - Errado porque a afirmação sobre a ligação entre a incerteza nos ciclos e o uso de métodos formais no modelo espiral não corresponde à realidade da engenharia de software.

Gostou do comentário? Deixe sua avaliação aqui embaixo!

Por ter desenvoltura iterativa permite diminuir os riscos a cada volta. Por isso não tem como mensurar o número de ciclos para construir um projeto.

A primeira parte do enunciado está perfeita! No entanto, não faz sentido empregar o modelo de métodos formais porque não se sabe estimar o número de ciclos para construir um projeto. Ele tem uma natureza iterativa que permite reduzir riscos a cada loop.

Fonte: Estratégia