• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2010 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 21510167
Research InstitutionNanzan University

Principal Investigator

尾崎 俊治  南山大学, 情報理工学部, 教授 (10034399)

Co-Investigator(Kenkyū-buntansha) 青山 幹雄  南山大学, 情報理工学部, 教授 (40278073)
土肥 正  広島大学, 大学院・工学研究院, 教授 (00243600)
岡村 寛之  広島大学, 大学院・工学研究院, 准教授 (10311812)
Keywordsソフトウェアテスト / ソフトウェア信頼性 / ランダムテスト / 疑似乱数生成 / ベイズ推定 / ベイジアンネットワーク / マルコフ連鎖モンテカルロ法
Research Abstract

平成22年度は,超一様分布列およびマルコフ連鎖モンテカルロ法のランダムテストへの適用可能性の検証と,テスト環境要因(テストケースに関するメトリクスなど)からソフトウェア信頼性を評価するモデルを利用して,テストと信頼性を結びつける要員の解析を行った.
超一様分布列およびマルコフ連鎖モンテカルロ法のランダムテストへの適用可能性の検証:既存のSobol', Halton, Faure,一般化Niderreiterなどの超一様分布列を用いたテストケース作成と,マルコフ連鎖モンテカルロ法を用いたテストケース作成手法の構築・検証を行い,離散化したテストケース領域では超一様分布列が,テストケース間の距離概念を用いたテストケース領域では,マルコフ連鎖モンテカルロ法が有意となることを確認した.また,回帰テストにおける優先順位付けに提案手法を適用し,その有効性について検証した.
テスト環境要因(テストケースに関するメトリクスなど)を考慮したソフトウェア信頼性モデルの利用:テストにおけるテストケースが持つ固有メトリクスを有効に利用できる評価体系の構築を検討した.次年度開発したメトリクスを取り扱うソフトウェア信頼性モデルを用いて,フォールト検出に与える影響要因の解析を行った.また,信頼度推定精度の向上と視点では,テストケース投入順が信頼度推定に与える悪影響を分析し,その問題を解決するためのリサンプリング手法(ブートストラッピング)の検討を行った.

  • Research Products

    (11 results)

All 2010

All Journal Article (6 results) (of which Peer Reviewed: 6 results) Presentation (5 results)

  • [Journal Article] Markov chain Monte Carlo random testing2010

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Journal Title

      Advanced Computer Science and Information Technology, LNCS6059

      Pages: 447-456

    • Peer Reviewed
  • [Journal Article] A multi-factor software reliability model based on logistic regression2010

    • Author(s)
      H.Okamura, T.Dohi
    • Journal Title

      Proceedings of 21^<st> IEEE International Symposium on Software Reliability Engineering

      Pages: 31-40

    • Peer Reviewed
  • [Journal Article] A note on quasi-Monte Carlo simulation for non-homogeneous Markov chains2010

    • Author(s)
      K.Yamada, H.Okamura, T.Dohi
    • Journal Title

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      Pages: 780-787

    • Peer Reviewed
  • [Journal Article] A stochastic model under repair-limit replacement program with imperfect repair2010

    • Author(s)
      T.Dohi, N.Kaio, S.Osaki
    • Journal Title

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      Pages: 153-160

    • Peer Reviewed
  • [Journal Article] Transient analysis of software availability models with rejuvenation2010

    • Author(s)
      T.Dohi, H.Okamura, S.Osaki
    • Journal Title

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      Pages: 169-176

    • Peer Reviewed
  • [Journal Article] A simple approximation formula for reliability functions2010

    • Author(s)
      S.Osaki, M.Suzaki
    • Journal Title

      Proceedings of 4^<th> Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling

      Pages: 548-555

    • Peer Reviewed
  • [Presentation] 単体テストデータを用いたソフトウェア信頼性評価に関する一考察2010

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      機械振興会館
    • Year and Date
      2010-12-17
  • [Presentation] ソフトウェアテストにおける残存フォールト数の推定~パラメトリックブートストラップ法~2010

    • Author(s)
      金石俊雄, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      機械振興会館
    • Year and Date
      2010-12-17
  • [Presentation] Enhancing performance of random testing through Markov chain Monte Carlo methods2010

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Organizer
      The 12^<th> International Symposium on High Assurance Systems Engineering
    • Place of Presentation
      CISCO campus, San Jose, CA, USA
    • Year and Date
      2010-11-04
  • [Presentation] 核推定法に基づいたソフトウェア故障データの解析2010

    • Author(s)
      金石俊雄, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      放送大学鳥取学習センター
    • Year and Date
      2010-05-28
  • [Presentation] 動的なテスト環境要因を考慮したソフトウェア信頼性評価に関する一考察2010

    • Author(s)
      恵谷勇介, 岡村寛之, 土肥正
    • Organizer
      電子情報通信学会技術研究報告(信頼性研究会)
    • Place of Presentation
      放送大学鳥取学習センター
    • Year and Date
      2010-05-28

URL: 

Published: 2012-07-19  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi