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...
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 de FM?...
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...
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,...
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 base de...
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...