Questão 3640153

• Banca: CESPE / CEBRASPE
• Órgão: SERPRO
• Ano: 2008
• Disciplina: Arquitetura de Software
• Assuntos: Ciclo de Vida

Considerando os modelos do ciclo de vida de software, julgue o item que se segue.

Para a especificação de software e verificação de sistemas, uma alternativa que se fundamenta na matemática discreta e na lógica é o modelo incremental. 

• C. Certo
• E. Errado

Gabarito: C

Comentários

• 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.