Statistische Zuverlässigkeits-untersuchungen

Tests als unvollkommene Beweise haben den Nachteil, daß es unklar ist, wann ein Programm als genügend getestet angesehen werden kann. Der Wert der vorgeschlagenen Testkriterien für diese Entscheidung ist, wie gesehen, letztendlich nicht gesichert. Eine andere Strategie ist die Bewertung der Software mit statistischen Begriffen; dies wird seit Anfang der 70er Jahre wird immer wieder vorgeschlagen. In diesem Kapitel wird zunächst kurz ein statischer, theoretischer Ansatz angesprochen, die Zuverlässigkeit von Software statistisch zu erfassen, dann wird ein dynamischer Ansatz beschrieben, an einigen Beispielen illustriert und bewertet.