|
実用規模のソフトウェアに対する実行トレース解析に基づくデバッグのために，設計意図や静的特徴を利用して，解析に不要な実行トレース情報の除去を行う抽象化手法を研究した．また，動的データ依存解析と詳細なメソッドレベルでの振舞い解析に基づく新しい欠陥箇所特定支援手法を開発した．
本研究では，さらに選択的インライン展開とデータマイニング技術を応用したAPI利用の時相制約発見手法，プログラムの改版履歴の分析に基づくモジュール間の論理的依存関係の発見手法について研究した，これらの技術を応用することで，多量の実行トレースの解析に基づくソフトウェア理解とデバッグ支援がより効果的になることが期待できる．
|
