2014 Fiscal Year Research-status Report
スケーラブルな実行トレース解析処理基盤に基づくデバッグ手法
Project/Area Number |
25730037
|
Research Institution | Tokyo Institute of Technology |
Principal Investigator |
小林 隆志 東京工業大学, 情報理工学(系)研究科, 准教授 (50345386)
|
Project Period (FY) |
2013-04-01 – 2016-03-31
|
Keywords | ソフトウェア工学 / 動的解析 / デバッグ |
Outline of Annual Research Achievements |
本研究では,実用規模のソフトウェアの複雑な振舞いを効果的に解析するスケーラブルな実行トレース解析処理基盤を構築することを目指す.効率的な解析処理のために,プログラムの静的情報や過去に蓄積した部分トレースを活用し,解析に不要な履歴の除去やトレースの分割を行うハイブリッド型依存解析手法を研究する.また,その基盤を利用して,データマイニング技術を応用した API 利用の時相制約発見手法等,多量の実行トレースの解析に基づくソフトウェア理解支援手法,欠陥個所の特定手法からなる,新しいデバッグ手法を開発する.
本年度は,詳細な動的情報を低オーバヘッドで取得できるJava言語向けトレーサを開発し,プログラムの静的情報や過去に蓄積した実行履歴を用いた欠陥個所特定ツールのプロトタイプを作成した.昨年までに開発したデータ依存の伝播に基づく欠陥個所特定手法を実プロ具グラムに適用できるよう詳細化し,実際のJavaプログラムに適用する実験を行った.実験を通して,データ依存の多段階の伝播を考慮することで,従来手法以上の欠陥個所特定が可能となることを明らかにした.
|
Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
実際のプログラムにおいておもデータ依存を追跡できる詳細なトレースが記録できるトレーサを開発し,その情報を活用する手法の実装まで完了している.
|
Strategy for Future Research Activity |
本年度作成したトレーサと欠陥個所特定ツールを用いた詳細な評価を行う.また,トレーサを用いて多量の実行トレースの解析に基づくソフトウェア理解支援手法の評価を行い成果をまとめる.
|
Causes of Carryover |
本研究の目的である実行トレース解析処理基盤に基づくデバッグ手法の開発において,詳細な変数アクセスを取得し動的データ依存を解析することの重要性が明らかになったため,詳細な動的データ依存の取得方法とその利用方法に関する研究を行った.またそれらの結果を成果に含めるために,全体的なスケジュールを後ろ倒しにした.
|
Expenditure Plan for Carryover Budget |
上記の研究手法の効果を確認するための実験と,その結果を成果として発表するための費用として使用する.
|