Einsatz der Software und Betriebsbewährtheit: Es bleibt festzustellen ...

Nachtrag Es bleibt festzustellen, daß die Aussage aus einem Wachstumsmodell bei hinrechend bekannter Problemstellung mit der nötigen Vorsicht auf den Betrieb übertragen werden kann, daß von einer solchen Aussage Konservativität erwartet, wenn auch nicht nachgewiesen werden kann, daß jedoch Qualifizierung hochzuverlässiger Software allein auf der Basis eines Wachstumsmodells nicht möglich ist. Hierzu ist ein auf dem Operationsprofil basierendes Modell eines Abnahmetests erforderlich, welches zwar anderen, jedoch nicht diesen Einschränkungen unterliegt. Die explizite Modellierung der Verteilung der Werte, die die Eingangsvariablen und die Speicher des Programms annehmen, kann den Effekt, daß eine Eingabe, die einmal lief, bei sonst gleichen Randbedingungn immer laufen wird, mit berücksichtigen.