Cleanroom Software Engineering

China Product


Central principles

The basic principles of the Cleanroom process are

Software development based on formal methods baby disposable diapers

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

Incremental implementation under statistical quality control huggies baby diapers

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.

References

^ Mills, H.; M. Dyer and R. Linger (September 1987). "Cleanroom Software Engineering". IEEE Software 4 (5): 1925. doi:10.1109/MS.1987.231413. 

^ Foreman, John (2005). "Cleanroom Software Engineering Reference". Software Technology Roadmap. Software Engineering Institute (SEI). http://www.sei.cmu.edu/library/abstracts/reports/96tr022.cfm. Retrieved 2006-04-27. 

^ Guy H. Broadfoot and P. J. Hopcroft (2005). Introducing formal methods into industry using Cleanroom and CSP. Dedicated Systems e-Magazine. http://www.realtime-info.be/Magazine/emagazine/fulltext/2005Q1_1.pdf. Retrieved 2006-04-27. 

Further reading

Stavely, Allan (1999). Toward Zero-Defect 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: A Reader. NCC Blackwell. 

External links

An introduction

v  d  e

Software engineering

Fields

Requirements analysis System analysis Software design Computer programming Formal methods Software testing Software deployment Software maintenance

Concepts

Data modeling Enterprise architecture Functional specification Modeling language Programming paradigm Software Software architecture Software development methodology Software development process Software quality Software quality assurance Structured analysis

Orientations

Agile Aspect-oriented Object orientation Ontology Service orientation SDLC

Models

Development models: Agile Iterative model RUP Scrum Spiral model Waterfall model XP V-Model

Other models: Automotive SPICE CMMI Data model Function model Information model Metamodeling Object model Systems model View model

Modeling languages: IDEF UML

Software

engineers

Kent Beck Grady Booch Fred Brooks Barry Boehm Ward Cunningham Ole-Johan Dahl Tom DeMarco Martin Fowler C. A. R. Hoare Watts Humphrey Michael A. Jackson Ivar Jacobson Craig Larman James Martin Bertrand Meyer David Parnas Winston W. Royce James Rumbaugh Niklaus Wirth Edward Yourdon

Related fields

Computer science Computer engineering Enterprise engineering History Management Mathematics Project management Quality management Software ergonomics Systems engineering

This software engineering-related article is a stub. You can help Wikipedia by expanding it.

v  d  e

Categories: Software development process | Software quality | Software engineering stubs