ソフトウェアクリーンルームとは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 建設 > 施設 > クリーンルーム > ソフトウェアクリーンルームの意味・解説 

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

(Cleanroom software engineering から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/12/27 06:23 UTC 版)

ナビゲーションに移動 検索に移動
ソフトウェア開発
中心となる活動
パラダイムとモデル
方法論とフレームワーク
開発支援
プラクティス
ツール
標準と機関
用語集

ソフトウェアクリーンルーム(Cleanroom Software Engineering)とは、検証可能な信頼性を保ったソフトウェア開発工程のモデルの1つである。クリーンルーム手法はIBMにてハーラン・ミルズらが開発した[1]。クリーンルーム手法の主眼はバグ除去よりもバグ予測にある。この名称は集積回路の製造工程で使われるクリーンルームが語源であり、欠陥を防ぐという目的の類似性から使われている。著作権特許の侵害を防ぐクリーンルーム設計の開発とは関係しない。

クリーンルーム手法は1980年代末ごろから使われ始めた。1990年代初めには実証プロジェクトが軍関係で行われた[2]。最近では、CSPで表現された仕様による自動検証機能をクリーンルーム手法に組み合わせる試みがなされている[3]

基本原則

クリーンルームプロセスの基本原則は次の通りである:

形式手法に基づくソフトウェア開発
クリーンルーム開発では、「Box Structure Method」を使ってソフトウェア製品の設計を行う。設計が正しく要求仕様を実装しているかの検証はチームレビューで行う。
統計的プロセス制御による反復型開発
クリーンルーム開発では、反復型開発手法を用いて機能を徐々に実装していく。各反復での品質は事前に定められた標準に従って計測され、合格すれば次に進むことができる。品質標準に不合格だった場合、その反復を中断し、設計からやり直すことになる。
統計的に正当な評価
クリーンルームプロセスでのソフトウェアテストは統計的実験と見なすことができる。形式仕様記述に基づき、ソフトウェアの入出力値の代表を選別して評価する。また、この代表値を統計的に分析して、ソフトウェアの信頼度を測る。

脚注

  1. ^ Mills, H.; M. Dyer and R. Linger (September 1987). “Cleanroom Software Engineering”. IEEE Software 4 (5): 19–25. 
  2. ^ Foreman, John (2005年). “Cleanroom Software Engineering”. Software Technology Roadmap. Software Engineering Institute (SEI). 2006年4月27日閲覧。
  3. ^ Guy H. Broadfoot and P. J. Hopcroft (2005年). Introducing formal methods into industry using Cleanroom and CSP. Dedicated Systems e-Magazine. http://www.realtime-info.be/Magazine/emagazine/fulltext/2005Q1_1.pdf 2006年4月27日閲覧。. 

参考文献

  • Stavely, Allan (1999年). Toward Zero-Defect Programming. Addison-Wesley. 
  • Stacy J. Prowell and Carmen J. Trammell and Richard C. Linger and Jesse H. Poore (1999年). Cleanroom Software Engineering: Technology and Process. Addison-Wesley. 
  • Jesse H. Poore and Carmen J. Trammell (1996年). Cleanroom Software Engineering: A Reader. NCC Blackwell. 

関連項目





ソフトウェアクリーンルームと同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「ソフトウェアクリーンルーム」の関連用語

ソフトウェアクリーンルームのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



ソフトウェアクリーンルームのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのソフトウェアクリーンルーム (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS