Statistische Tests im Reinraum Software Engineering

Die Reinraum-Methode der Softwareentwicklung gewährleistet höchste Qualität bei der Entwicklung von Software. Dieses Buch beschreibt den Zeitpunkt, den Zweck, die Anwendung und die Methode für den Einsatz von Cleanroom Software Engineering für Qualitätssoftware. Cleanroom-Software ist ein theoriebasierter, teamorientierter Prozess zur Entwicklung sehr hochwertiger Software unter statistischer Qualitätskontrolle. Cleanroom kombiniert formale Methoden der objektbasierten Box-Struktur-Spezifikation und -Entwurf, funktionstheoretische Korrektheitsüberprüfung und statistische Nutzungstests zur Qualitätszertifizierung. Das Cleanroom-Referenzmodell wird in Form einer Reihe von 14 Prozessen ausgedrückt, die die Praxis des Cleanroom-Software-Engineering umfassen. Diese Prozesse bilden einen umfassenden Leitfaden für Reinraumprojekte für Softwareprojektmanagement und -leistung, Prozessbewertung und -verbesserung sowie Technologietransfer und -übernahme. Auch das Thema der statistischen Prüfung und ihre Beziehung zur Kryptoanalyse wird erörtert. Der Test kann als erster Schritt nützlich sein, um festzustellen, ob ein Generator für eine bestimmte kryptographische Anwendung geeignet ist oder nicht.