| 研究課題/領域番号 |
11780331
|
|---|
| 研究種目 |
奨励研究(A)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
社会システム工学
|
|---|
| 研究機関 | 広島大学 |
|---|
研究代表者 |
土肥 正 広島大, 工学部, 助教授 (00243600)
|
|---|
| 研究期間 (年度) |
1999 – 2000
|
| 研究課題ステータス |
完了 (2000年度)
|
| 配分額 *注記 |
1,400千円 (直接経費: 1,400千円)
2000年度: 600千円 (直接経費: 600千円)
1999年度: 800千円 (直接経費: 800千円)
|
|---|
| キーワード | ソフトウェア信頼度成長モデル / 無限サーバ待ち行列 / 確率モデル / ベイズ推定 / ギブスサンプリング / ニューラルネットワーク |
|---|
| 研究概要 |
本研究では、従来から提案されているソフトウェア信頼度成長モデルを理論的に統合し、かつソフトウェアのデバッグ過程から物理的にフォールト発見事象を表現するための確率モデルを提案した。具体的は、無限サーバ待ち行列の理論を適用することによりソフトウェアに残存するフォールト数を記述するための確率モデルを提案し、ソフトウェア信頼性評価に有用ないくつかの評価尺度を導出した。上述のモデルは、テストケースの到着過程とソフトウェア内の論理パスを通過するデバッグ過程によって表現されており、従来のソフトウェア信頼度成長モデルの全てがこの枠組みにおいて説明され得る。このような一般化されたモデルに対して、ベイズ法やギブスサンプリング法に基づいたシミュレーションを行うことにより、あらゆるタイプのソフトウェアフォールト発見データに適合するような統合的方法論を確立することが可能となった。最終的に、実際の工程で採集されたデータを用いて信頼性評価を行い、提案モデルの有効性を検証した。また、ニューラルネットワーク技術を応用することにより、新しいソフトウェア信頼性評価技法も新たに開発した。
|
