sean@aipna.ed.ac.uk (02/09/91)
Someone was asking for references to the Cleanroom development approach, as
an aside to information on methodologies. Well I do not think that, from
what I can remember of his posting, it will be of much use to him, but he
might find these articles interesting.
If anyone has more current references, I would appreciate hearing about
them.
Sean
P.S. The reason that I do not think cleanroom would be much use to him is
not that it is not a good technique, which it demonstrably is, but rather
that it is a much more radical departure than the tree eating, pretty
printing, pretty picture drawing, enormous and prettily laid out
documentation generating facilities that are usually described as
methodologies by the people who hype these things. (This, as Charlie Martin
has pointed out here, is not necessarily a criticism of the latter if you
are producing software for people who expect (nay demand) primarily
enormous, prettily laid out documention, rather than primarily working
software and secondarily good documentation, but it is an important
distinction).
] Selby, R.W., V.R. Basili, F.T. Baker, "Cleanroom Software
] Development: An Empirical Evaluation", _IEEE Transactions
] on Software Engineering_, SE-13(9), pp. 1027-1037
]
]They had 15 three-person teams develop versions of the same software, and
]found that
]
] 1. "the Cleanroom teams' products met system requirements more
] completely and had a higher percentage of successful operationally
] generated test cases," and
]
] 2. "all ten Cleanroom teams made all of their scheduled intermediate
] product deliveries, while only two of the five non-Cleanroom teams
] did."
Certifying the Reliability of Software. P. Allen Currit, Michael
Dyer, and Harlan D. Mills. Transactions on Software Engineering.
V. SE-12, No 1, January 1986.
Cleanroom Software Engineering
Harlan D. Mills, Michael Dyer, and Richard Linger
IEEE Software, September, 1987
[3] Harlan D. Mills and J. H. Poore, "Bringing Software Under Statistical
Quality Control," Quality Progress, November 1988, pp. 52-55.
[4] R. C. Linger and H. D. Mills, "A Case Study in Cleanroom Software
Engineering: The IBM COBOL Structuring Facility," Proceedings of
COMPSAC '88, IEEE Computer Society Press, 1988
--
Dept. of Artificial Intelligence, JANET: sean@uk.ac.ed.aipna
University of Edinburgh, ARPA: sean%uk.ac.ed.aipna@nsfnet-relay.ac.uk
80 South Bridge, UUCP: ...!mcvax!ukc!aipna!sean
Edinburgh EH1 1HN, Scotland. PHONE: +44 (0) 31 650 2722