Next:
7.1 Einordnung und Ziele
Up:
SWT2
Previous:
6.8 Weitergehende Information
7. Die Cleanroom-Methode
7.1 Einordnung und Ziele
7.2 Ansätze
7.2.1 Kleine Teams aus Gleichen
7.2.2 Separation von Entwicklung und Test
7.2.3 Exakte Spezifikation
7.2.4 Schrittweise Verfeinerung
7.2.5 Begutachtung und Verifikation
7.2.6 Inkrementelle Entwicklung
7.2.7 Statistisches Testen
7.2.8 Zusammenfassung
7.2.9 Bemerkung: Austauschbarkeit der Techniken
7.3 Ergebnisse
7.3.1 Ericsson OS-32
7.3.2 IBM Cobol SF
7.3.3 Ein kontrolliertes Experiment
7.4 Probleme und Hindernisse
7.4.1 Anwendungsbereich
7.4.2 Randbedingungen
7.5 Spezifikation, Entwurf und Verifikation mit Kastenstrukturen
7.5.1 black box, state box, clear box
7.5.2 Beispiel
7.6 Statistisches Testen und Zertifizierung
7.6.1 Benutzungsmodellierung
7.6.2 Testen
7.6.3 Zertifizierung
7.7 Weitergehende Information
Lutz Prechelt
1999-04-13