クリーンルームソフトウェアエンジニアリング

ウィキペディアから、無料の百科事典
ナビゲーションにジャンプ 検索にジャンプ

クリーンルームソフトウェアエンジニアリングプロセスは、認証可能なレベルの信頼性を備えたソフトウェアを作成することを目的としたソフトウェア開発プロセスですクリーンルームプロセスは、もともとハーランミルズとIBMのアランヘヴナーを含む彼の同僚の何人かによって開発されました[1]クリーンルームプロセスの焦点は、欠陥の除去ではなく、欠陥の防止にあります。「クリーンルーム」という名前は、半導体の製造中に欠陥が発生するのを防ぐために、電子産業で使用されるクリーンルームを想起させるために選ばれました。クリーンルームプロセスは、1980年代半ばから後半に最初に使用されました。軍内での実証プロジェクトは1990年代初頭に始まりました。[2]クリーンルームプロセスに関する最近の研究では、クリーンルームとCSPで表現された仕様によって提供される自動検証機能との融合が検討されています。[3]

中心的な原則

クリーンルームプロセスの基本原則は次のとおりです。

形式手法に基づくソフトウェア開発
いくつかの数学的形式に基づくソフトウェアツールのサポートには、モデル検査プロセス代数、およびペトリネットが含まれます。ボックス構造法は、ソフトウェア製品を指定および設計するためのそのような手段の1つである可能性があります[4]設計が仕様を正しく実装していることの検証は、多くの場合ソフトウェアツールのサポートを伴うチームレビューを通じて実行されます。
統計的品質管理の下での増分実装
クリーンルーム開発は反復的なアプローチを使用します。このアプローチでは、製品は段階的に開発され、実装された機能が徐々に増加します。各増分の品質は、開発プロセスが許容範囲内で進行していることを確認するために、事前に確立された基準に対して測定されます。品質基準を満たしていない場合、現在の増分のテストが中止され、設計段階に戻ります。
統計的に健全なテスト
クリーンルームプロセスでのソフトウェアテストは、統計的実験として実行されます。正式な仕様に基づいて、ソフトウェアの入出力軌道の代表的なサブセットが選択され、テストされます。次に、このサンプルを統計的に分析して、ソフトウェアの信頼性の見積もりと、その見積もりの​​信頼度を算出します。

参照

  1. ^ ミルズ、H。; M.ダイアー; R.リンガー(1987年9月)。「クリーンルームソフトウェアエンジニアリング」 (PDF)IEEEソフトウェア4(5):19–25。土井10.1109/MS.1987.231413S2CID383170 _
  2. ^ フォアマン、ジョン(2005)。「クリーンルームソフトウェアエンジニアリングリファレンス」ソフトウェアテクノロジーロードマップソフトウェア工学研究所(SEI)2006年4月27日取得
  3. ^ Guy H.BroadfootおよびPJHopcroft(2005)。「クリーンルームとCSPを使用した形式手法の業界への導入」。専用システムe-マガジン。S2CID14066854_  {{cite journal}}: Cite journal requires |journal= (help)
  4. ^ Linger、R.(1994年4月)。「クリーンルームプロセスモデル」。IEEEソフトウェア11(2):50–58。CiteSeerX10.1.1.130.8642_ 土井10.1109/52.268956S2CID206447346_  

さらに読む

  • ステーブリー、アラン(1999)。ゼロディフェクトプログラミングに向けてアディソン-ウェスリー。
  • ステイシーJ.プロウェルとカーメンJ.トランメルとリチャードC.リンガーとジェシーH.プーア(1999)。クリーンルームソフトウェアエンジニアリング:テクノロジーとプロセスアディソン-ウェスリー。
  • ジェシーH.プーアとカーメンJ.トランメル(1996)。クリーンルームソフトウェアエンジニアリング:読者NCCブラックウェル。

外部リンク