ソフトウェアクリーンルーム
ウィキペディアから
Remove ads
ウィキペディアから
ソフトウェアクリーンルーム(Cleanroom Software Engineering)とは、検証可能な信頼性を保ったソフトウェア開発工程のモデルの1つである。クリーンルーム手法はIBMにてハーラン・ミルズらが開発した[1]。クリーンルーム手法の主眼はバグ除去よりもバグ予測にある。この名称は集積回路の製造工程で使われるクリーンルームが語源であり、欠陥を防ぐという目的の類似性から使われている。著作権や特許の侵害を防ぐクリーンルーム設計の開発とは関係しない。
クリーンルーム手法は1980年代末ごろから使われ始めた。1990年代初めには実証プロジェクトが軍関係で行われた[2]。最近では、CSPで表現された仕様による自動検証機能をクリーンルーム手法に組み合わせる試みがなされている[3]。
クリーンルームプロセスの基本原則は次の通りである:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.