Stabile Software: Was bedeutet das eigentlich?

[Christian Kruse]

Hallo Dark,

Nein, in gewissen Lebensbereichen gibt es tatsächlich Software,
die zu 100% stabil läuft.

Nein, nicht mal da. Wie willst du _sämtliche_Fälle der Gründe
eines möglichen Herzstillstandes durchtesten, oder alle
Möglichkeiten eines Angriffes auf ein Atomkraftwerk?

Erstmal: man kann auch anders als durch ausprobieren beweisen, dass
ein Programm 100% korrekt ist. Zweitens: es gehoert nicht zu den
Aufgaben einer fehlerfreien Software, auf Angriffe auf Atom-Reaktoren
so reagieren zu koennen, dass nichts passiert.

Wenn eine Software auf alle denkbaren und möglichen Eingabedaten
immer mit den definierten Ausgabezuständen reagiert, dann

• kann sie nicht abstürzen
• gerät in keinen unkontrollierten Zustand
• ist immer stabil.

Diese Software zeigts du mir...

1;

Grüße,
 CK