Como engenheiro de software, escrevo muitos códigos para produtos industriais. Coisas relativamente complicadas com classes, threads, alguns esforços de design, mas também alguns compromissos de desempenho. Eu faço muitos testes e estou cansado de testar, então fiquei interessado em ferramentas...
Wikipedia: Na ciência teórica da computação, a correção de um algoritmo é afirmada quando se diz que o algoritmo está correto em relação a uma especificação. Mas o problema é que obter a especificação "apropriada" não é uma tarefa trivial, e não existe um método 100% correto (tanto quanto eu...
Sobre o problema do Heartbleed, Bruce Schneier escreveu em seu Crypto-Gram de 15 de abril: '"Catastrófico" é a palavra certa. Na escala de 1 a 10, esse é um 11. ' Li vários anos atrás que um núcleo de um determinado sistema operacional foi rigorosamente verificado com um sistema de verificação de...
Eu tenho lido sobre PHP e muitos autores mencionam erros semânticos e lógicos separadamente. Como exemplo de erro semântico, eles fornecem uma função chamada com número incorreto de parâmetros: isso não será capturado pelo analisador, mas gerará um erro quando executado. No entanto, em linguagens...
Eu sei que existe algo chamado correção parcial, mas eu queria saber se havia uma maneira de saber quão próximo um programa semi-correto está de um programa totalmente correto. Por exemplo, se você tivesse um programa de classificação que classifique quase completamente uma matriz, poderia usar a...