Hallo Forum,
Forscher der Uni Carnegie Mellon haben in Debian eine Unmenge von Bugs gefunden!
Getestet wurde mit einem neuen Auto-Programm namens "Mayhem". Die Liste der betroffenen Pakete ist erschreckend lang.
Details u. a. hier: http://www.golem.de/news/automatisierte-bugsuche-1-200-crashes-in-debian-1307-100138.html
MfG.
violetta
Xdata 
violetta7388 „Hallo Borlander,Programmierung ist aber keine ...“
Ganz besonders sehen andere wohl systematische Fehler, wo der Progammierer kaum noch eine Chance hat die selber noch zu bemerken - sofort.
In Literatur liest man Begriffe wie Programmverifizierung.
Hört sich wie ein mathematischer Beweis an,
aber ist wohl eher für die Syntax (?)
und schließt logische oder inhaltliche Fehler des Programmes nicht aus.
Mathematiker haben ja für fundamentale Beweise oft Jahre gebraucht bis die reif für die Entdeckung waren.
Programmierer sollen wohl heute, in immer kürzerer Zeit, korrekte Programme liefern ..
