準ランダムテスト環境下でのソフトウェア信頼性評価

2011 年度 研究成果報告書

• 研究課題/領域番号: 21510167
• 研究種目: 基盤研究(C)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: 社会システム工学・安全システム
• 研究機関: 南山大学
• 研究代表者: 尾崎 俊治 南山大学, 情報理工学部, 教授 (10034399)
• 研究分担者: 伏見 正則 南山大学, 情報理工学学部, 教授 (70008639) ; 青山 幹雄 南山大学, 情報理工学部, 教授 (40278073) ; 土肥 正 広島大学, 大学院・工学研究科, 教授 (00243600) ; 岡村 寛之 広島大学, 大学院・工学研究科, 准教授 (10311812)
• 研究期間 (年度): 2009 – 2011
• キーワード: ソフトウェア / ランダムテスト / 超一様分布列 / 信頼性評価 / 設計評価

研究概要

本研究プロジェクトでは,最終製品としてのソフトウェアシステムの品質を確保する目的で,ソフトウェアテストの妥当性検証およびソフトウェアの信頼性評価を行う手法に関する研究を行った.具体的には,(i)ソフトウェアテストにおけるランダムテストをより発展させた準ランダムソフトウェアテストあるいはランダムテストに基づいたより効率的なテストケース生成手法の確立,(ii)(準)ランダムテストに基づいたソフトウェア信頼性評価技術の精巧化を行った.

研究成果

• [雑誌論文] Towards quantitative software reliability assessment in incremental development processes (2011)
  • 著者名/発表者名: T. Fujii, T. Dohi and T. Fujiwara
  • 雑誌名: Proceedings of 33rd International Conference on Software Engineering(ICSE-2011) ページ: 41-50
• [雑誌論文] Continuous software reliability models-How good are they? (2011)
  • 著者名/発表者名: L. Z. Jin, T. Dohi and S. Osaki
  • 雑誌名: Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering(ICQR2MSE 2011) ページ: 418-423
• [雑誌論文] Software reliability growth model with normal distribution and its parameter estimation (2011)
  • 著者名/発表者名: H. Okamura, T. Dohi and S. Osaki
  • 雑誌名: Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering(ICQR2MSE 2011) ページ: 424-429
• [雑誌論文] Non-parametric bootstrapping in software reliability assessment (2011)
  • 著者名/発表者名: R. Hakozaki and T. Dohi
  • 雑誌名: Proceedings of the 7th International Conference on Mathematical Methods in Reliability,-Theory, Methods and Applications-(MMR-2010) ページ: 207-213
• [雑誌論文] Semi-parametric approach for software reliability evaluation using mixed gamma distributions (2011)
  • 著者名/発表者名: H. Okamura, T. Hirata and T. Dohi
  • 雑誌名: Proceedings of the 7th International Conference on Mathematical Methods in Reliability,-Theory, Methods and Applications-(MMR-2010) ページ: 390-396
• [雑誌論文] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model (2011)
  • 著者名/発表者名: H. Okamura, Y. Etani and T. Dohi
  • 雑誌名: Proceedings of 2011 Joint Conference of the 21st International Workshop on Software Measurement(IWSM-2011) and the 6th International Conference on Software Process and Product Measurement(MENSURA-2011) ページ: 62-68
• [雑誌論文] On the effect of the order of test cases in the modified exponential software reliability growth model (2011)
  • 著者名/発表者名: K. Okumura, H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 2011 Second International Conference on Networking and Computing(ICNC-2011) ページ: 294-296
• [雑誌論文] Bayesian inference for credible intervals of optimal software release time (2011)
  • 著者名/発表者名: H. Okamura, T. Dohi and S. Osaki, T.-H. Kim, H. Adeli, H.-K. Kim, H.-J. Kang, K. J. Kim, A. Kiumi and B.-H. Kang, eds
  • 雑誌名: Advances in Software Engineering & Its Applications(ASEA 2011), Communications in Computer and Information Science 巻: vol.257 ページ: 377-384
• [雑誌論文] ソフトウェアメトリクスに基づいた混合ポアソン信頼性モデルに関する考察 (2011)
  • 著者名/発表者名: 池本真也, 土肥正
  • 雑誌名: ソフトウェアシンポジウム' 11論文集(ソフトウェア技術者協会) ページ: 6
• [雑誌論文] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案 (2011)
  • 著者名/発表者名: 岡村寛之, 土肥正
  • 雑誌名: ソフトウェアシンポジウム' 11論文集(ソフトウェア技術者協会) ページ: 10
• [雑誌論文] An Implementation of a 5-term GFSR Random Number Generator for Parallel Computations (2010)
  • 著者名/発表者名: H. Miyazawa and M. Fushimi
  • 雑誌名: Lecture Notes in Operations Research 巻: 10 ページ: 448-452
