| 研究課題/領域番号 |
21510167
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
社会システム工学・安全システム
|
|---|
| 研究機関 | 南山大学 |
|---|
研究代表者 |
尾崎 俊治 南山大学, 情報理工学部, 教授 (10034399)
|
|---|
| 研究分担者 |
伏見 正則 南山大学, 情報理工学学部, 教授 (70008639)
青山 幹雄 南山大学, 情報理工学部, 教授 (40278073)
土肥 正 広島大学, 大学院・工学研究科, 教授 (00243600)
岡村 寛之 広島大学, 大学院・工学研究科, 准教授 (10311812)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
4,680千円 (直接経費: 3,600千円、間接経費: 1,080千円)
2011年度: 1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2010年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
2009年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
|
|---|
| キーワード | ソフトウェア / ランダムテスト / 超一様分布列 / 信頼性評価 / 設計評価 / ソフトウェアテスト / ソフトウェア信頼性 / 疑似乱数生成 / ベイズ推定 / ベイジアンネットワーク / マルコフ連鎖モンテカルロ法 / ソフトウェア信頼性評価 / 擬似乱数生成 |
|---|
| 研究概要 |
本研究プロジェクトでは,最終製品としてのソフトウェアシステムの品質を確保する目的で,ソフトウェアテストの妥当性検証およびソフトウェアの信頼性評価を行う手法に関する研究を行った.具体的には,(i)ソフトウェアテストにおけるランダムテストをより発展させた準ランダムソフトウェアテストあるいはランダムテストに基づいたより効率的なテストケース生成手法の確立,(ii)(準)ランダムテストに基づいたソフトウェア信頼性評価技術の精巧化を行った.
|
