| 研究課題/領域番号 |
21700037
|
|---|
| 研究種目 |
若手研究(B)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
ソフトウエア
|
|---|
| 研究機関 | 九州工業大学 |
|---|
研究代表者 |
片峯 恵一 九州工業大学, 大学院・情報工学研究院, 助教 (00264135)
|
|---|
| 研究期間 (年度) |
2009 – 2011
|
| 研究課題ステータス |
完了 (2011年度)
|
| 配分額 *注記 |
3,510千円 (直接経費: 2,700千円、間接経費: 810千円)
2011年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2010年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
2009年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円)
|
|---|
| キーワード | ソフトウェア工学 / ソフトウェア効率化・安定化 / モデリング / 非正常系 / 組込みソフトウェア / モデル化 / 仕様化 / ソフトウェア開発効率化・安定化 / ソフトウェア学 |
|---|
| 研究概要 |
高品質な組込みソフトウェアを開発するために、非正常系と呼ばれる例外や障害などの事象に着目して、情報の流れに着目した情報フローダイアグラムによる静的要求分析手法、および状態遷移に着目した分析マトリクスによる動的な要求分析手法を統合した非正常系分析手法を研究した。また、実用性を考慮し、分析範囲を制限するための手法を導入した。
|
