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

1992 Fiscal Year Annual Research Report

• Project/Area Number: 04650316
• Research Institution: Hiroshima University
• Principal Investigator: 山田 茂 広島大学, 工学部, 助教授 (50166708)
• Keywords: ソフトウェア信頼性 / 信頼性計測・評価 / ソフトウェア信頼度成長モデル / 確率・統計モデル / プロジェクト管理 / 信頼性データ解析 / ソフトウェア故障・エラー

Research Abstract

従来のソフトウェア信頼性評価技法を整理し,それらの適用状況を調査した結果,実用性の高い評価技法の抽出と,ソフトウェア信頼性評価における問題点の摘出を行うことができた.前者については,ソフトウェア開発のテスト工程におけるソフトウェアエラー発見過程を信頼度成長過程とみなして,テスト進捗状況の把握や信頼性の達成度合を計測・評価するソフトウェア信頼度成長モデルの中でも,ゴンペルツ曲線モデルと遅延S字形ソフトウェア信頼度成長モデルが多くのコンピュータメーカやソフトウェアハウスで有力視されていることがわかった.後者については,上記のようなソフトウェア信頼性評価モデルに対して,工数と信頼性の関係,検出エラーの複雑性,不完全デバック環境,運用段階での可用性,などを考慮する必要があることがわかった.このうち平成4年度では,実際のプロジェクトでの適用例も多いゴンペルツ曲線モデルを取り上げ,このモデルの問題点を指摘して,今まで単なる傾向曲線をデータに当てはめる回帰モデルであったものを,非同次ポアソン過程と呼ばれる確率過程を導入してソフトウェア信頼性評価モデルとしての妥当性を高めた.また,上記の問題点に対応する信頼性評価法として,テストに投入される工数などのテスト労力と達成される信頼性を関係づけたテスト労力依存型信頼度成長モデル,テストにより検出されるエラーの複雑性を反映した発見難易度を考慮した指数-S字形信頼度成長モデル,エラーの修正・除去作業が不完全であるテスト環境を考慮した不完全デバッグモデル,ソフトウェアの可用性(アべイラビリディ)評価のための基本モデル,フォールト数の状態空間を連続化した信頼度成長モデル,などの構築とデータ解析を行った.

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] Kouichi 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 differetial equations" Proceedings of the IASTED International Conference 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: "Software-reliability growth a Weibull test-effort function" IEEE Transactions on Reliability. R-42. (1993)
• [Publications] Shigeru Yamada: "Software reliability measurement in imperfect debugging environment and its application" Reliability Engineering and System Safety. (1993)
• [Publications] 山田 茂: "ソフトウェアマネジメントモデル入門-ソフトウェア品質の可視化と評価法" 共立出版(株), 254 (1993)