| 講演名 | 2005-07-15 マルコフ型不完全デバッグモデルを用いたソフトウェアの運用信頼性評価法 得能 貢一, 山田 茂, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本論文では, ソフトウェア開発の最終段階であるテスト工程とリリース後の運用段階におけるソフトウェアの実行環境の違いを考慮しながら, 運用段階におけるソフトウェア信頼性評価法について議論する.テスト工程およびユーザの運用段階におけるソフトウェア信頼度成長過程は, マルコフ型不完全デバッグモデルを用いて記述される.また, 両環境におけるソフトウェア故障発生現象の違いを説明するために, ハードウェア製品における加速寿命試験モデルの考え方を導入する.本モデルに基づいて, 運用段階におけるソフトウェアの信頼性評価尺度を, 時間およびデバッグ作業の実施回数の関数として導出する.最後に, 実測データに本モデルを適用して, 運用段階におけるソフトウェアの信頼性評価の数値例を示す. |
| 抄録(英) | In evaluating quality/reliability of software products in user's operational phase, we have to consider the difference between the testing and the operational environments. In this paper, we propose the method of operational software reliability assessment. We use the Markovian imperfect debugging model to describe the software reliability growth phenomena in the testing and the operational phases. We apply the idea of the accelerated life testing model in the hardware products to describe the difference between both failure characteristics. Based on the model, we derive several quantitative measures for software reliability assessment in the operational phase. Finally, we present several numerical examples of operational software reliability assessment, applying this model to the actual data set. |
| キーワード(和) | ソフトウェア信頼性 / マルコフ過程 / 不完全デバッグ / 運用段階 / 加速寿命試験モデル / ソフトウェア信頼度成長 |
| キーワード(英) | Software reliability / Markov process / Imperfect debugging / Operational phase / Accelerated life testing model / Software reliability growth |
| 資料番号 | R2005-26 |
| 発行日 |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2005/7/8(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Reliability(R) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | マルコフ型不完全デバッグモデルを用いたソフトウェアの運用信頼性評価法 |
| サブタイトル（和） | |
| タイトル（英） | Operational Software Reliability Assessment with Markovian Imperfect Debugging Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア信頼性 / Software reliability |
| キーワード(2)（和/英） | マルコフ過程 / Markov process |
| キーワード(3)（和/英） | 不完全デバッグ / Imperfect debugging |
| キーワード(4)（和/英） | 運用段階 / Operational phase |
| キーワード(5)（和/英） | 加速寿命試験モデル / Accelerated life testing model |
| キーワード(6)（和/英） | ソフトウェア信頼度成長 / Software reliability growth |
| 第 1 著者 氏名（和/英） | 得能 貢一 / Koichi TOKUNO |
| 第 1 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering, Faculty of Engineering, Tottori University |
| 第 2 著者 氏名（和/英） | 山田 茂 / Shigeru YAMADA |
| 第 2 著者 所属（和/英） | 鳥取大学工学部社会開発システム工学科 Department of Social Systems Engineering, Faculty of Engineering, Tottori University |
| 発表年月日 | 2005-07-15 |
| 資料番号 | R2005-26 |
| 巻番号（vol） | vol.105 |
| 号番号（no） | 187 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |