Software Technology for Adaptable, Reliable Systems (STARS) Program. TheCleanroom Engineering Software Development Process

摘要

Cleanroom provides software developers with the basis for developing softwareunder statistical quality control. Software is functionally verified and certified, not tested, using sampling techniques, thus permitting software developers to assert a mean time to failure (MTTF) for the software modules they develop. Under the STARS Contract, the IBM STARS team developed a process manual to assist software development organizations in adopting and installing the Cleanroom Engineering Software Development Process. This manual describes the process and verification activities required for performing a Cleanroom Engineering effort from the standpoint of specifiers, developers, certifiers, and managers. The manual was developed to support process improvement programs directed at improving software quality and development productivity by incorporating some or all of the Cleanroom Engineering software development technologies into their current software development process and practices.