研究課題/領域番号 |
23700041
|
研究種目 |
若手研究(B)
|
配分区分 | 基金 |
研究分野 |
ソフトウエア
|
研究機関 | 金沢大学 |
研究代表者 |
櫻井 孝平 金沢大学, 電子情報学系, 助教 (80597021)
|
研究期間 (年度) |
2011 – 2012
|
研究課題ステータス |
完了 (2012年度)
|
配分額 *注記 |
1,820千円 (直接経費: 1,400千円、間接経費: 420千円)
2012年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2011年度: 1,170千円 (直接経費: 900千円、間接経費: 270千円)
|
キーワード | ソフトウェアデバッグ / プログラム解析 / プログラムトレース / ソフトウェアテスト / ソフトェアデバッグ |
研究概要 |
本研究ではトレース情報に基づくデバッガを改良し、現実的なプログラムの実行履歴の取得を実現した。さらにこのデバッガ上に、デバッグ対象プログラムの解析を行う枠組みを開発・実装した。このデバッガと枠組みを応用して、潜在的に起こりうる欠陥の発見支援を可能にした。さらにソフトウェアテストにも応用し、プログラムの未実行箇所の解析によって品質向上につながるテストデータの生成を達成した。
|