ソフトウェアプロセス品質改善のためのプロセス診断方式と信頼性評価技術に関する研究

2003 Fiscal Year Annual Research Report

• Project/Area Number: 15510129
• Research Institution: Tottori University
• Principal Investigator: 山田 茂 鳥取大学, 工学部, 教授 (50166708)
• Co-Investigator(Kenkyū-buntansha): 木村 光宏 法政大学, 工学部, 助教授 (20263486) ; 得能 貢一 鳥取大学, 工学部, 助教授 (40263488)
• Keywords: ソフトウェア開発プロセス / プロセス品質 / プロダクト品質 / 人的要因 / 品質工学的アプローチ / プロジェクトマネジメント / 信頼性評価技術 / 品質 / 信頼性評価ツール

Research Abstract

ソフトウェア開発プロセスの品質が最終的にプロダクトの品質を左右するという認識から,プロセス構成要素の属性を考慮して,プロセス品質を改善するためのプロセス診断方式と,これらに対する品質/信頼性評価技術について議論した.以下は平成15年度の研究成果であり,所期の目的を達成した.
(1)ユーザの要求品質を達成・確保するために,プロセスとプロダクトの品質を可視化して,費用と納期の協調を図る品質主導型プロジェクト管理方式について,既存の研究について調査し,その中でもEVM(Earned Value Management)を実際のプロジェクトに適用した.その結果,CMM(Capability Maturity Model)に基づいてEVMを適用することが極めて有効であることが分かった.
(2)上記(1)と並行してソフトウェア開発プロセスの主要な構成要素である開発技術者の特性(人的要因)と,プロセスの結果である設計仕様書やソースコードなどの中間生産物の品質との関係を定量的に明らかにする人的要因モデルを構築し,それを検証するために学生を対象としたソフトウェア開発実験に基づく直交実験計画を策定した.さらに,品質工学的アプローチを適用した結果,人的要因から見た設計レビュー工程に対するプロセスの最適条件を導出できた.
(3)(2)で抽出された人的要因等を考慮したソフトウェア信頼性評価モデルとして,分散ソフトウェア開発環境下におけるテスト工程を対象とした確率微分方程式モデル,不完全デバッグ環境を考慮した信頼性/可用性/安全性評価モデル,離散化による高精度信頼性予測法について提案できた.
(4)(3)のソフトウェア信頼性評価モデルによる信頼性データ解析手順を,オブジェクト指向設計法に基づいてツール化した.特に,分散開発環境下における信頼性評価ツールについては,プロトタイプを作成できた.

Research Products

• [Publications] 山田茂: "ソフトウェア設計レビューにおける信頼性に影響を及ぼす人的要因の品質工学的評価"日本経営工学会論文誌. 54・1. 71-79 (2003)
• [Publications] 得能貢一: "不完全デバッグ環境を考慮した間欠的に使用されるソフトウェアシステムの可用性解析"日本ソフトウェア科学会誌. 20・4. 1-10 (2003)
• [Publications] Y.Tamura: "Comparisons of software reliability assessment methods based on neural network for distributed development environment"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 1-5 (2003)
• [Publications] M.Uchida: "Software reliability analysis and optimal release problem based on a flexible stochastic differential equation model"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 12-16 (2003)
• [Publications] R.Matsuda: "A human factor analysis for software reliability improvement based on aquality engineering approach in design-review process"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 75-79 (2003)
• [Publications] T.Fujiwara: "Software process improvement activities based on CMM and their application"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 235-240 (2003)
• [Publications] S.Inoue: "A software reliability growth modeling based on infinite server queueing theory"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 305-309 (2003)
• [Publications] Y.Saitoh: "On relationship between the number of debuggings and software availability measurement under intermittent use"Proc.The 9^<th> ISSAT International Conference on Reliability and Quality in Design. 315-319 (2003)
• [Publications] 福島利彦: "ソフトウェアプロセス品質とプロセス品質向上のための持続可能なプロジェクトマネジメント"SEPG Japan 2003 Proceedings. 135-140 (2003)
• [Publications] K.Tokuno: "On relationship between software availability measurement and the number of restorations with imperfect debugging"Computers & Mathematics with Applications. 46・7. 1155-1163 (2003)
• [Publications] S.Yamada: "Recent advances in software relaiability modeling"Proc.International Workshop on Reliability and Its Applications. 19-32 (2003)
• [Publications] K.Tamura: "A software reliability assessment tool based on flexible software reliability growth models for distributed development"Proc.International Workshop on Reliability and Its Applications. 126-131 (2003)
• [Publications] Y.Tokuno: "Performance evaluation for multi-task software system with reliability growth process"Proc.International Workshop on Reliability and Its Applications. 132-137 (2003)
• [Publications] S.Inoue: "NHPP modeling based on discrete statistical data analysis models for software reliability assessment"Proc.International Workshop on Reliability and Its Applications. 138-143 (2003)
• [Publications] 福島利彦: "プロジェクトマネジメント技術の持続的向上によるQCD効果"第22回ソフトウェア生産における品質管理シンポジウム報文集. 201-208 (2003)
• [Publications] 藤原隆次: "CMMを用いたソフトウェア・プロセス改善とその定量化分析"第22回ソフトウェア生産における品質管理シンポジウム報文集. 117-124 (2003)
• [Publications] K.Tokuno: "Markovian software reliability measurement with a geometrically decreasing perfect debugging rate"Mathematical and Computer Modelling. 38・11-13. 1443-1451 (2003)
• [Publications] 田村慶信: "分散ソフトウェア開発環境における一般化確立微分方程式モデルに基づく最適リリース問題"統計数理研究所共同研究リポート168「最適化:モデリングとアルゴリズム17」. 57-65 (2004)
• [Publications] 得能貢一: "ソフトウェア安全性評価モデルを用いたデバッグ回数に基づく最適リリース問題に関する考察"統計数理研究所共同研究リポート168「最適化:モデリングとアルゴリズム17」. 66-74 (2004)
• [Publications] 井上真二: "離散型ソフトウェア信頼度成長モデルと最適リリース問題に関する考察"統計数理研究所共同研究リポート168「最適化:モデリングとアルゴリズム17」. 75-82 (2004)