講演名 | 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 |
発行日 |