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

Issue

9

fYear

1987

Firstpage

1027

Lastpage

1037

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;

fLanguage

English

Journal_Title

Software Engineering, IEEE Transactions on

Publisher

ieee

ISSN

0098-5589

Type

jour

DOI

10.1109/TSE.1987.233525

Filename

1702325