ソフトウェアクリーンルーム

ソフトウェアクリーンルーム（Cleanroom Software Engineering）とは、検証可能な信頼性を保ったソフトウェア開発工程のモデルの1つである。クリーンルーム手法はIBMにてハーラン・ミルズらが開発した。クリーンルーム手法の主眼はバグ除去よりもバグ予測にある。この名称は集積回路の製造工程で使われるクリーンルームが語源であり、欠陥を防ぐという目的の類似性から使われている。著作権や特許の侵害を防ぐクリーンルーム設計の開発とは関係しない。 クリーンルーム手法は1980年代末ごろから使われ始めた。1990年代初めには実証プロジェクトが軍関係で行われた。最近では、CSPで表現された仕様による自動検証機能をクリーンルーム手法に組み合わせる試みがなされている。