Cleanroom software engineering for zero-defect software

Abstract

Cleanroom software engineering is a theory-based, team-oriented process for developing very high quality software under statistical control. Cleanroom combines formal methods of object-based box structure specification and design, function-theoretic correctness verification, and statistical usage testing for quality certification to produce software that has zero defects with high probability. The process of cleanroom development and certification is carried out incrementally. Interface and design errors are rare because at each stage the harmonious operation of future increments at the next level of refinement is predefined by increments already in execution. The cleanroom process is being successfully applied in IBM and other applications. Quality results from several cleanroom projects are summarized. >