| 研究概要 |
本研究では,不完全デバッグ作業により混入するフォールトの潜入過程とソフトウェアの信頼度成長過程の両者を,確率過程モデルとして非同次ポアソン過程(nonhomogeneous Poisson process,以下NHPPと略す)やマルコフ過程(Markov process)に組み込んで,これをソフトウェア信頼度成長モデルとして構築した.すなわち,従来のソフトウェア信頼度成長モデルを基礎として,ランダムに新規フォールトが潜入するものと仮定した上で新たなソフトウェア信頼性評価モデルを提案したり,ソフトウェアが動作状態と不動作状態を交互に繰り返すものとして,その不動作状態における修復作業での不完全デバッグ要因を考慮したソフトウェア・アベイラビリティモデル,いわゆるソフトウェア可用性評価モデルを提案した.同時に,コンピュータシステムが致命的な影響を及ぼす処理を制御するような適用分野に対して設計の際に考慮する必要のあるソフトウェア安全性評価のためのソフトウェア信頼性モデルも構築できた.
このように上記の不完全デバッグ要因を考慮したソフトウェア信頼度成長モデルを構築して,この不完全デバッグ過程を解明することにより,ソフトウェア製品の出荷前および出荷後の保守作業でのフォールト混入率が把握できることが期待される.さらに,本研究を進展させることにより,実際のデバッグ作業に対し,フォールトの修正に伴って潜入するフォールトを最小限にするためのプロセス改善や不完全デバッグ作業の再発防止対策の提案も可能となろう.
|
