Métodos Formais - Eng Soft - Ricardo L Schneider

Apresentação em tema: "Métodos Formais - Eng Soft - Ricardo L Schneider"— Transcrição da apresentação:

1 Métodos Formais - Eng Soft - Ricardo L Schneider

2 Métodos Formais [Marcianiak94]
“Métodos formais ... são técnicas de base matemática para descrever propriedades de sistema. Estes métodos formais provêem uma infra-estrutura na qual as pessoas podem especificar, desenvolver e verificar sistemas, de uma maneira sistemática, ao invés de uma maneira ad hoc.” Métodos Formais - Eng Soft - Ricardo L Schneider

3 Deficiências dos métodos não formais:
Contraditórios Ambíguos Imprecisos Incompletos Níveis misturados de abstração Métodos Formais - Eng Soft - Ricardo L Schneider

4 Matemática no desenvolvimento de software
A pessoa que resolve uma integral sabe exatamente o quê é necessário, apesar de o como resolver a integral necessite um esforço considerável! Métodos Formais - Eng Soft - Ricardo L Schneider

5 Métodos Formais - Eng Soft - Ricardo L Schneider
Conceitos formais: Dados invariantes Estado Operação précondições póscondições Métodos Formais - Eng Soft - Ricardo L Schneider

6 exemplo (tabela de símbolos)
maxIds = 8 Operações: adicionar (remover) itens Précondições: Nome não existir Póscondição: tabela foi aumentada de 1 elemento Métodos Formais - Eng Soft - Ricardo L Schneider

7 Métodos Formais - Eng Soft - Ricardo L Schneider
Conjunto (set) {7, 14, 3, 12} {C++, Pascal, COBOL, C, Ada} {13, 2, 11, 8, 2, 67} CARDINALIDADE: #{A, B, D, E} = 4 Métodos Formais - Eng Soft - Ricardo L Schneider

8 Operadores de conjuntos:
Pertence Não pertence Contido Não contido Conjunto vazio União Interseção Diferença de conjuntos Métodos Formais - Eng Soft - Ricardo L Schneider

9 Componentes das linguagens formais de especificação
1. Sintaxe 2. Semântica 3. Relações de regras Métodos Formais - Eng Soft - Ricardo L Schneider

10 Métodos Formais - Eng Soft - Ricardo L Schneider
Linguagens: CSP LARCH VDM Z Métodos Formais - Eng Soft - Ricardo L Schneider

11 Métodos Formais - Eng Soft - Ricardo L Schneider
Futuro? Pontos positivos++++ remove ambigüidade maior rigor Pontos negativos Foco em funções e dados --(Tempo, controle e comportamento) Interfaces homem.máquina melhor (gráficos) Solução: CASEs apropriados! Métodos Formais - Eng Soft - Ricardo L Schneider