• [雑誌論文] Shift Scheduling problems in Nanzan University entrance examinations-their formulation and implementation (2010)
  • 著者名/発表者名: A. Suzuki, K. Yamamoto, N. Ito and M. Fushimi
  • 雑誌名: Lecture Notes in Operations Research 巻: 10 ページ: 461-468
• [雑誌論文] Identifying statistical failure mechanism of web server systems : measurement and reliability analysis (2010)
  • 著者名/発表者名: T. Fujii and T. Dohi
  • 雑誌名: International Journal of Business Intelligence and Data Mining 巻: 5 ページ: 156-171
• [雑誌論文] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計 (2010)
  • 著者名/発表者名: 岡村寛之, 周搏, 土肥正
  • 雑誌名: ソフトウェアテストシンポジウム2010東京(JaSST' 10)論文集 ページ: 54-59
• [雑誌論文] Markov chain Monte Carlo random testing (2010)
  • 著者名/発表者名: B. Zhou, H. Okamura and T. Dohi
  • 雑誌名: Advanced Computer Science and Information Technology 巻: 6059 ページ: 447-456
• [雑誌論文] A multi-factor software reliability model based on logistic regression (2010)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 21st IEEE International Symposium on Software Reliability Engineering ページ: 31-40
• [雑誌論文] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains (2010)
  • 著者名/発表者名: K. Yamana, H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling ページ: 780-787
• [雑誌論文] A stochastic model under repair-limit replacement program with imperfect repair (2010)
  • 著者名/発表者名: T. Dohi, N. Kaio and S. Osaki
  • 雑誌名: Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling ページ: 153-160
• [雑誌論文] Transient analysis of software availability models with rejuvenation (2010)
  • 著者名/発表者名: T. Dohi, H. Okamura and S. Osaki
  • 雑誌名: Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling ページ: 169-176
• [雑誌論文] A simple approximation formula for reliability functions (2010)
  • 著者名/発表者名: S. Osaki and M. Suzaki
  • 雑誌名: Proceedings of 4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling ページ: 548-555
• [学会発表] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価の一般化 (2011)
  • 著者名/発表者名: 恵谷勇介, 岡村寛之, 土肥正
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 発表場所: 東京都
  • 年月日: 2011-12-16
• [学会発表] ソフトウェアメトリクスに基づいた混合ポアソン信頼性モデルに関する考察 (2011)
  • 著者名/発表者名: 池本真也, 土肥正
  • 学会等名: 平成23年度電気・情報関連学会中国支部第62回連合大会
  • 発表場所: 広島市
  • 年月日: 2011-10-22
• [学会発表] ソフトウェアメトリクスを考慮した統一的なソフトウェア信頼性モデルの提案 (2011)
  • 著者名/発表者名: 恵谷勇介, 岡村寛之, 土肥正
  • 学会等名: 平成23年度電気・情報関連学会中国支部第62回連合大会
  • 発表場所: 広島市
  • 年月日: 2011-10-22
• [学会発表] ソフトウェアテスト実行順序を考慮した指数修正形信頼性モデルを用いたパラメータ推定精度向上に関する考察 (2011)
  • 著者名/発表者名: 奥村圭, 岡村寛之, 土肥正
  • 学会等名: 平成23年度電気・情報関連学会中国支部第62回連合大会
  • 発表場所: 広島市
  • 年月日: 2011-10-22
• [学会発表] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察 (2010)
  • 著者名/発表者名: 岡村寛之, 土肥正
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 発表場所: 東京都
  • 年月日: 2010-12-17
• [学会発表] ソフトウェアテストにおける残存フォールト数の推定.パラメトリックブートストラップ法～ (2010)
  • 著者名/発表者名: 金石俊雄, 土肥正
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 発表場所: 東京都
  • 年月日: 2010-12-17
• [学会発表] Enhancing performance of random testing through Markov chain Monte Carlo methods (2010)
  • 著者名/発表者名: B. Zhou, H. Okamura and T. Dohi
  • 学会等名: The 12th International Symposium on High Assurance Systems Engineering
  • 発表場所: San Jose, CA, USA
  • 年月日: 2010-11-04
• [学会発表] Random testing based on Markov chain Monte Carlo method (2010)
  • 著者名/発表者名: B. Zhou, H. Okamura and T. Dohi
  • 学会等名: 平成21年度電気・情報関連学会中国支部第60回連合大会
  • 発表場所: 広島市
  • 年月日: 2010-10-17
• [学会発表] 核推定法に基づいたソフトウェア故障データの解析 (2010)
  • 著者名/発表者名: 金石俊雄, 土肥正
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 発表場所: 鳥取市
  • 年月日: 2010-05-28
• [学会発表] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する-考察 (2010)
  • 著者名/発表者名: 恵谷勇介, 岡村寛之, 土肥正
  • 学会等名: 電子情報通信学会技術研究報告(信頼性研究会)
  • 発表場所: 鳥取市
  • 年月日: 2010-05-28