組み込みＯＳの信頼性評価に関する研究

• 研究課題/領域番号: 23500047
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 広島大学
• 研究代表者: 岡村 寛之 広島大学, 工学(系)研究科(研究院), 准教授 (10311812)
• 研究期間 (年度): 2011 – 2013
• 研究課題ステータス: 完了 (2013年度)
• 配分額: 5,200千円 (直接経費: 4,000千円、間接経費: 1,200千円); 2013年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2012年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2011年度: 2,340千円 (直接経費: 1,800千円、間接経費: 540千円)
• キーワード: 組み込みソフトウェア / ソフトウェア信頼性 / オープンソース / ソフトウェアメトリクス / 組み込み OS / 組み込みOS

研究概要

本研究課題では組み込みOSに対する信頼性評価に関する数理的・統計的手法の確立を行った．Android のようなオープンソースプロジェクトで開発される OS の利用には，設計・実装前のテストと信頼性評価が重要であるがその手法が確立されていない．本研究課題ではプロジェクトのバグトラッキングシステムとプログラムソースから得られる大量のメトリクス情報から定量的にソフトウェア信頼度を算出する手法の確立および支援ツールの構築を行った．

研究成果

• [雑誌論文] A novel framework of software reliability evaluation with software reliability growth models and software metrics (2014)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014) ページ: 97-104
  • DOI: 10.1109/hase.2014.22
  • 査読あり
• [雑誌論文] SRATS: Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of The 24th International Symposium on Software Reliability Engineering (ISSRE 2013) 巻: なし ページ: 100-117
  • DOI: 10.1109/issre.2013.6698909
  • 査読あり
• [雑誌論文] Application of deterministic annealing EM algorithm to MAP/PH parameter estimation (2013)
  • 著者名/発表者名: H. Okamura, H. Kishikawa and T. Dohi
  • 雑誌名: Telecommunication Systems Journal 巻: vol.54(1) 号: 1 ページ: 79-90
  • DOI: 10.1007/s11235-013-9717-y
  • 査読あり
• [雑誌論文] Improvement of expectation-maximization algorithm for phase-type distributions with grouped and truncated data (2013)
  • 著者名/発表者名: H. Okamura, T. Dohi and K. S. Trivedi
  • 雑誌名: Applied Stochastic Models in Business and Industry 巻: vol.29 号: 2 ページ: 141-156
  • DOI: 10.1002/asmb.1919
  • 査読あり
• [雑誌論文] Quantitative security evaluation for software system from vulnerability database (2013)
  • 著者名/発表者名: H. Okamura, M. Tokuzane and T. Dohi
  • 雑誌名: Journal of Software Engineering and Applications 巻: vol.6(4A) 号: 04 ページ: 15-23
  • DOI: 10.4236/jsea.2013.64a003
  • 査読あり
• [雑誌論文] Software reliability growth models with normal failure time distributions (2013)
  • 著者名/発表者名: H. Okamura, T. Dohi and S. Osaki
  • 雑誌名: Reliability Engineering and System Safety 巻: vol.116 ページ: 135-141
  • DOI: 10.1016/j.ress.2012.02.002
  • 査読あり
• [雑誌論文] Enhancing performance of random testing through Markov chain Monte Carlo methods (2013)
  • 著者名/発表者名: B. Zhou, H. Okamura and T. Dohi
  • 雑誌名: IEEE Transactions on Computers 巻: vol.62(1) 号: 1 ページ: 186-192
  • DOI: 10.1109/tc.2011.208
  • 査読あり
• [雑誌論文] Security evaluation for software system with vulnerability life cycle and user profiles (2012)
  • 著者名/発表者名: H. Okamura, M. Tokuzane and T. Dohi
  • 雑誌名: Proceedings of 2012 Workshop on Dependable Transportation/Recent Advances in Software Dependability (WDTS-RASD 2012) ページ: 39-44
  • DOI: 10.1109/wdts-rasd.2012.17
  • 査読あり
• [雑誌論文] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model (2012)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2012) ページ: 382-389
  • 査読あり
• [雑誌論文] Component importance analysis of virtualized system (2012)
  • 著者名/発表者名: J. Zheng, H. Okamura and T. Dohi
  • 雑誌名: Proceedings of The 9th IEEE International Conference on Autonomic and Trusted Computing (ATC 2012) ページ: 462-469
  • DOI: 10.1109/uic-atc.2012.128
  • 査読あり
• [雑誌論文] Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing (2012)
  • 著者名/発表者名: B. Zhou, H. Okamura and T. Dohi
  • 雑誌名: IEICE Transactions on Information and Systems 巻: E95.D 号: 9 ページ: 2219-2226
  • DOI: 10.1587/transinf.E95.D.2219
  • NAID: 10031142837
  • ISSN: 0916-8532, 1745-1361
  • 査読あり
• [雑誌論文] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model (2012)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling 巻: なし ページ: 382-389
  • 査読あり
• [雑誌論文] Unification of software reliability models using Markovian arrival processes (2011)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2011) ページ: 20-27
  • DOI: 10.1109/prdc.2011.12
  • NAID: 110007483139
  • 査読あり
• [雑誌論文] On the effect of the order of test cases in the modified exponential software reliability growth model (2011)
  • 著者名/発表者名: K.Okumura, H.Okamura, T.Dohi
  • 雑誌名: Proceedings of 2011 Second International Conference on Networking and Computing (ICNC-2011) ページ: 294-296
  • DOI: 10.1109/icnc.2011.55
  • 査読あり
• [雑誌論文] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model (2011)
  • 著者名/発表者名: H.Okamura, Y.Etani, 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
  • DOI: 10.1109/iwsm-mensura.2011.26
  • 査読あり
• [雑誌論文] Software reliability growth model with normal distribution and its parameter estimation (2011)
  • 著者名/発表者名: H.Okamura, T.Dohi, S.Osaki
  • 雑誌名: Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering (ICQR2MSE 2011) ページ: 424-429
  • DOI: 10.1109/icqr2mse.2011.5976642
  • 査読あり
• [雑誌論文] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案 (2011)
  • 著者名/発表者名: 岡村寛之, 土肥正
  • 雑誌名: ソフトウェアシンポジウム '11 論文集 ページ: 10-10
  • 査読あり
• [雑誌論文] Software safety assessment based on a subordinated Markov chain (2011)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: International Journal of Systems Assurance Engineering and Management 巻: vol.1 ページ: 307-315
  • 査読あり
• [学会発表] A novel framework of software reliability evaluation with software reliability growth models and software metrics (2014)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 学会等名: The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
  • 発表場所: Miami Beach, FL, USA
• [学会発表] SRATS : Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 学会等名: The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  • 発表場所: Pasadena, CA, USA
• [学会発表] SRATS: Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 学会等名: The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  • 発表場所: Pasadena, CA, USA
• [学会発表] Semi-parametric approach for software reliability evaluation using mixed gamma distributions (2011)
  • 著者名/発表者名: H. Okamura, T. Hirata and T. Dohi
  • 学会等名: The 7th International Conference on Mathematical Methods in Reliability, -Theory, Methods and Applications - (MMR-2010)
  • 発表場所: Beijing, China
• [学会発表] Semi-parametric approach for software reliability evaluation using mixed gamma distributions (2011)
  • 著者名/発表者名: H. Okamura, T. Hirata and T. Dohi
  • 学会等名: 7th International Conference on Mathematical Methods in Reliability, --Theory, Methods and Applications - (MMR-2010)
  • 発表場所: Beijing, China