講演名 2012-11-15
協調知識情報を考慮したワイブル分布の階層ベイズモデルと計算推論に基づくソフトウェアの信頼性解析(半導体と電子デバイスの信頼性,信頼性一般)
貝瀬 徹,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) ソフトウェアの信頼性は残存するバグの個数に依存した評価として定義されるが,ソフトウェア内のバグの個数は未知であることから,デバグ過程に着目した動的な信頼性解析モデルが必要とされる.本報告では,動的モデルに着目しデバグの時間間隔をデータとして扱う.ここでは,ワイブル分布に階層構造を構成し,事前分布としてガンマ分布を用いる.特に,ワイブル分布の形状パラメータにもガンマ分布による事前分布を想定することで,デバグ過程における協調知識を解析に取り入れる方法を構成する.また,ベイズ計算推論を用いることでパラメータの値をデータから求める.さらに,モデルの比較を行うための統一的なモデル選択として情報量規準の適用を提案する.
抄録(英) Software debugging processes are effective due to products managing based on evaluations of reliability. The reliability is defined as the value with dependence on remaining errors. However, the errors are not observed in a debugging process, and then we need to estimate the reliability based on dynamical methods. In this paper, a dynamical modeling method for interval time between debugs is proposed. The Weibull distribution is used for the hierarchical model, and the gamma distributions are used for the scale and shape parameters. In particular, common knowledge opinions are proposed to install the hypeparameters. Bayesian computational inferences are used for the hierarchical model. The information criterion EIC is applied to the Bayesian methodologies, and the model and priors fitted to a set of data are chosen.
キーワード(和) 階層ベイス / ワイブル分布 / 事前情報 / EIC
キーワード(英) Hierarchical Bayes / Weibull distribution / Prior information / EIC
資料番号 R2012-61
発行日

研究会情報
研究会 R
開催期間 2012/11/8(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Reliability(R)
本文の言語 JPN
タイトル(和) 協調知識情報を考慮したワイブル分布の階層ベイズモデルと計算推論に基づくソフトウェアの信頼性解析(半導体と電子デバイスの信頼性,信頼性一般)
サブタイトル(和)
タイトル(英) Software Reliability Analysis Based on Hierarchical Bayesian Weibull Models and Computational Inferences Using Common Knowledge Opinions
サブタイトル(和)
キーワード(1)(和/英) 階層ベイス / Hierarchical Bayes
キーワード(2)(和/英) ワイブル分布 / Weibull distribution
キーワード(3)(和/英) 事前情報 / Prior information
キーワード(4)(和/英) EIC / EIC
第 1 著者 氏名(和/英) 貝瀬 徹 / Toru KAISE
第 1 著者 所属(和/英) 兵庫県立大学大学院経営研究科
Graduate School of Business, University of Hyogo
発表年月日 2012-11-15
資料番号 R2012-61
巻番号(vol) vol.112
号番号(no) 284
ページ範囲 pp.-
ページ数 4
発行日