実践的ソフトウェア信頼性評価モデルの構築とプロジェクト管理への応用に関する研究

1993 Fiscal Year Annual Research Report

• Project/Area Number: 04650316
• Research Institution: TOTTORI UNIVERSITY
• Principal Investigator: 山田 茂 鳥取大学, 工学部, 教授 (50166708)
• Keywords: ソフトウェア信頼性 / 信頼性計測・評価 / ソフトウェア信頼度成長モデル / プロジェクト管理 / テスト工程管理 / 最適リリース問題 / 信頼性データ解析 / ソフトウェア故障・フォールト

Research Abstract

従来のソフトウェア信頼性の計測・評価法に基づいてデータ解析を進めていくと,適合性・妥当性に難点を生じる場合によく遭遇する.この重要な原因は,信頼性に影響を及ぼすテスト環境要因を十分に取り込んでいないことが挙げられる.また,テスト工程における信頼性評価は,源流管理とオンライン品質管理のためにも,できるだけ初期段階のうちに実施するのが効果的でありかつ重要でもある.したがって,より実際プロジェクトの現実的問題に適合する信頼性モデルを確立するためにも,従来のソフトウェア信頼性モデルの改良や新規モデルの構築が必要である.さらに,モデルによる信頼性評価結果を適切にプロジェクト管理に反映していくことが,高信頼性ソフトウェアを効率的に開発する上で重要となる.本研究では,従来のソフトウェア信頼性評価技法を整理し,またそれらの実際プロジェクトに対する適用状況を調査した上で,信頼性評価における問題点を摘出し,これらを考慮したソフトウェア信頼度成長モデルを新たに構築した.同時に,これらのモデルにより実際データを解析し,モデルから導出される信頼性評価尺度により当該ソフトウェアの信頼性評価を行った.さらに,信頼性評価結果のプロジェクト管理への応用として,実際的問題としても興味の深い,テスト工程管理法と最適リリース問題を取り扱った.このうち,テスト工程管理法では,プロジェクト管理に直結するテスト資源の最適配分法およびその投入効果を反映したテスト進捗度管理法を提案した.また,最適リリース問題では,ソフトウェア開発の最終工程であるテストを終了して,実際のユーザの運用段階へ移行するのに最適な時期を,信頼性評価結果を使って適当な最適化評価基準により決定した.その評価基準としては,ソフトウェアのライフサイクルを考慮した上で関係するコスト要因を分析して得られる総期待ソフトウェアコストと、適切な信頼性評価尺度を採用した.

Research Products

• [Publications] Mitsuhiro Kimura: "Software reliability assessment for an exponential-S-shaped reliability growth phenomenon" Computers & Mathematics with Applications. 24. 71-78 (1992)
• [Publications] Shigeru Yamada: "Testing-domain dependent software reliability models" Computers & Mathematics with Applications. 24. 79-86 (1992)
• [Publications] 山田 茂: "ゴンペルツ曲線に基づくソフトウェア信頼性評価モデルに関する考察" ソフトウェア・シンポジウム'92論文集. B-2-B-7 (1992)
• [Publications] 山田 茂: "ゴンペルツ曲線を用いた確率的ソフトウェア信頼度成長モデル" 情報処理学会論文誌. 33. 964-969 (1992)
• [Publications] 木村光宏: "2クラスの発見難易度をもつソフトウェアエラーを考慮した指数-S字形信頼度成長モデルの考察" 情報処理学会論文誌. 33. 1446-1452 (1992)
• [Publications] Koichi Tokunou: "A Markovian imperfect debugging model for software reliability measurement" IEICE Transactions on Fundamentals of Electronics,Communications and Computer Science. E75-A. 1590-1596 (1992)
• [Publications] Mitsuhiro Kimura: "Software reliability growth modeling with stochastic differential equations" Proceedings of the IASTED Intern.Conf.on Reliability,Quality Control and Risk Assessment. 24-27 (1992)
• [Publications] Shigeru Yamada: "Software reliability measurement and assessment based on nonhomogeneous Poisson process models:A survey" Microelectronics and Reliability. 32. 1763-1773 (1992)
• [Publications] Shigeru Yamada: "Imperfect debugging models with fault introduction rate for software reliability assessment" International Journal of Systems Science. 23. 2241-2252 (1992)
• [Publications] 山田 茂: "ソフトウェア信頼度成長モデルに基づくアベイラビリティ評価に関する考察" 電子情報通信学会論文誌. J76-D-I. 19-23 (1993)
• [Publications] Shigeru Yamada: "Softwarereliability growth with a Weibull testingeffort function" IEEE Transactions on Reliability. R-42. 100-106 (1993)
• [Publications] 山田 茂: "ライフサイクルの確率分布とコストの時間的価値を考慮したソフトウェアの最適リリース問題" 情報処理学会論文誌. 34. 1188-1197 (1993)
• [Publications] Shigeru Yamada: "Software reliability measurement in imperfect debugging environment and its application" Reliability Engineering & System Safety. 40. 139-147 (1993)
• [Publications] 西脇 正敏: "高信頼性ソフトウェア開発のためのテスト資源の最適配分問題" ソフトウェア・シンポジウム'93論文集. 32-36 (1993)
• [Publications] Mitsuhiro Kimura: "Software reliability measurement with priorinformation on initial fault content" Transactions of Information Processing Society of Japan. 34. 1601-1609 (1993)
• [Publications] Tetsuo Ichimori: "Optimal allocation policies for testing-resource based on a software reliability growth model" Proceedings of the Australia-Japan Workshop on Stochastic Models in Engineering,Technology and Management. 182-189 (1993)
• [Publications] Mitsuhiro Kimura: "Software reliability prediction based on mean time between failures" Proceedings of the Australia-Japan Workshop on Stochastic Models in Engineering,Technology and Management. 269-276 (1993)
• [Publications] Masatoshi Nishiwaki: "Testing-resource allocation policies based on an optimal software release problem" Proceedings of the 2nd China-Japan Intern.Symp.on Industrial Management. 674-679 (1993)
• [Publications] 山田 茂: "一般化された遅延S字形ソフトウェア信頼度成長モデルとその適合性評価に関する考察" 電子情報通信学会論文誌. J76-D-I. 613-620 (1993)
• [Publications] Shigeru Yamada: "Software reliability measurement and assessment with stochastic differenctial equations" IEICE Transactions on Fundamentals of Electronics Communications and Computer Science. E77-A. 109-116 (1994)
• [Publications] 山田 茂: "ソフトウェアマネジメントモデル入門-ソフトウェア品質の可視化と評価法" 共立出版(株), 254 (1993)