[論文レビュー] A Novel Approach for Computing Dynamic Slices of Aspect-Oriented Programs

Abhishek Ray, Siba Mishra+1 more|arXiv (Cornell University)|Mar 1, 2014

Software Testing and Debugging Techniques参考文献 20被引用数 4

ひとこと要約

本論文は、プログラムの依存関係をモデル化するためのアスペクトシステム依存グラフ（AOSG）を用いて、アスペクト指向プログラム（AOP）のための新しい動的スライシングアルゴリズムを提案する。実行時におけるエッジのマークおよびアンマークを導入することで、EMDSアルゴリズムを拡張し、正確な動的スライスを効率的に計算する。この手法により、クロスカットする関心事の影響を受ける複雑なアスペクト指向システムのデバッグや解析が向上し、実験的評価でもその有効性が裏付けられている。

ABSTRACT

We propose a dynamic slicing algorithm to compute the slices of aspect-oriented programs. We use a dependence based intermediate program representation called Aspect System Dependence Graph (AOSG) to represent aspect-oriented programs. Then, we propose the dynamic slicing algorithm for AOPs, which is an extended version of EMDS algorithm for object-oriented programs. Our algorithm is based on marking and unmarking of the edges of AOSG appropriately during runtime.

研究の動機と目的

• アスペクト指向プログラム（AOP）において、従来のスライシング手法がクロスカットする関心事のため失敗するという課題に対処すること。
• インタータイプ宣言やアスペクト間依存関係といったアスペクト固有の構文を十分にモデル化できない既存の動的スライシングアルゴリズムの制限を克服すること。
• 依存関係に基づく中間表現を活用することで、AOPに特化したスケーラブルで正確な動的スライシング技術を開発すること。
• 特定の実行ポイントにおける特定の変数に影響を与える最小限のプログラム要素を特定することで、AOPの効果的なデバッグとテストを可能にすること。

提案手法

• 著者は、AOPにおける制御、データ、およびアスペクト固有の依存関係をすべて捉える依存関係に基づく中間表現としてのアスペクトシステム依存グラフ（AOSG）を導入する。
• この手法は、EMDS（効率的な多方向スライシング）アルゴリズムを拡張し、AOSGエッジに適応したマークおよびアンマークメカニズムを用いることで、アスペクト指向構文を処理できるようにする。
• 実行時、データ依存および制御依存に基づいて、ターゲット変数の計算に寄与するAOSG内のエッジをマークする。
• 不要な依存関係、特にアスペクトによって導入されたものを取り除くためにアンマークを適用し、最終的なスライスに含まれる要素が関連するものに限定されるようにする。
• インタータイプ宣言やアスペクト間呼び出しをAOSG構造に統合することで、ベースクラスとアスペクトコードの両方を一様に処理する。
• 本手法は、任意の実行ポイントにおける任意の変数に対して動的スライシングをサポートし、標的のデバッグと分析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 アスペクトによって導入される複雑な依存構造に対し、動的スライシングをどのように効果的に適応できるか。
• RQ2 正確なスライシングを可能にするために、オブジェクト指向的およびアスペクト指向的依存関係を正確にモデル化できる中間表現は何か。
• RQ3 EMDSアルゴリズムを拡張してアスペクト指向プログラムをサポートしつつ、効率性と正しさを維持できるか。
• RQ4 本手法は、従来のスライシング手法と比較して、AOPにおける精度とパフォーマンスの面で優れているか。
• RQ5 インタータイプ宣言やアスペクト間呼び出しといったアスペクト固有の構文が、動的スライスの正確性に与える影響は何か。

主な発見

• 提案されたアルゴリズムは、AOSG表現を用いてすべての関連する依存関係をモデル化することで、アスペクト指向プログラムにおける正確な動的スライスを効果的に計算する。
• EMDSをAOSGに拡張することで、クロスカットする関心事の影響がある中でも、実行時におけるターゲット変数に影響を与えるプログラム要素を正確に同定できる。
• アスペクト間およびインタータイプ依存関係を明示的にモデル化することで、従来のスライシング手法よりも精度が向上している。
• 実行時のAOSGエッジの効率的なマークおよびアンマークにより、性能オーバーヘッドが合理的に抑えられている。
• 実験的評価により、関連するコードパスを正確に隔離できること、AOPの効果的なデバッグとテストを支援できることを確認した。
• 本手法はさまざまなアスペクト指向フレームワークに一般化可能であり、任意の実行ポイントでの動的解析をサポートする。