Statistical Testing Trough Cleanroom Software Engineering

The cleanroom method of software development ensures the highest quality when developing software. This book outlines the time, purpose, use, and method for employing cleanroom software engineering for quality software. Cleanroom software is a theory-based, team-oriented process for developing very high-quality software under statistical quality control. Cleanroom combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for quality certification. The cleanroom reference model is expressed in terms of a set of 14 processes that comprise the practice of cleanroom software engineering. These processes form a comprehensive guide to cleanroom projects for software project management and performance, process assessment and improvement, and technology transfer and adoption. The subject of statistical testing and its relation to crypto analysis is also discussed. The test may be useful as a first step in determining whether or not a generator is suitable for a particular cryptographic application.