計算統計による実践的ソフトウェア信頼性評価システムとその開発管理への応用

2015 年度 実績報告書

• 研究課題/領域番号: 25330081
• 研究機関: 鳥取大学
• 研究代表者: 井上 真二 鳥取大学, 工学(系)研究科(研究院), 助教 (60432605)
• 研究期間 (年度): 2013-04-01 – 2016-03-31
• キーワード: ソフトウェア信頼性 / ブートストラップ法 / ブートスストラップ信頼区間 / ソフトウェアの最適出荷問題 / 区間推定

研究実績の概要

平成25年度において提案した技術に関するソフトウェア開発管理技術への応用問題に関する平成26年度からの継続的に課題として，コストだけでなく信頼度も同時に考慮したソフトウェアの最適出荷（リリース）時刻の区間推定手法について議論した．特に，当該問題に対して，離散化非同次ポアソン過程（NHPP）モデルを用いたノンパラメトリックブートストラップ法に関する議論を行った．また，実測データを適用した提案手法の適用例として，基本，標準正規，パーセンタイル，ブートストラップ-t，およびBCaの5つのブートストラップ信頼区間を取り上げ，ソフトウェアの最適リリース時刻の区間推定に関する適用例を示した．今年度では，さらに，代表的な離散化NHPPモデルであり，テスト工程において観測される信頼度成長過程を柔軟に記述できる離散化習熟S字形モデルについても，計算統計手法に基づいたソフトウェア信頼性の区間推定手法を議論して，実測データに基づいたシミュレーション結果を示した．また，今後，区間推定技術の開発が必要なソフトウェア信頼性評価技術に関連する研究についても，継続的に研究成果を公表した．

研究成果

• [雑誌論文] An extended binomial-type software reliability model with test environment factors (2016)
  • 著者名/発表者名: Shinji Inoue and Shigeru Yamada
  • 雑誌名: Journal of Japan Industrial Management Association 巻: 66 ページ: 406-415
  • 査読あり / 謝辞記載あり
• [雑誌論文] NHPP-based change-point modeling for software reliability assessment and its application to software development management (2016)
  • 著者名/発表者名: Yuka Minamino, Shinji Inoue and Shigeru Yamada
  • 雑誌名: Annals of Operations Research 巻: Online First Articles ページ: 未定
  • DOI: 10.1007/s10479-016-2148-x
  • 査読あり / 謝辞記載あり
• [雑誌論文] Bivariate change-point modeling for software reliability assessment with uncertainty of testing-environmental factor (2015)
  • 著者名/発表者名: Shinji Inoue, Jun Ikeda and Shigeru Yamada
  • 雑誌名: Annals of Operations Research 巻: Online First Articles
  • DOI: 10.1007/s10479-015-1869-6
  • 査読あり / 謝辞記載あり
• [雑誌論文] An all-stage truncated multiple change-point model for software reliability assessment (2015)
  • 著者名/発表者名: Shinji Inoue, Saki Taniguchi and Shigeru Yamada
  • 雑誌名: International Journal of Reliability, Quality and Safety Engineering 巻: 22 ページ: 1550017-34
  • DOI: 10.1142/S0218539315500175
  • 査読あり / 謝辞記載あり
• [雑誌論文] Multi-attribute utility theory for estimation of optimal release time and change-point (2015)
  • 著者名/発表者名: Yuka Minamino, Shinji Inoue and Shigeru Yamada
  • 雑誌名: International Journal of Reliability, Quality and Safety Engineering 巻: 22 ページ: 1550019-33
  • DOI: 10.1142/S0218539315500199
  • 査読あり / 謝辞記載あり
• [雑誌論文] Software Reliability Assessment with Multiple Changes of Testing-Environment (2015)
  • 著者名/発表者名: Shinji Inoue and Shigeru Yamada
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E98-A ページ: 2031-2041
  • DOI: 10.1587/transfun.E98.A.2031
  • 査読あり / 謝辞記載あり
• [学会発表] 離散化習熟S字形ソフトウェア信頼性モデルに基づいたブートストラップ区間推定 (2016)
  • 著者名/発表者名: 井上真二，山田茂
  • 学会等名: 統計数理研究所研究集会「最適化：モデリングとアルゴリズム29」
  • 発表場所: 政策研究大学院大学
  • 年月日: 2016-03-22 – 2016-03-23
  • 国際学会
