| Project/Area Number |
11780331
|
|---|
| Research Category |
Grant-in-Aid for Encouragement of Young Scientists (A)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
社会システム工学
|
|---|
| Research Institution | Hiroshima University |
|---|
Principal Investigator |
土肥 正 広島大, 工学部, 助教授 (00243600)
|
|---|
| Project Period (FY) |
1999 – 2000
|
| Project Status |
Completed (Fiscal Year 2000)
|
| Budget Amount *help |
¥1,400,000 (Direct Cost: ¥1,400,000)
Fiscal Year 2000: ¥600,000 (Direct Cost: ¥600,000)
Fiscal Year 1999: ¥800,000 (Direct Cost: ¥800,000)
|
|---|
| Keywords | ソフトウェア信頼度成長モデル / 無限サーバ待ち行列 / 確率モデル / ベイズ推定 / ギブスサンプリング / ニューラルネットワーク |
|---|
| Research Abstract |
本研究では、従来から提案されているソフトウェア信頼度成長モデルを理論的に統合し、かつソフトウェアのデバッグ過程から物理的にフォールト発見事象を表現するための確率モデルを提案した。具体的は、無限サーバ待ち行列の理論を適用することによりソフトウェアに残存するフォールト数を記述するための確率モデルを提案し、ソフトウェア信頼性評価に有用ないくつかの評価尺度を導出した。上述のモデルは、テストケースの到着過程とソフトウェア内の論理パスを通過するデバッグ過程によって表現されており、従来のソフトウェア信頼度成長モデルの全てがこの枠組みにおいて説明され得る。このような一般化されたモデルに対して、ベイズ法やギブスサンプリング法に基づいたシミュレーションを行うことにより、あらゆるタイプのソフトウェアフォールト発見データに適合するような統合的方法論を確立することが可能となった。最終的に、実際の工程で採集されたデータを用いて信頼性評価を行い、提案モデルの有効性を検証した。また、ニューラルネットワーク技術を応用することにより、新しいソフトウェア信頼性評価技法も新たに開発した。
|
