講演抄録/キーワード |
講演名 |
2011-07-29 13:35
システマビリティを導入したソフトウェアの運用信頼性評価モデルに関する一考察 ○得能貢一・山田 茂(鳥取大) R2011-20 |
抄録 |
(和) |
本稿では,運用段階におけるソフトウェア信頼性評価モデルについて議論する.特に,運用環境の不安定性・不確定性を考慮した信頼性特性と定義されるシステマビリティの概念を,ソフトウェア信頼性モデルに導入する.まず,運用環境とテスト環境におけるソフトウェア故障特性の差異を埋めるための環境係数を導入する.次に,この環境係数のランダム性を考慮して,これを確率変数として取扱う.テスト工程および運用段階におけるソフトウェア信頼度成長過程を記述する基本モデルとして,マルコフ型不完全デバッグモデルを用いる.本モデルより,運用段階を指向したソフトウェア信頼性評価尺度を,時間およびデバッグ作業回数の関数として導出する.最後に,本手法の数値例を示しながら,システマビリティの考慮がソフトウェアの運用信頼性評価結果に与える影響について考察する. |
(英) |
In this paper, we discuss the stochastic modeling for operational software reliability measurement, assuming that the testing environment is originally different from the user operation one. In particular, we introduce the concept of systemability which is defined as the reliability characteristic subject to the uncertainty of the field operational environment into the model. First we introduce the environmental factor to consistently bridge the gap between the software failure-occurrence characteristics during the testing and the operation phases. Then we consider the randomness of the environmental factor, i.e., the environmental factor is treated as a random-distributed variable. We use the Markovian imperfect debugging model to describe the software reliability growth phenomena in the testing and the operation phases. We derive the analytical solutions of the several operational software reliability assessment measures which are given as the functions of time and the number of debuggings. Finally, we show several numerical illustrations to investigate the impacts of the consideration of systemability on the field software reliability evaluation. |
キーワード |
(和) |
システマビリティ / 環境係数 / 運用環境のランダム性 / マルコフ過程 / ソフトウェア信頼度成長 / / / |
(英) |
Systemability / environmental factor / randomness of operational environment / Markov process / software reliability growth / / / |
文献情報 |
信学技報, vol. 111, no. 165, R2011-20, pp. 7-12, 2011年7月. |
資料番号 |
R2011-20 |
発行日 |
2011-07-22 (R) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
R2011-20 |