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

2007 Fiscal Year Annual Research Report

ソフトウェア・イー・メインテナンスの最適設計・評価に関する研究

Research Project

Project/Area Number 18510138
Research InstitutionNanzan University

Principal Investigator

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

Co-Investigator(Kenkyū-buntansha) 伏見 正則  南山大学, 数理情報学部, 教授 (70008639)
青山 幹雄  南山大学, 数理情報学部, 教授 (40278073)
土肥 正  広島大学, 大学院・工学研究科, 教授 (00243600)
岡村 寛之  広島大学, 大学院・工学研究科, 准教授 (10311812)
Keywordsソフトウェア信頼性 / 統計解析 / ソフトウェア信頼性モデル / 非同次ポアソン過程 / 比例ハザードモデル / ベイズ進定 / 変分ベイズ / Javaツール
Research Abstract

平成18年度の実績に基づき,平成19年度では,ソフトウェア・イー・メインテナンスの実現に向けて,数理モデルの精巧化,推定における不確かさ評価の確立,プロトタイプツールの作成を行った.
数理モデルの精巧化:先に提案したソフトウェアテストに対する環境要因を考慮した評価モデルに対して,現実的な利用目的に即した形で拡張を行った.具体的には,ソフトウェア開発で観測されるフォールトのデータ形式(時間データおよび個数データ)に対する拡張を行った.ベースとなるモデルは前年度議論したCox比例ハザードモデルと非同次ポアソン過程モデルを融合したものである.また,ソフトウェアメインテナンスのスケジューリングに関する数理モデル化も合わせて行い,その最適性に関する議論も行った.これらの技術は,実際のソフトウェア評価はもちろんのこと,イー・メインテナンスにおける最適設計に応用することが可能である.
不確かさ評価の確立:ソフトウェア信頼性評価における推定自身の不確実性を評価するための手法の確立を行った.ここではベイズ手法と事後分布評価に対する変分法の適用を行った.提案する評価アルゴリズムは従来のサンプリングに基づいた手法よりも,高速に評価を行うことが可能である.このような不確実性を考慮した評価は,本プロジェクトが対象とするオープンな開発環境における信頼性評価に大きく貢献するものと考えられる.
プロトタイプツールの作成:基礎のモデルとなる非同次ポアソン過程モデルとそれを環境要因と融合したモデルを用いて実際のデータから評価を行うツール(プロトタイプ)の開発を行った.実装はJavaで行い,将来的にはWebアプレットによる実装から,インターネットを介したイー・メインテナンスに対する統合アプリケーションへと発展させる.

  • Research Products

    (13 results)

All 2008 2007

All Journal Article (11 results) (of which Peer Reviewed: 10 results) Presentation (2 results)

  • [Journal Article] Estimating periodic software rejuvenation schedule in discrete operational circumstance2008

    • Author(s)
      K. Iwamoto
    • Journal Title

      IEICE Transactions on Information & Systems(D) E91-D(1)

      Pages: 23-31

    • Peer Reviewed
  • [Journal Article] 順位付けじゃんけんの確率論的解析と近似計算2008

    • Author(s)
      須崎政文
    • Journal Title

      電子情報通信学会論文誌 J91-A

      Pages: 393-398

    • Peer Reviewed
  • [Journal Article] Dynamic software reliability modeling with discrete-test metrics; how good is it?2007

    • Author(s)
      K. Shibata
    • Journal Title

      International Journal of Industrial Engineering 14(4)

      Pages: 332-339

    • Peer Reviewed
  • [Journal Article] A faster estimation algorithm for periodic preventive rejuvenation schedule maximizing system availability2007

    • Author(s)
      K. Rinsaka
    • Journal Title

      Service Availability: 4th Int'l Service Availability Symp., Lecture Notes in Computer Science 4526

      Pages: 94-104

    • Peer Reviewed
  • [Journal Article] Variational Bayesian approach for interval estimation of NHPP-based software reliability models2007

    • Author(s)
      H. Okamura
    • Journal Title

      Proc. of 2007 Int'l Conf. on Dependable Systems and Networks(DSN-2007)

      Pages: 698-707

    • Peer Reviewed
  • [Journal Article] Non-parametric predictive inference of preventive rejuvenation schedule in operational software systems2007

    • Author(s)
      K. Rinsaka
    • Journal Title

      Proc. of 18th Int'l Symp. on Software Reliability Engineering(ISSRE'07)

      Pages: 247-256

    • Peer Reviewed
  • [Journal Article] Quantifying software maintainability based on a fault-detection/correction model2007

    • Author(s)
      K. Shibata
    • Journal Title

      Proc. of 13th Pacific Rim Int'l Symp. on Dependable Computing(PRDC'07)

      Pages: 35-42

    • Peer Reviewed
  • [Journal Article] PISRAT: Proportional intensity-based software reliability assessment tool2007

    • Author(s)
      K. Shibata
    • Journal Title

      Proc. of 13th Pacific Rim Int'l Symp. on Dependable Computing(PRDC'07)

      Pages: 43-52

    • Peer Reviewed
  • [Journal Article] Estimating cost-effective checking request policies2007

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

      Quality Technology and Quantitative Management 4(2)

      Pages: 1-13

    • Peer Reviewed
  • [Journal Article] Optimal(T,S)-policies in a discrete-time opportunity-based age replacement: an empirical study2007

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

      International Journal of Industrial Engineering 14(4)

      Pages: 340-347

    • Peer Reviewed
  • [Journal Article] 勝ち抜きコイン投げの平均とそのオーダ2007

    • Author(s)
      須崎政文
    • Journal Title

      数理解析研究所講究録 1559

      Pages: 15-21

  • [Presentation] Confidence intervals of software release time based on Bayesian estimation2007

    • Author(s)
      H. Okamura
    • Organizer
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice(MMR 2007)
    • Place of Presentation
      Glasgow, UK
    • Year and Date
      20070701-04
  • [Presentation] Empirical stopping rule for testing a software-theory and application2007

    • Author(s)
      K. Rinsaka
    • Organizer
      5th International Conference on Mathematical Methods in Reliability, Methodology and Practice(MMR 2007)
    • Place of Presentation
      Glasgow, UK
    • Year and Date
      20070701-04

URL: 

Published: 2010-02-04   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi