Perguntas com a marcação «formal-methods»

Comparando a engenharia de software com a engenharia civil, fiquei surpreso ao observar uma maneira diferente de pensar: qualquer engenheiro civil sabe que, se você quiser construir uma pequena cabana no jardim, poderá obter os materiais e construí-lo, enquanto que, se quiser construir uma casa de 10 andares (ou, por …

63 programming-practices  theory  formal-methods 

Se você foi treinado no uso de métodos formais (FM) para programação: Quão útil você achou? O que envolveu o seu treinamento em FM (por exemplo, um curso, um livro)? Quais ferramentas de FM você usa? Quais são as vantagens em velocidade / qualidade em comparação com a não utilização …

17 code-quality  formal-methods 

Fechado . Esta questão é baseada em opiniões . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela possa ser respondida com fatos e citações editando esta postagem . Fechado há 2 anos . Métodos formais podem ser usados ​​para especificar, provar e …

13 development-process  code-quality  formal-methods 

A "teoria dos testes de software" no Google parece apenas dar teorias no sentido suave da palavra; Não consegui encontrar nada que classificasse como teoria no sentido matemático, da informação teórica ou de algum outro campo científico. O que estou procurando é algo que formalize o que é testar, as …

12 testing  math  theory  formal-methods  information-theory 

No momento, estou refatorando parte de uma grande base de código sem nenhum teste de unidade. Tentei refatorar o código da maneira bruta, ou seja, tentando adivinhar o que o código está fazendo e quais mudanças não o mudariam, mas sem sucesso: ele quebra aleatoriamente os recursos em toda a …

10 unit-testing  refactoring  legacy  formal-methods 

Recentemente, fui designado para trabalhar em um pequeno projeto que está sendo implementado em Haskell. Vindo de um background imperativo / imperativo, estou acostumado a converter requisitos / histórias de usuários em casos de uso e diagrama de sequência antes da codificação. No entanto, no projeto Haskell ao qual fui …

8 functional-programming  requirements  haskell  logic  formal-methods