| Cleanroom Software Engineering |
Website Links For Cleanroom |
Information AboutCleanroom Software Engineering |
| CATEGORIES ABOUT CLEANROOM SOFTWARE ENGINEERING | |
| software engineering | |
| formal methods | |
|
CENTRAL PRINCIPLES The basic principles of the Cleanroom process are ;Software development based on to specify and design a software product. Verification that the design correctly implements the specification is performed through team review. ;Incremental implementation under 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 cesation 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. REFERENCES |
|
|