Softwarezuverlassigkeit : Quantitative Modelle und Nachweisverfahren

Frontmatter -- Vorwort -- Inhalt -- 1. Einleitung -- 2. Der statistische Test von Software -- 3. Zuverlässigkeitswachstummodelle -- 4. Ein Modell zur probabilistischen Bewertung eines erfolgreichen Abnahmetests -- 5. Vorbereitung und Durchführung eines probabilistlschen Abnahmetests -- 6. Unslcherheits- und Sensitivitätsanalyse -- 7. Ein Ansatz zur Berücksichtigung der Resultate eines Zuverlässigkeitswachstummodells bei der Bewertung eines Abnahmetests -- 8. Zusammenfassende Schlußbemerkungen -- Anhang 1: Ableitung erwartungstreuer Schätzer für das Abnahmetestmodell -- Anhang 2: Anwendung auf ein Beispiel -- Literatur -- Stichwortverzeichnis -- Backmatter