Central Principles
The basic principles of the Cleanroom process are
- Software development based on formal methods
- Cleanroom development makes use of the Box Structure Method to specify and design a software product. Verification that the design correctly implements the specification is performed through team review.
- Incremental implementation under statistical quality control
- Cleanroom development uses an iterative approach, in which the product is developed in increments that gradually increase the implemented functionality. The quality of each increment is measured against pre-established standards to verify that the development process is proceeding acceptably. A failure to meet quality standards results in the cessation of testing for the current increment, and a return to the design phase.
- Statistically sound testing
- Software testing in the Cleanroom process is carried out as a statistical experiment. Based on the formal specification, a representative subset of software input/output trajectories is selected and tested. This sample is then statistically analyzed to produce an estimate of the reliability of the software, and a level of confidence in that estimate.
Read more about this topic: Cleanroom Software Engineering
Famous quotes containing the words central and/or principles:
“The fantasies inspired by TB in the last century, by cancer now, are responses to a disease thought to be intractable and capricious—that is, a disease not understood—in an era in which medicine’s central premise is that all diseases can be cured.”
—Susan Sontag (b. 1933)
“It is a life-and-death conflict between all those grand, universal, man-respecting principles which we call by the comprehensive term democracy, and all those partial, person-respecting, class-favoring elements which we group together under that silver-slippered word aristocracy. If this war does not mean that, it means nothing.”
—Antoinette Brown Blackwell (1825–1921)