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
V. Basili, F. Baker and R. Selby, "Cleanroom Software Development: An Empirical Evaluation," in IEEE Transactions on Software Engineering, vol. 13, no. , pp. 1027-1037, 1987.