Stabile Software: Was bedeutet das eigentlich?

[Christian Kruse]

Hallo Dark,

ich bin dennoch der Meinung, dass kein Mensch in der Lage sein
wird, ein 100% sicheres Programm erstellen zu können; egal, wie
sie getestet wird.

Ich habe dir den Gegenbeweis doch schon erbracht. Genau wie
Christoph Zurnieden.

1
Doch, eine Software muss "eigenständig" auf solche Situationen
reagieren können, bzw., diese erkennen (und entsprechende
Maßnahemn ergreifen, warnen, etc.)

Wovon redest du? Das zitierte hat keinen Zusammenhang mit dem, was
du sagst, irgendwie.

Erstmal: man kann auch anders als durch ausprobieren beweisen,
dass ein Programm 100% korrekt ist.
Wie?

Oh, das ist ein wirklich kompliziertes Verfahren. Fuer eine einfache
while()-Schleife braucht es da schon etwa zwei bis drei DIN
A4-Seiten an Beweis.

Eine 100% Sicherheit kannst du nicht garantieren. (Meine Meinung)

Wissenschaft gibt wenig auf Meinungen. Nur, weil du dir etwas nicht
vorstellen kannst, heisst das nicht, dass es das nicht gibt. Wie
gesagt, das einfachste Beispiel, dass ich mir gerade vorstellen
kann, ist »1;«.

Du wirst NIEMLAS eine Software finden, die 100% stabil, auf alle
Situationen angepasst und fehlerfrei läuft. (Ich lasse mich gerne
eines Besseren belehren)

»Noch viel lernen du musst, junger Skywalker.«

Grüße,
 CK