不完全デバッグ環境下におけるソフトウェアの信頼性評価法とその応用に関する研究

1999 年度 実績報告書

• 研究課題/領域番号: 10680431
• 研究機関: 鳥取大学
• 研究代表者: 山田 茂 鳥取大学, 工学部, 教授 (50166708)
• キーワード: ソフトウェア信頼性 / 不完全デバッグ環境 / ソフトウェアフォールト / 信頼度成長モデル / アベイラビリティモデル / 安全性評価モデル / 人的要因

研究概要

本研究では、不完全デバック作業により混入するフォールトの潜入過程とソフトウェアの信頼度成長過程の両者を、確率過程モデルとして非同次ポアソン過程(nonhomogeneous Poisson process,以下NHPPと略す)やマルコフ過程(Markov process)に組み込んで、これをソフトウェア信頼度成長モデルとして構築した。すなわち、従来のソフトウェア信頼度成長モデルを基礎として、ランダムに新規フォールトが潜入するものと仮定した上で新たなソフトウェア信頼性評価モデルを提案したり、ソフトウェアが動作状態と不動作状態を交互に繰り返すものとして、その不動作状態における修復作業での不完全デバッグ要因を考慮したソフトウェア・アベイラビリティモデル、いわゆるソフトウェア可用性評価モデルを提案した。同時に、コンピュータシステムが致命的な影響を及ぼす処理を制御するような適用分野に対して設計の際に考慮する必要あるソフトウェア安全性評価のためのソフトウェア信頼性モデルも構築できた。
このように上記の不完全デバッグ要因を考慮したソフトウェア信頼度成長モデルを構築して、この不完全デバッグ過程を解明することにより、ソフトウェア製品の出荷前および出荷後の保守作業でのフォールト混入率が把握できることが期待される。さらに、本研究を進展させることにより、実際のデバッグ作業に対し、フォールトの修正に伴って潜入するフォールトを最小限にするためのプロセス改善や不完全デバッグ作業の再発防止対策の提案も可能となろう。

研究成果

