The process of hygiene software engineering is a software development process intended to produce software with a reliable level of reliability. The cleanroom process was originally developed by Harlan Mills and several of his colleagues including Alan Hevner at IBM. The focus of the cleanroom process is on the prevention of disability, rather than the removal of defects. The name "cleanroom" was chosen to call cleanrooms used in the electronics industry to prevent the introduction of defects during semiconductor manufacturing. The cleanroom process was first used in the mid to late 1980s. The demonstration project in the military began in the early 1990s. The latest work on the cleanroom process has checked the fusing cleanroom with automatic verification capabilities provided by the specifications stated in the CSP.
Video Cleanroom software engineering
The main principle
The basic principles of the cleanroom process are
- Software development based on formal methods
- Software support is based on some mathematical formalism including model checking, algebras process, and Petri nets. Box Structure Method can be one means to determine and design software products. Verify that the design implements the specification correctly is done through a team review, often with software support.
- Additional implementation under statistical quality control
- The development of the cleanroom uses an iterative approach, where the product is developed with the addition of which gradually improves the functionality being implemented. The quality of each increment is measured against predefined standards to verify that the development process is running properly. Failure to meet quality standards results in the termination of testing for current increases, and returns to the design phase.
- Clear statistical tests
- Software testing in the cleanroom process is performed as a statistical experiment. Based on the formal specification, a subset of representative input/output software paths is selected and tested. These samples are then analyzed statistically to yield an estimate of software reliability, and the degree of confidence in that estimate.
Maps Cleanroom software engineering
References
Further reading
- Stavely, Allan (1999). Going Untreated Programming . Addison-Wesley. Stacy J. Prowell and Carmen J. Trammell and Richard C. Linger and Jesse H. Poore (1999). Cleanroom Software Engineering: Technology and Process . Addison-Wesley.
- Jesse H. Poore and Carmen J. Trammell (1996). Cleanroom Software Engineering: Readers . NCC Blackwell.
External links
- Introduction
Source of the article : Wikipedia