Considerando os modelos do ciclo de vida de software, julgue...

Alternativa correta: E - errado

Vamos discutir a questão e explicar por que a alternativa correta é a errada.

A questão aborda o ciclo de vida de software, que é um conceito fundamental na Engenharia de Software. O ciclo de vida de software descreve as fases que um software percorre desde sua concepção até sua descontinuação.

Entre os modelos de ciclo de vida mais conhecidos estão:

• Modelo em Cascata (Waterfall)
• Modelo Incremental
• Modelo de Espiral
• Modelo Ágil (Scrum, Kanban, etc.)

Agora, vamos focar no Modelo Incremental. Este modelo é caracterizado pela construção do software em incrementos ou pequenas partes, que são desenvolvidas e entregues em ciclos curtos. Cada incremento adiciona funcionalidade ao software até que o sistema completo esteja implementado.

Entretanto, o enunciado da questão menciona que a especificação de software e verificação de sistemas no modelo incremental se fundamenta na matemática discreta e na lógica. Isso está incorreto porque:

• O Modelo Incremental é focado no desenvolvimento iterativo e na entrega contínua de incrementos de software, mas não se fundamenta explicitamente na matemática discreta e na lógica formal.
• Um modelo que efetivamente se baseia na matemática discreta e na lógica formal é o Modelo Formal ou Métodos Formais, que utiliza técnicas matemáticas para especificar e verificar sistemas.

Portanto, a afirmação é errada porque associa características dos Métodos Formais ao Modelo Incremental, o que é uma incorreção conceitual.

Em resumo, o aluno precisa ter uma compreensão clara dos diferentes modelos de ciclo de vida de software, suas características e fundamentos. Neste caso, o erro está em associar os princípios da matemática discreta e da lógica formal diretamente ao modelo incremental.

Métodos Formais.

- modelo Baseado em métodos matemáticos para especificar, desenvolver e verificar software.

- O software é especificado usando técnicas formais (Matemáticas), e após a prova da especificação é transformado em código.

·        Vantagens

-> O próprio processo de desenvolvimento garante que o programa faz exatamente o que foi especificado.

- E possível gerar programas corretos e completos por construção.

·        Desvantagens

-> São bastante lentos e dispendiosos

- Exigem treinamento intensivo e uma equipe de especialistas

- Normalmente são usados apenas em ambientes muitos complexos.

Questao anulada pela banca.

Questão anulada pela banca. O correto seria "Métodos Formais".