• [文献書誌] 山田茂: "ソフトウェア信頼性評価技術:理論と応用"日本信頼性学会誌(信頼性). 20・7. 455-462 (1998)
• [文献書誌] 山田茂: "ソフトウェア信頼性評価法の理論と現状"プロジェクトマネジメント学会誌. 1・1. 26-31 (1999)
• [文献書誌] 三木貴史 他: "Imperfect debugging models with introduced software faults and their comparisons"Proceedings of the 4th China-Japan Intern.Symp.Industrial Management (ISIM'98). 278-283 (1998)
• [文献書誌] 山田茂 他: "2種類のソフトウェアハザードレートをもつ不完全デバッグモデルとベイズ理論の適用に関する考察"電子情報通信学会論文誌. J82-A・10. 1577-1584 (1999)
• [文献書誌] 得能貢一 他: "運用段階におけるソフトウェア・アベイラビリティ評価モデル"日本ソフトウェア科学会誌(コンピュータソフトウェア). 15・3. 17-24 (1998)
• [文献書誌] 得能貢一 他: "Markovian software availability modelint with degenerated performance"Proceedings of the Euro.Safety and Reliability Conf.1998 (ESREL'98). 425-431 (1998)
• [文献書誌] 得能貢一 他: "二種類の修復作業を考慮した運用段階におけるソフトウェア・アベイラビリティの構築"第18回ソフトウェア生産における品質管理シンポジウム報文集. 193-200 (1998)
• [文献書誌] 得能貢一 他: "Operational software availability measurement with two kinds of restoration actions"Journal of Quality in Maintenance Engineering. 4・4. 273-283 (1998)
• [文献書誌] 得能貢一 他: "Markovian availability measurement with two types of software failures during the operation phase"International Journal of Reliability,Quality and Safety Engineering. 6・1. 43-56 (1999)
• [文献書誌] 得能貢一 他: "ソフトウェア可用性評価のためのアビラビリティモデル"日本オペレーションズ・リサーチ学会誌(オペレーションズ・リサーチ). 44・8. 405-409 (1999)
• [文献書誌] 得能貢一 他: "A summary of Markovian software availability modeling"Proceedings of the 5th ISSAT Intern.Conf.Reliability and Quality in Design. 218-222 (1999)
• [文献書誌] 得能貢一 他: "A Markovian software reliability model with a decreasing perfect debuging rate"Proceedings of the 1st Western Pacific/Australia-Japan Work.Stochastic Models. 528-536 (1999)
• [文献書誌] 得能貢一 他: "A Markovian software availability modeling with a decreasing perfect degugging rate"Proceedings of the 2nd Asia-Pacific Conf.Industrial Enginering and Management Systems. 153-156 (1999)
• [文献書誌] 得能貢一 他: "Markovian software safety/reliability measuremet with imperfect debugging"Proceedings of the 4th ISSAT Intern.Conf.Reliability and Quality in Design. 56-60 (1998)
• [文献書誌] 得能貢一 他: "Stochastic software safety/reliability measurement and its application"Annals of Software Engineering. 8. 123-145 (1999)
• [文献書誌] 山田茂 他: "コードレビューにおける人的エラーと人的要因によ関する考察"電子情報痛信学会論文誌. J81-A・9. 1238-1246 (1998)
• [文献書誌] 江崎和博 他: "A Model for program error prediction based on software reviewing process characteristics and its application"Proceedings of the 5th ISSAT Intern.Conf.Reliability and Quality in Design. 211-217 (1999)
• [文献書誌] 木村光宏 他: "A nonhomogeneous death process model with state-depender parameter and its application to software quality assessment"Proceedings of the 1st Euro-Japanese Work.Stochastic Risk Modeling. II. 8 (1998)
• [文献書誌] 木村光宏 他: "Statistical estimation of imperfect debugging rate based on hidden-Markov software reliability modeling"Proceedings of the 5th ISSAT Intern.Conf.Reliability and Quality in Design. 331-335 (1999)
• [文献書誌] 木村光宏 他: "処理時間制約のあるフォールトトレラントソフトウェアシステムの性能評価"日本信頼性学会誌(信頼性). 20・7. 422-432 (1998)
• [文献書誌] 藤原秀哉 他: "Software testing-management tool based on object-oriented analysis nad its application"Proceedings of the 4th China-Japan Intern.Symp.Industrial Management (ISIM'98). 272-277 (1998)
• [文献書誌] 山本美保 他: "ソフトウェア信頼性評価ツールの導入〜ソフトウェア信頼度成長モデルの適用と評価〜"第18回ソフトウェア生産における品質管理シンポジウム報文集. 201-208 (1998)
• [文献書誌] 山田茂 他: "コスト評価基準に基づくソフトウェア信頼性安全性を考慮した最適リリース問題"電子情報通信学会論文誌. J82-A・1. 64-72 (1999)
• [文献書誌] 山田茂 他: "ソフトウェア開発におけるテスト労力の最適配分問題"日本オペレーションズ・リサーチ学会誌(オペレーションズ・リサーチ). 44・8. 420-424 (1999)
• [文献書誌] 山田茂 他: "分散開発環境を考慮したソフトウェア信頼度成長モデルに関する考察"電子情報通信学会論文誌. J82-A・9. 1446-1453 (1999)
• [文献書誌] 木村光宏 他: "Economic analiysis of software release problem with warranty cost and reliability requirement"Reliability Engineering & System Safety. 66・1. 49-55 (1999)
• [文献書誌] 山田茂 他: "Software reliability assessment tool based on object-oriented analysis and its application"Annals of Software Engineering. 8. 223-238 (1999)
• [文献書誌] 藤原隆次 他: "テスト習熟性を考慮したソフトウェア信頼度成長モデルとその適合性評価に関する考察"電子情報通信学会論文誌. J83-A・2. 188-195 (2000)