Title :
Cleanroom Software Development: An Empirical Evaluation
Author :
Selby, Richard W. ; Basili, Victor R. ; Baker, F. Terry
Author_Institution :
Department of Information and Computer Science, University of California
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 :
Empirical study; methodology evaluation; off-line software review; software development methodology; software management; software measurement; software testing; Computer aided software engineering; Computer science; Control systems; Frequency measurement; Programming; Software development management; Software measurement; Software systems; Software testing; System testing; Empirical study; methodology evaluation; off-line software review; software development methodology; software management; software measurement; software testing;
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.1987.233525
