[php] Artikel-Tipp: "Der Traum von Software ohne Bugs" (SpiegelOnline)

[Sebastian Mendel]

Christian Baumann wrote:
>> Man hat getan was man konnte um Fehler zu finden, aber man sollte die 
>> Möglichkeit berücksichtigen dass es Fehler gibt.
> 
> Sollte man das nicht immer?
> "Man kann nur die Existenz von Fehler beweisen, nicht deren
> Abwesenheit!"

Naja, zumindest Theoretisch stimmt das so nicht.

Die Nichtexistenz definierten Fehler kann man sehr wohl beweisen.

Da auch das komplexeste Programm nur eine begrenzte Anzahl von
Funktionen und Möglichkeiten hat ist auch die Anzahl der Fehler begrenzt.

Nun bleibt nur noch alle Möglichkeiten (mögliche Aufrufe in Kombination
mit allen möglichen Parameterwerten ) des Programms herauszufinden.

... soweit die Theorie ... ;-)


-- 
Sebastian Mendel

www.sebastianmendel.de
www.sf.net/projects/phpdatetime | www.sf.net/projects/phptimesheet