• [学会発表] Simulation-based software reliability assessment based on an inflection S-shaped SRGM (2016)
  • 著者名/発表者名: 井上真二，山田茂
  • 学会等名: 日本オペレーションズ・リサーチ学会2016年春季研究発表会
  • 発表場所: 慶応義塾大学矢上キャンパス
  • 年月日: 2016-03-17 – 2016-03-18
  • 国際学会
• [学会発表] Bootstrapping interval estimation for software reliability assessment based on an S-shaped discretized model (2015)
  • 著者名/発表者名: Shinji Inoue ans Shigeru Yamada
  • 学会等名: The 2nd East Asia Workshop on Industrial Engineering, Seoul, Korea, November 6--7, 2015,
  • 発表場所: Yonsei University, Seoul, Korea
  • 年月日: 2015-11-06 – 2015-11-07
  • 国際学会
• [学会発表] A discrete software reliability model with testing-environmental factors (2015)
  • 著者名/発表者名: 井上真二，山田茂
  • 学会等名: 日本オペレーションズ・リサーチ学会2015年秋季研究発表会
  • 発表場所: 九州工業大学戸畑キャンパス
  • 年月日: 2015-09-10 – 2015-09-11
  • 国際学会
• [学会発表] Estimation optimal software release time based on a change-point model by multi-attribute utility theory (2015)
  • 著者名/発表者名: Yuka Minamino, Shinji Inoue and Shigeru Yamada
  • 学会等名: The 21st ISSAT International Conference on Reliability and Quality in Design, Philadelphia, Pennsylvania, U.S.A., August 6--8, 2015
  • 発表場所: Hilton Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, U.S.A.
  • 年月日: 2015-08-06 – 2015-08-08
  • 国際学会
• [学会発表] Software quality prediction based on generalized linear models (2015)
  • 著者名/発表者名: Shinji Inoue and Shigeru Yamada
  • 学会等名: The 21st ISSAT International Conference on Reliability and Quality in Design, Philadelphia, Pennsylvania, U.S.A., August 6--8, 2015
  • 発表場所: Hilton Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, U.S.A.
  • 年月日: 2015-08-06 – 2015-08-08
  • 国際学会
• [学会発表] All-stage truncated modeling with multiple change-points for software reliability assessmen (2015)
  • 著者名/発表者名: Saki Taniguchi, Shinji Inoue and Shigeru Yamada
  • 学会等名: The 21st ISSAT International Conference on Reliability and Quality in Design, Philadelphia, Pennsylvania, U.S.A., August 6--8, 2015
  • 発表場所: Hilton Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, U.S.A.
  • 年月日: 2015-08-06 – 2015-08-08
  • 国際学会
• [学会発表] Discrete software reliability growth model based on a generalized linear modeling approach (2015)
  • 著者名/発表者名: Yasuaki Iwasaki, Shinji Inoue and Shigeru Yamada
  • 学会等名: The 21st ISSAT International Conference on Reliability and Quality in Design, Philadelphia, Pennsylvania, U.S.A., August 6--8, 2015
  • 発表場所: Hilton Philadelphia at Penn's Landing, Philadelphia, Pennsylvania, U.S.A.
  • 年月日: 2015-08-06 – 2015-08-08
  • 国際学会
• [学会発表] 一般化線形モデルを用いたソフトウェア品質予測に関する一考察 (2015)
  • 著者名/発表者名: 井上真二，山田茂
  • 学会等名: 電子情報通信学会技術研究報告 [信頼性]
  • 発表場所: ホテルニューグリーン（青森県むつ市）
  • 年月日: 2015-07-31 – 2015-07-31
  • 国際学会
• [学会発表] On multiple changes of testing-environment in software reliability assessment (2015)
  • 著者名/発表者名: Shinji Inoue and Shigeru Yamada
  • 学会等名: The 9th International Conference on Mathematical Methods in Reliability: Theory. Methods. Applications (MMR 2015), Tokyo, Japan, June 1--4, 2015,
  • 発表場所: 筑波大学東京キャンパス文京校舎
  • 年月日: 2015-06-01 – 2015-06-04
  • 国際学会