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:
“Friends serve central functions for children that parents do not, and they play a critical role in shaping children’s social skills and their sense of identity. . . . The difference between a child with close friendships and a child who wants to make friends but is unable to can be the difference between a child who is happy and a child who is distressed in one large area of life.”
—Zick Rubin (20th century)
“Custom is our nature.... What are our natural principles but principles of custom?”
—Blaise Pascal (1623–1662)