• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2010 年度 実績報告書

ソフトウェアの信頼性評価シミュレータとそのキャリブレーション法の開発

研究課題

研究課題/領域番号 20500036
研究機関法政大学

研究代表者

木村 光宏  法政大学, 理工学部, 教授 (20263486)

キーワードソフトウェア信頼性 / ディペンダブルコンピューティング / ソフトウェア開発効率化・安定化 / 計算機システム / シミュレーション工学
研究概要

本研究の目的は大規模ソフトウェアの科学的な開発管理の一助となるべく,当り前品質である信頼性・脆弱性を総合テスト工程において評価する枠組みを,従来の確率モデルではなく,シミュレーションをベースとして行うための手法を開発することである.具体的に述べるならば,従来に提案された確率モデルが,現実的な信頼性要因を組み入れることによりその実用性が失われていく(パラメータ-数が手に負えないまで増加してしまう)ことに鑑み,より実用的かつ柔軟な信頼性評価モデルを構築するために,確率モデルの枠組みを一旦離れ,すなわち,ソフトウェアのテスト工程から得られるデータの発生メカニズムを確率過程などで捉えるのではなく,もっと自由度の高いアルゴリズムにより表現し,シミュレーションモデルとして現象の表現と再現を行うことを着想した.研究計画の最終年度にあたり,今年度は滑らかではない評価関数をある規範の下で最少とするパラメータを如何にして探索するかについて検討した.結果として取り扱っているデータとモデルの構造が比較的小規模・単純であれば特段の工夫をすることなく,実際にソフトウェアの信頼性を表すパラメータの最適値を求めることが可能であることが判明し,この結果を国際会議にて発表した.一方,ソフトウェア脆弱性の評価のモデルについて,同様なアプローチが可能であることは判明しているが,具体的なモデルとデータ解析には至らず,今後の課題としてこれは残された.

  • 研究成果

    (8件)

すべて 2011 2010

すべて 雑誌論文 (2件) (うち査読あり 2件) 学会発表 (5件) 図書 (1件)

  • [雑誌論文] Practical Optimal Software Release Decision Making by Bootstrap Moving-Average Quality Control Chart2010

    • 著者名/発表者名
      Mitsuhiro Kimura
    • 雑誌名

      International Journal of Software Engineering and Its Applications

      巻: 1 ページ: 29-41

    • 査読あり
  • [雑誌論文] A note on software reliability monitoring by moving-average method based on a bootstrap scheme2010

    • 著者名/発表者名
      Mitsuhiro Kimura
    • 雑誌名

      International Journal of Systems Assurance Engineering and Management

      巻: 1

    • 査読あり
  • [学会発表] A Simulation-Based Approach for Software Reliability Assessment2010

    • 著者名/発表者名
      Mitsuhiro Kimura
    • 学会等名
      4th Asia-Pacific International Symposium (APARM2019)
    • 発表場所
      ウエリントン, ニュージーランド
    • 年月日
      2010-12-01
  • [学会発表] ソフトウェアに対する安全度水準計算の一手法2010

    • 著者名/発表者名
      藤原隆次
    • 学会等名
      信学技報,R-2010-35
    • 発表場所
      大阪(中央電気倶楽部)
    • 年月日
      2010-11-19
  • [学会発表] On the Application and Its Problems of Recent Development Processes for Highly and Safe Software2010

    • 著者名/発表者名
      Mitsuhiro Kimura
    • 学会等名
      16^<th> ISSAT International Conference on Reliability and Quality in Design
    • 発表場所
      ワシントンDC, USA
    • 年月日
      2010-08-06
  • [学会発表] ブートストラップ法を活用したテスト工程におけるソフトウェア信頼性評価手法2010

    • 著者名/発表者名
      藤原隆次
    • 学会等名
      第40回信頼性・保全性シンポジウム講演論文集
    • 発表場所
      東京(日本教育会館)
    • 年月日
      2010-07-15
  • [学会発表] A Bootstrap Software Reliability Assessment Method to Squeeze Out Remaining Faults2010

    • 著者名/発表者名
      Mitsuhiro Kimura
    • 学会等名
      The 2010 International Conference on Advanced Science and Technology (AST 2010)
    • 発表場所
      宮崎市(シェラトン・グランデ・オーシャン・リゾート)
    • 年月日
      2010-06-23
  • [図書] 高信頼化ソフトウェアのための開発手法ガイドブック2011

    • 著者名/発表者名
      木村光宏(分担)
    • 総ページ数
      273
    • 出版者
      独立行政法人 情報処理推進機構

URL: 

公開日: 2012-07-19  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi