Cleanroom Software Development: An Empirical Evaluation
- 1 September 1987
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-13 (9), 1027-1037
- https://doi.org/10.1109/tse.1987.233525
Abstract
The Cleanroom software development approach is intended to produce highly reliable software by integrating formal methods for specification and design, nonexecution-based program development, and statistically based independent testing. In an empirical study, 15 three-person teams developed versions of the same software system (800-2300 source lines); ten teams applied Cleanroom, while five applied a more traditional approach. This analysis characterizes the effect of Cleanroom on the delivered product, the software development process, and the developers.Keywords
This publication has 25 references indexed in Scilit:
- Software Development Under Statistical Quality ControlPublished by Springer Science and Business Media LLC ,1986
- Prototyping Versus Specifying: A Multiproject ExperimentIEEE Transactions on Software Engineering, 1984
- Developing Electronic Systems with Certifiable ReliabilityPublished by Springer Science and Business Media LLC ,1983
- A Controlled Experiment Quantitatively Comparing Software Development ApproachesIEEE Transactions on Software Engineering, 1981
- A Complexity MeasureIEEE Transactions on Software Engineering, 1976
- Reliability of the Path Analysis Testing StrategyIEEE Transactions on Software Engineering, 1976
- Design and code inspections to reduce errors in program developmentIBM Systems Journal, 1976
- A Bayesian Reliability Growth Model for Computer SoftwareJournal of the Royal Statistical Society Series C: Applied Statistics, 1973
- On the criteria to be used in decomposing systems into modulesCommunications of the ACM, 1972
- An axiomatic basis for computer programmingCommunications of the ACM, 1969