5 Cleanroom Software Certification

A statistical approach to software testing was developed both by Harlan Mills (Mills, Dyer, and Linger 1987) and colleagues at IBM, and by John Musa (1993) and colleagues at AT&T. The terminology used by Mills and Musa differed slightly, but their ideas were similarly drawn from scientific approaches to product testing and certification in mature engineering disciplines. In other industries, products are typically certified under protocols in which random samples of the product are drawn, tests characteristic of operational use are applied, analytical or statistical inferences are made, and products meeting a standard are “certified” as fit for use.

The Cleanroom approach to software testing and certification—statistical ...

Get Cleanroom Software Engineering: Technology and Process now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.