Please enable JavaScript.
Coggle requires JavaScript to display documents.
Métodos Formais, B está incluída aqui ^ - Coggle Diagram
Métodos Formais
Método B
Modelagem
-
É provado que especificação e modelos de programa são consistentes (não possuem contradições em si mesmos)
-
-
-
-
Os modelos de programa são decompostos, de forma a quebrar a complexidade do software e sempre permitir que as provas sejam gerenciáveis
Primeiro modelo é geral, mais abstrato e simples. É seguido de refinamentos que adicionarão aos poucos os detalhes da especificação
Provar em vez de testar
Erros são detectados através de provas durante a construção do software, não em testes feitos após o desenvolvimento
-
Baseado em linguagem matemática (predicados, conjuntos, relações, funções...)
-
Especificação
-
Questões
Garantir que a implementação gerada à partir da especificação reflete o mesmo comportamento que a mesma
-
-
Modelos
-
Declarativo, focado na solução em si
-
-
Podem ser utilizados para validar procedimentos, regras de negócio, políticas de segurança
São aplicados em qualquer tipo de sistema que seja economicamente crítico ou que possa colocar a integridade de pessoas em risco
Não eliminam a necessidade de testes no sistema, especialmente testes de integração e validação
-
Possuem longas fases de especificação, mas que podem levar à detecção precoce de bugs e à uma baixa necessidade de manutenção, reduzindo gastos e tempo do projeto
-