エイリアス関係を利用したJavaスライシングツールの実現

書誌事項

タイトル別名
  • Java Slicing Tool Based on Alias Analysis
  • エイリアス カンケイ ヲ リヨウ シタ Java スライシングツール ノ ジツゲン

この論文をさがす

説明

近年の大規模化・複雑化するプログラムに対して, プログラムスライスと呼ばれる手法がプログラムの理解, デバッグの効率化を目的として提案されている. ブログラムスライスとは, プログラム文中においてある文のある変数の値に影響を与える文の集合を抽出する技術で, プログラム中の特定の機能やエラーに関係がある部分を抽出するのに利用される. プログラムスライスは, 一般にプログラム文間の依存関係解析を行うことで得られるが, 従来のオブジェクト指向言語における手法では同一メモリ空間を指す可能性のある式間の同値関係であるエイリアス関係を十分に考慮されておらず, エイリアス関係の解析について曖昧なものかほとんどである. 本論文では, オブジェクト指向言語Javaを対象として, エイリアス関係を考慮した静的プログラムスライス計算手法を提案する.エイリアス関係を利用することで, オブジェクト指向言語特有の実行時決定要素の解析を含めた, より正確なプログラムスライスの計算が期待できる. また, 提案手法を我々の研究グループか開発しているJavaプログラム解析フレームワークにスライシングツールとして機能追加し, その有効性を解析コスト及び正確性の面から確認する.

収録刊行物

参考文献 (13)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