Als Softwareentwickler schreibe ich viel Code für Industrieprodukte. Relativ kompliziertes Zeug mit Klassen, Threads, einigen Designbemühungen, aber auch einigen Kompromissen für die Leistung. Ich teste viel und bin es leid zu testen. Daher interessierte ich mich für formale Proof-Tools wie Coq,...
Aus Wikipedia: In der theoretischen Informatik wird die Korrektheit eines Algorithmus behauptet, wenn gesagt wird, dass der Algorithmus in Bezug auf eine Spezifikation korrekt ist. Das Problem ist jedoch, dass es keine triviale Aufgabe ist, die "passende" Spezifikation zu erhalten, und es gibt...
In Bezug auf den Heartbleed-Bug schrieb Bruce Schneier in seinem Crypto-Gram vom 15. April: "Catastrophic" ist das richtige Wort. Auf der Skala von 1 bis 10 ist dies eine 11. ' Ich habe vor einigen Jahren gelesen, dass ein Kernel eines bestimmten Betriebssystems mit einem modernen...
Ich habe über PHP gelesen und viele Autoren erwähnen semantische und logische Fehler getrennt. Als Beispiel für einen semantischen Fehler geben sie eine Funktion an, die mit einer falschen Anzahl von Parametern aufgerufen wird: Diese wird vom Parser nicht abgefangen, gibt aber beim Ausführen einen...
Ich weiß, dass es etwas gibt, das als teilweise Korrektheit bezeichnet wird, aber ich habe mich gefragt, ob es eine Möglichkeit gibt, festzustellen, wie nahe ein halbkorrektes Programm an einem vollständig korrekten Programm liegt. Wenn Sie beispielsweise ein Sortierprogramm hätten, das ein Array...