Cleanroom Software Engineering: Developing Software Under Statistical Quality Control
Harlan D. Mills, Richard C. Linger · Encyclopedia of Software Engineering · 2002
Abstract Cleanroom software engineering is a theory‐based, team‐oriented engineering process for developing and certifying very high quality software under statistical quality control. (The name “Cleanroom” was chosen in analogy to the precision engineering of hardware cleanrooms.) Cleanroom software engineering methods include box structure specification and design, function‐theoretic correctness verification, incremental development, and usage‐based statistical testing for certification of software fitness for use. Cleanroom teams are organized into specification, development, and certification (testing) roles. The Cleanroom process originated in IBM in the mid‐1980s to bring engineering rigor to software development. Cleanroom software engineering has been applied with excellent results in a variety of system developments, and continues to evolve as an engineering technology.