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

2009 Fiscal Year Annual Research Report

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

Research Project

Project/Area Number 21510167
Research InstitutionNanzan University

Principal Investigator

尾崎 俊治  Nanzan University, 情報理工学部, 教授 (10034399)

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

平成21年度は主として,ランダムテストにおけるテストケース生成に関連する(準)乱数生成,テスト結果からソフトウェアの信頼性を推定するための数理モデルおよびその基礎をなす確率モデルについての成果を得た.特にソフトウェア信頼性評価モデルでは,Webシステムのログをテストデータと見なしたシステム評価や,ソフトウェア信頼性を推定するためのノンパラメトリックアプローチに関する一定の成果を得た.これは様々なテスト手法によって得られる多様なテストデータ結果からソフトウェア信頼度を推定するために必要な技術である.また,テスト環境要因およびソフトウェア特徴量(メトリクス)を考慮したソフトウェア信頼性モデルの構築も行った.これも,先のノンパラメトリックアプローチと同様にテスト手法と連動したソフトウェア信頼評価の基礎モデルとなる.具体的には,ポアソン回帰とロジスティック回帰の説明変数にテスト環境要因などのメトリクスを適用したモデルの構築を行った.また,ランダムテストに関しては,ベイズモデルに基づいたマルコフ連鎖モンテカルロ法を適用したテストケース生成手法を構築した.ソフトウェアテストを表現するモデルには最も簡単な入力ドメインモデルを適用し,ベイズ推定のフレームワークを適用することで,バグ潜在確率が高い入力を特定し,その入力をテストするテストケースを生成する手法の提案を行った.これは,数値実験において従来のランダムテストよりもフォールト検出能力において優れていることが示された.

  • Research Products

    (13 results)

All 2010 2009

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

  • [Journal Article] An Implementation of a 5-term GFSR Random Number Generator for Parallel Computations2010

    • Author(s)
      H.Miyazawa, M.Fushimi
    • Journal Title

      Lecture Notes in Operations Research 10

      Pages: 448-452

  • [Journal Article] Shift Scheduling problems in Nanzan University entrance examinations----their formulation and implementation2010

    • Author(s)
      A.Suzuki, K.Yamamoto, N.Ito, M.Fushimi
    • Journal Title

      Lecture Notes in Operations Research 10

      Pages: 461-468

  • [Journal Article] Identifying statistical failure mechanism of web server systems : measurement and reliability analysis2010

    • Author(s)
      T.Fujii, T.Dohi
    • Journal Title

      International Journal of Business Intelligence and Data Mining 5

      Pages: 156-171

    • Peer Reviewed
  • [Journal Article] マルコフ連鎖モンテカルロ法によるソフトウェアテストケースの設計2010

    • Author(s)
      岡村寛之, 周搏, 土肥正
    • Journal Title

      ソフトウェアテストシンポジウム2010東京(JaSST'10)論文集

      Pages: 54-59

    • Peer Reviewed
  • [Journal Article] 4手じゃんけんモデルによるリーダー選挙アルゴリズム:確率的解析と漸近挙動2009

    • Author(s)
      須崎政文, 尾崎俊治
    • Journal Title

      電子情報通信学期論文誌 J92-A

      Pages: 571-575

    • Peer Reviewed
  • [Journal Article] Wavelet-based approach for estimating software reliability2009

    • Author(s)
      X.Xiao, T.Dohi
    • Journal Title

      Proceedings of 20th International Symposium on Software Reliability Engineering(ISSRE'09)

      Pages: 11-20

    • Peer Reviewed
  • [Journal Article] Non-homogeneous inverse Gaussian software reliability models2009

    • Author(s)
      L.-Z.Jin, T.Dohi
    • Journal Title

      Proceedings of 7th International Conference on Quality Software(QSIC 2009)

      Pages: 444-451

    • Peer Reviewed
  • [Presentation] 並列計算機での擬似乱数利用2010

    • Author(s)
      宮澤元・伏見正則
    • Organizer
      統計数理研究所 共同研究集会
    • Place of Presentation
      統計数理研究所
    • Year and Date
      2010-03-12
  • [Presentation] ソフトウェアメトリクスを考慮したソフトウェア信頼性評価2010

    • Author(s)
      岡村寛之, 岡野俊之, 土肥正
    • Organizer
      日本OR学会春季研究発表会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2010-03-04
  • [Presentation] テスト環境要因を考慮したソフトウェア信頼性モデルの効率的推定法2010

    • Author(s)
      岡村寛之, 土肥正
    • Organizer
      日本OR学会春季研究発表会
    • Place of Presentation
      首都大学東京
    • Year and Date
      2010-03-04
  • [Presentation] Random testing based on Markov chain Monte Carlo method2009

    • Author(s)
      B.Zhou, H.Okamura, T.Dohi
    • Organizer
      平成21年度電気・情報関連学会中国支部第60回連合大会
    • Place of Presentation
      広島市立大学
    • Year and Date
      2009-10-17
  • [Presentation] 4手じゃんけんモデルによるブロードキャストコミュニケーションモデルの衝突解消スキーム2009

    • Author(s)
      須崎政文, 尾崎俊治
    • Organizer
      日本OR学会秋季研究発表会
    • Place of Presentation
      長崎大学
    • Year and Date
      2009-09-10
  • [Presentation] ワールドベースボールクラッシク(WBC)の対戦方式の確率計算2009

    • Author(s)
      広津信義, 須崎政文, 尾崎俊治
    • Organizer
      日本OR学会秋季研究発表会
    • Place of Presentation
      長崎大学
    • Year and Date
      2009-09-10

URL: 

Published: 2011-06-16   Modified: 2014-03-06  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi