Issue No.09 - September (1987 vol.13)
R.W. Selby , Department of Information and Computer Science, University of California
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.
software testing, Empirical study, methodology evaluation, off-line software review, software development methodology, software management, software measurement
R.W. Selby, V.R. Basili, F.T. Baker, "Cleanroom Software Development: An Empirical Evaluation", IEEE Transactions on Software Engineering, vol.13, no. 9, pp. 1027-1037, September 1987, doi:10.1109/TSE.1987.233525