Towards Zero Defect Software: The Cleanroom Approach

In this report we review the Cleanroom Methodology for software development. The Cleanroom targets certification of Mean Time To Failure of Software, which leads to a high quality software product. The methodology relies on a correct, complete and stable specification, as well as proven design and statistical methods for functional testing. We present an overview of this process, as well as its phases and needs. The migration to the Cleanroom methodology is also discussed. Finally we provide some discussion on the economics of software quality. Conclusions are presented and related to our research. Contents 1 Introduction 3 2 The Cleanroom methodology 3 2.1 Software Specification in the Cleanroom : : : : : : : : : : : : : : : : : : : : : : : 4 2.2 Software Design/Correctness in the Cleanroom : : : : : : : : : : : : : : : : : : : : 5 2.2.1 Design : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 5 2.2.2 Correctness : : : : : : : : : : : : : : : : : : :..