La méthode de développement de logiciels en salle blanche garantit une qualité optimale lors du développement de logiciels. Ce livre présente le moment, l'objectif, l'utilisation et la méthode d'emploi de l'ingénierie logicielle en salle blanche pour obtenir des logiciels de qualité. Le logiciel en salle blanche est un processus théorique, axé sur l'équipe, qui permet de développer des logiciels de très haute qualité sous contrôle statistique de la qualité. Cleanroom combine des méthodes formelles de spécification et de conception de structures de boîtes basées sur les objets, de vérification de la correction par la théorie des fonctions et de tests d'utilisation statistiques pour la certification de la qualité. Le modèle de référence de la salle blanche est exprimé en termes d'un ensemble de 14 processus qui comprennent la pratique de l'ingénierie logicielle en salle blanche. Ces processus constituent un guide complet des projets en salle blanche pour la gestion et la performance des projets logiciels, l'évaluation et l'amélioration des processus, ainsi que le transfert et l'adoption de technologies. Le sujet des tests statistiques et de leur relation avec l'analyse de la cryptographie est également abordé. Le test peut être utile comme première étape pour déterminer si un générateur est adapté ou non à une application cryptographique particulière.