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
Borlander 
Xdata „Ganz besonders sehen andere wohl systematische Fehler, wo ...“
In Literatur liest man Begriffe wie Programmverifizierung. Hört sich wie ein mathematischer Beweis an, aber ist wohl eher für die Syntax (?)
Man kann tatsächlich beweisen, dass bestimmte Code ein Ergebnis liefert das einer genau definierten formalen Definition entspricht. Das ist aber natürlich sehr aufwändig und erfordert natürlich immer noch eine fehlerfreie formale Spezifikation. Das macht man nur wenn es sich absolut nicht vermeiden lässt (z.B. bei sicherheitskritischen Systemen)…
Syntaxprüfung ist sehr einfach. Da muss "nur" geprüft werden ob der Quellcode einer vorgegebene formalen Sprache (bei der noch einige bestimmte Eigenschaften gefordert werden) entspricht.
