Jumat, 29 Juni 2018

Sponsored Links

CLEANROOM SOFTWARE ENGINEERING - YouTube
src: i.ytimg.com

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


Software's Chronic Crisis” by W. Wayt Gibbs - ppt download
src: slideplayer.com


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.

Software's Chronic Crisis” by W. Wayt Gibbs - ppt download
src: slideplayer.com


External links

  • Introduction


Source of the article : Wikipedia

Comments
0 Comments