| 講演抄録/キーワード |
| 講演名 |
2016-11-17 14:25
機械学習を用いたソフトウェアの信頼性解析 ○貝瀬 徹(兵庫県立大) R2016-50 |
| 抄録 |
(和) |
ソフトウェアの信頼性は残存するバグの個数に依存した評価として定義されるが,ソフトウェア内のバグの個数は未知であることから,デバグ過程に着目した動的な信頼性解析モデルが必要とされる.本報告では,動的モデルに着目しデバグの時間間隔をデータとして扱う.ここでは,ワイブル分布に階層構造を構成し,事前分布としてガンマ分布を用いる.特に,ワイブル分布の形状パラメータにもガンマ分布による事前分布を想定することで,デバグ過程における協調知識を解析に取り入れる方法を構成する.また,ベイズ計算推論を用いることでパラメータの値をデータから求め,さらに信頼性評価を行う機械学習による方法論を提案する.
ここでは,モデルの比較を行うための統一的なモデル選択として情報量規準EICの
適用を提案する.
% |
| (英) |
Software debugging processes are made to be effective by managing methods with reliability evaluations. The reliability is defined as the value with dependence on remaining errors. However, the true amount of errors is 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 dynamical models, and the gamma distributions are used for the scale and shape parameters. In particular, prior organized knowledge is proposed to install the hypeparameters. Bayesian computational inferences are used for the Bayesian dynamical models, and a method of the machine learning is provided for the reliability prediction. The information criterion EIC is applied to the Bayesian methodologies, in addition, the model andpriors fitted to a set of data are chosen. |
| キーワード |
(和) |
事前分布 / 動的ベイズモデル / ワイブル分布 / EIC / / / / |
| (英) |
Dynamical model / EIC / Prior information / Weibull distribution / / / / |
| 文献情報 |
信学技報, vol. 116, no. 301, R2016-50, pp. 7-11, 2016年11月. |
| 資料番号 |
R2016-50 |
| 発行日 |
2016-11-10 (R) |
| ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
| PDFダウンロード |
R2016-50 |