Questão FC370050
A existência de diferentes modelos de processos de software busca organizar e dar método à atividade de construção de um software. A complexidade de um software é dependente de div
Modelos de Ciclo de Vida e Metodologias de Desenvolvimento
FGV · 2024
A existência de diferentes modelos de processos de software busca organizar e dar método à atividade de construção de um software. A complexidade de um software é dependente de diversos fatores. Entretanto, requisitos de software são dinâmicos – demandando, por conseguinte, que suas mudanças se reflitam de alguma forma ao longo do processo de desenvolvimento. Diferentes abordagens propostas na literatura procuram combinar a necessidade de organização do processo em si e a absorção dessas adaptações referentes aos requisitos.
Assinale a que indica um modelo de processo de desenvolvimento classificado como especializado.
- Concorrente.
- Espiral.
- Métodos formais.
- Modelo V.
- Prototipação.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
Métodos formais são modelos de processo classificados como especializados porque aplicam uma abordagem matemática rigorosa ao desenvolvimento de software, indicada quando é exigida alta confiança no produto.
Consistem em construir uma especificação matemática do sistema (invariantes, pré/postcondições, autômatos, lógicas temporais) e usar essa base para guiar projeto e implementação.
O objetivo é permitir a verificação e a validação formais: demonstrações, provas ou checagem por model checkers que atestam propriedades desejadas e revelam ambiguidade, incompletude e inconsistência na especificação.
Aplicam-se sobretudo a sistemas críticos (aeronáutica, financeiro, segurança) onde os benefícios de reduzir erros complexos superam o custo de especialização e maior esforço.
Conteúdo do catálogo FC Concursos · Atualizado em