For the meaning of Cleanroom in manufacturing, see Cleanroom.

For the meaning of Cleanroom engineering as a method to avoid copyright infringement, see Clean room design.

The Cleanroom Software Engineering process is a software development process intended to produce software with a certifiable level of reliability. The Cleanroom process was originally developed by Harlan Mills and several of his colleagues at IBM^[1]. The focus of the Cleanroom process is on defect prevention, rather than defect removal. The name Cleanroom was chosen to evoke the cleanrooms used in the electronics industry to prevent the introduction of defects during the fabrication of integrated circuits. The Cleanroom process first saw use in the mid to late 80s. Demonstration projects within the military began in the early 1990s^[2]. Recent work on the Cleanroom process has examined fusing Cleanroom with the automated verification capabilities provided by specifications expressed in CSP^[3]. To meet Wikipedias quality standards, this article or section may require cleanup. ... Software requirements analysis is the activity of eliciting, analyzing, and recording requirements for software systems. ... Software architecture or software systems architecture can best be thought of as a representation of an engineered (or To Be Engineered) software system, and the process and discipline for effectively implementing the design(s) for such a system. ... HTML and JavaScript in an IDE that uses color coding to highlight various keywords and help the developer see the function of each piece of code. ... Software testing is the process used to help identify the correctness, completeness, security and quality of developed computer software. ... This article needs to be wikified. ... Agile software development is a conceptual framework for undertaking software engineering projects. ... Iterative and Incremental development is a software development process, as opposed to more traditional waterfall model. ... Rapid application development (RAD), is a software development process developed initially by James Martin in the 1980s. ... The Rational Unified Process (RUP) is an iterative software development process created by the Rational Software Corporation, now a division of IBM. The RUP is not a single concrete prescriptive process, but rather an adaptable process framework. ... The spiral model is a software development process combining elements of both design and prototyping-in-stages, in an effort to combine advantages of top-down and bottom-up concepts. ... The waterfall model is a software development model (a process for the creation of software) in which development is seen as flowing steadily downwards (like a waterfall) through the phases of requirements analysis, design, implementation, testing (validation), integration, and maintenance. ... To meet Wikipedias quality standards, this article or section may require cleanup. ... Software Configuration Management (SCM) is part of configuration management (CM). ... To meet Wikipedias quality standards, this article or section may require cleanup. ... Project management is the discipline of defining and achieving targets while optimizing the use of resources (time, money, people, materials, energy, space, etc) over the course of a project (a set of activities of finite duration). ... Nasas Glenn Research Center cleanroom. ... Clean room design is the method of copying a design by reverse engineering and then recreating it without infringing any of the copyrights and trade secrets associated with the original design. ... To meet Wikipedias quality standards, this article or section may require cleanup. ... Reliability concerns quality or consistency. ... This article needs to be wikified. ... International Business Machines Corporation (IBM, or colloquially, Big Blue; NYSE: IBM) is a computer technology firm headquartered in Armonk, NY, USA. The company, which was founded in 1888 and incorporated June 15, 1911, manufactures and sells computer hardware, software, infrastructure services, hosting services, and consulting services. ... Nasas Glenn Research Center cleanroom. ... Integrated circuit showing memory blocks, logic and input/output pads around the periphery A monolithic integrated circuit (also known as IC, microchip, silicon chip, computer chip or chip) is a miniaturized electronic circuit (consisting mainly of semiconductor devices, as well as passive components) which has been manufactured in the surface... In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems. ...

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 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.

In computer science, formal methods refers to mathematically based techniques for the specification, development and verification of software and hardware systems (Foldoc:formalmethods). ... The application of statistical techniques (SPC and Statistical Sampling) to control a product characteristic to ensure it meets product specifications or the engineering design specifications. ... Iteration is the repetition of a process, typically within a computer program. ... Software testing is the process used to help identify the correctness, completeness, security and quality of developed computer software. ...

References

1. ^ Mills, H., M. Dyer and R. Linger (September 1987). "Cleanroom Software Engineering". IEEE Software 4 (5): 19–25.
2. ^ Foreman, John (2005). Cleanroom Software Engineering. Software Technology Roadmap. Software Engineering Institute (SEI). URL accessed on 2006-04-27.
3. ^ Guy H. Broadfoot and P. J. Hopcroft (2005). "Introducing formal methods into industry using Cleanroom and CSP". Dedicated Systems e-Magazine. URL accessed on 2006-04-27.