A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Métodos Formais - Eng Soft - Ricardo L Schneider1 Métodos Formais.

Apresentações semelhantes


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

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

2 Métodos Formais - Eng Soft - Ricardo L Schneider2 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.

3 Métodos Formais - Eng Soft - Ricardo L Schneider3 Deficiências dos métodos não formais: zContraditórios zAmbíguos zImprecisos zIncompletos zNíveis misturados de abstração

4 Métodos Formais - Eng Soft - Ricardo L Schneider4 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!

5 Métodos Formais - Eng Soft - Ricardo L Schneider5 Conceitos formais: zDados invariantes zEstado zOperação yprécondições ypóscondições

6 Métodos Formais - Eng Soft - Ricardo L Schneider6 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

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

8 Métodos Formais - Eng Soft - Ricardo L Schneider8 Operadores de conjuntos: zPertence zNão pertence zContido zNão contido zConjunto vazio zUnião zInterseção zDiferença de conjuntos

9 Métodos Formais - Eng Soft - Ricardo L Schneider9 Componentes das linguagens formais de especificação z1. Sintaxe z2. Semântica z3. Relações de regras

10 Métodos Formais - Eng Soft - Ricardo L Schneider10 Linguagens: zCSP zLARCH zVDM zZ

11 Métodos Formais - Eng Soft - Ricardo L Schneider11 Futuro? zPontos positivos++++ yremove ambigüidade ymaior rigor zPontos negativos yFoco em funções e dados --(Tempo, controle e comportamento) yInterfaces homem.máquina melhor (gráficos) zSolução: CASEs apropriados!


Carregar ppt "Métodos Formais - Eng Soft - Ricardo L Schneider1 Métodos Formais."

Apresentações semelhantes


Anúncios Google