プログラムスライスを用いたアスペクト指向プログラムのデバッグ支援環境石尾隆，楠本真二，井上克郎大阪大学大学院情報科学研究科 {t-isio,kusumoto,inoue}@ist.osaka-u.ac.jp Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University.

Transcript プログラムスライスを用いたアスペクト指向プログラムのデバッグ支援環境石尾隆，楠本真二，井上克郎大阪大学大学院情報科学研究科 {t-isio,kusumoto,inoue}@ist.osaka-u.ac.jp Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University.

プログラムスライスを用いたアスペクト指向プログラムのデバッグ支援環境

石尾隆，楠本真二，井上克郎大阪大学大学院情報科学研究科 {t-isio,kusumoto,inoue}@ist.osaka-u.ac.jp

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

発表の概要アスペクト指向プログラミング

オブジェクト指向プログラミングアスペクト指向の特徴アスペクト指向の問題点

アスペクト指向プログラムの開発支援

アスペクト干渉の検出プログラムスライシングの適用

ツールの実装評価実験今後の課題

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

オブジェクト指向モデルオブジェクトの相互通信でシステムをモデル化

システムの機能をオブジェクトが分担して担当

横断要素 : 複数のオブジェクトが関わる機能

コードが分散，一貫性の維持が困難 → 保守性の悪化例：エラー処理 Database でエラーが発生したらユーザの指示に従う  GUI, Database にエラー処理コードが分散ユーザの入力を通知 GUI Database エラーを通知

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

アスペクト指向モデルアスペクト : 横断要素のモジュール化

アスペクト = ( 動作時点 , 処理 ) の集合で定義動作時点は，メッセージ送受信や例外の発生など明示的な呼び出しが不要 GUI 1. GUI の生成に応じて参照を記憶 Database 2. Database の例外発生に対応して， GUI を使ってユーザに通知 3. 結果を Database に反映エラー処理アスペクト

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

アスペクト指向の利点と問題点利点：モジュール性の向上

保守性の向上横断要素がアスペクトにまとまっているので，変更が容易再利用性の向上モジュール間の相互依存性の解消横断要素とオブジェクトの独立した再利用

問題点：プログラムの複雑化

オブジェクトを見ただけでは動作がわからないアスペクトの干渉アスペクトの動作順序で実行結果が変わるアスペクトの動作中に別のアスペクトが動作する

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

本研究の目的アスペクトを組み込んだプログラムに対する依存関係解析結果を用いた開発支援手法を提案する．

アスペクト干渉の検出アスペクトを組み込む時点での支援プログラムスライスの抽出アスペクトを組み込んだ後のデバッグ支援

対象 : AspectJ

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

アスペクト干渉の検出アスペクトを組み込む段階での情報の提示 Aspect を含めた Call Graph の利用

頂点：クラス，アスペクトに含まれるメソッド（手続き）単位辺：メソッドの呼び出し，アスペクトの呼び出し（呼び出し関係はソースコードから解析）

ある時点でアスペクトが作動する＝アスペクトを呼び出している

「 Call Graph でアスペクトの頂点に到達可能」ならば「アスペクトの影響を受ける」

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

Call Graph 例

凡例 Aspect Class call 無限ループ

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

プログラムスライシングの適用プログラムスライシングとは

プログラム解析手法のひとつ開発者が注目する必要があるコードのみを抽出し，提示する技術元々は手続き的プログラム用に開発され，オブジェクト指向プログラムに対して拡張されている依存関係が複雑になるアスペクト指向プログラムに対して有効性が期待される

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

プログラムスライスの定義

プログラムのある文 s のある変数 v （スライス基点）の値に“影響”を与えうる文の集合影響 = 代入－参照関係， if 文など制御関係プログラム文を頂点，依存関係を辺としたグラフ探索 1: a = 5; 2: b = a + a; 3: if (b > 0) { 4: c = a; 5: } 6: d = b; a b 制御基点 < 6, b > 1: a = 5; 2: b = a + a; 3: if (b > 0) { 4: c = a; 5: } 6: d = b; プログラマが扱う必要があるコードを提示デバッグ作業の効率化 a b

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

スライス計算に必要な情報

データ依存関係ローカル変数の代入 → 参照フィールド（メンバ変数）の代入 → 参照制御依存関係実行制御文の条件節 → 制御される文メソッド呼び出し関係メソッド呼び出し文 → 呼び出されるメソッドの文メソッド呼び出し文の実引数アスペクトの連動位置 → 呼び出されるメソッドの仮引数 → 動作するアスペクトアスペクトの連動位置 → アスペクトが参照する実行時点情報目的をデバッグに限定実行が失敗するテストケースが特定されている状態を想定動的（実行時）情報が利用可能オブジェクトの区別，動的束縛の解決によってコード量を減らす

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

動的情報収集の実装アスペクトとして動的解析処理を記述する

１つのモジュールにカプセル化可能可読性・保守性の向上実現および実行時コストの軽減実用上十分な情報が収集可能 Java を対象とした場合は十分に有効 † → AspectJ で書かれたプログラム用に拡張 † 石尾隆 , 楠本真二 , 井上克郎 : “ アスペクト指向プログラミングの動的スライス計算への応用” , 情報処理学会論文誌， Vol.44, No.7 (2003).

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

スライスツールの実装統合開発環境 Eclipse への統合

プラグイン形式で機能を追加できる開発者がエディタ上でそのまま利用できる

コンパイル時にソースコード情報を収集

静的依存情報の収集 Call Graph の作成，無限ループ等の指摘

実行時情報が存在すれば読み込んで利用

動的解析モジュールを付加して実行しておく必要あり実行時情報がなければ静的情報だけでスライス計算

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

プロトタイプのスクリーンショット

3. スライス計算実行を指示 2. スライス基点をエディタ上で選択 1.

4. スライス結果をエディタ上に出力コンパイル時に静的情報収集

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

実験 (1) ツールの適用適用対象

AspectJ サンプルコード５種類プログラムの実行時情報解析アスペクト各サンプルコードのサイズは平均 500 行

実験内容

サンプルコードを実行し，その結果に対してプログラムスライスを計算従来のツールを用いた依存関係の追跡との定性的比較 AJDE: どこでアスペクトが動作するかをマーカーで表示する

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

評価プログラムスライシングの有用性

アスペクトがもたらす複雑さの軽減アスペクトが増えた分，考慮すべき依存関係は増加ファイルをまたいだ依存関係：手作業の追跡はコスト大「依存関係がなくなる」コードの発見が可能アスペクトの動作によって，実行されなくなるような文が発見できる

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

「依存関係がなくなる」コードの例

開発者が意識する依存関係実際のスライス結果 void f1() { x = f2(); ： } int f2() { return doSomething(); } int f3() { return doSomething2(); } } aspect redirectMethodCall { int around(): call(f2) { return f3(); } メソッド呼び出しを置き換えるアスペクト void f1() { x = f2(); ： } } int f2() { return doSomething(); } int f3() { return doSomething2(); } aspect redirectMethodCall { int around(): call(f2) { return f3(); }

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

計算コスト

時間コスト静的情報の収集＝コンパイラが構築した意味解析木に対する１パス処理動的情報の収集（実行時情報を付加した状態での対象プログラムの実行時間）＝実行するプログラムとテストデータに依存，過去の実験では通常の実行に比べて最大で 10 倍程度空間コストアスペクトの種類によってコストに大きな差多数のクラスを横断して動作するアスペクトは，メモリ消費量が非常に大きくなることがある約 10000 行のコードに，実行時情報解析アスペクト（ 1000 行）を追加した結果，必要メモリが 20MB から 100MB 以上に増加 AspectJ が生成した意味解析木の肥大化による，解析コストの増大動作回数が多い分，アドバイス呼び出しの頂点と辺の数が増加

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

実験 (2) 開発への影響の評価

大学院の授業での利用大学院生 ( 修士課程 ) 12 名授業で Java 使用経験あり， AspectJ は使用経験なし開発環境 : Eclipse + AspectJ plug-in 実験の手順 Eclipse についての解説 Eclipse を用いた Java プログラムのデバッグ演習（事前課題１） AspectJ についての解説 Eclipse を用いた AspectJ プログラミング演習（事前課題２） Eclipse を用いた AspectJ プログラムのデバッグ（実験）

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

対象プログラムの概要

AspectJ プログラムのデバッグ演習対象 : 式評価プログラム入出力例 : (+ 4 3 (* 2 7 ) (* 2 7) )  35 一部のノードは共有されていることがあるアスペクトの干渉によって正しい結果が出力できないプログラムクラス５つ（式構造クラス），アスペクト４つ，合計 340 行式評価経過の文字列出力，計算結果の共有，グラフのループ検出，評価が終了したグラフの接続解除学生の半数 6 名に，プログラムスライスを追加資料として提供時間の都合上，印刷物として提供誤った出力結果を格納している変数をスライス基点として設定４つのアスペクトのうち，２つは関与していないことが明示されている

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

提供したスライスの一部

public aspect CachingAspect {

// member of this Aspect

static private Set workers = new HashSet();

// add a member to Worker class

private boolean Worker.isAlreadyCalculated = false; pointcut work_call() : call(void Worker.work());

pointcut first_work_call() : work_call() && !cflowbelow(work_call());

void around(): work_call() { Worker w = (Worker)thisJoinPoint.getTarget(); if (w.isAlreadyCalculated) return; else { proceed(); w.isAlreadyCalculated = true;

workers.add(w);

} }

// clear the flag when calculation process is finished after(): first_work_call() { for (Iterator it = workers.iterator(); it.hasNext(); ) { } workers.clear(); Worker w = (Worker)it.next(); w.isAlreadyCalculated = false; }

}

既に計算済みの場合は計算を省略するこの計算省略機能が，計算経過の文字列出力も飛ばすことがバグの原因計算が完全に終了した時点で，フラグをクリア出力結果には関係ないのでスライスに含まれない

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

実験の提出物提出物（事前の２回の演習課題，実験用の演習）

問題の原因修正方針変更したソースコード作業に要した時間スライスを使用した感想

提出した結果を分析

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

実験結果

Java プログラム課題の作業時間との順位相関相関係数 r = 0.54

AspectJ プログラミングでは要な要素となる Java に関するプログラミング能力が重スライス使用の効果スライス使用者のほうが値は多少良いが，統計的に有意な差は示せなかった作業時間の平均

(

単位

分

)

グループ事前課題 1 (Java) 事前課題 2 (AspectJ) 実験 (AspectJ) 1 150 186 200 2 200 210 190 （スライス使用）

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

考察

スライスを用いた学生の意見を分析した結果：バグの原因特定について作業に取り掛かる段階で，コードを読む指針となる「原因の候補」として目をつけた点に対して，その部分がスライスに含まれているかどうかで，候補を絞り込めるバグの修正について変更結果が他のアスペクトに影響を及ぼさないことを確認するには，他のアスペクトも読まないといけない  スライスだけで，作業時間を短縮できるとは限らない影響波及解析など他のデバッグ支援手法と組み合わせる

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

まとめ

アスペクト指向プログラムの開発支援 Call Graph を用いた干渉の検出アスペクトの動作を，メソッド呼び出しと等価とみなすループ等，実行を不可能にするような重大な干渉の提示プログラムスライシングの適用従来手法に，「アスペクト呼び出し」を追加静的情報，実行時情報を組み合わせた開発者の支援評価実験スライスツールの適用アスペクトによる振る舞いの変化を示す開発作業への影響の評価バグの原因特定には有用バグの修正支援には他の手法が必要今後の課題多数のオブジェクトを横断するアスペクトの効率的な扱い影響波及解析など，他のデバッグ支援手法との連携

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

終

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

アスペクトを含んだプログラム依存グラフ around(): call (Foo.f1)

o, x を代入したノード呼び出し引数 : o, x

の例

around(): call(Foo.f1) データ o 元の o.f1(x); に対応する頂点戻り値本来の戻り値を代入する変数呼び出し引数 : x thisJoinPoint.getThis(); o, x 呼び出しデータ依存手続き内部頂点 proceed(); 戻り値 return 文 f1 メソッド本体

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

プログラムの概要 (1) “Worker” 階層オブジェクトそれぞれ評価値を持つ Sum は加算ノード Prod は乗算ノード Literal は定数ノードは共有可能

5 Literal (5)

Worker.work() で評価値計算 Worker.getValue() で結果取得

17 SumWorker 3 3 ProdWorker Literal (3) 9 3

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

プログラムの概要 (2) main.Main

Worker ツリー構築 → 計算 → 結果の出力を実装

４つのアスペクトを導入

Worker ツリーの解体 (CleanupAspect) 式の構造出力 (PrintTreeAspect) 先ほどのツリーの出力 : (+ 5 3 (* 3 3 ) ) 共有ノードの再評価省略 (CachingAspect) 計算中のループ検出 (LoopDetectAspect)

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

オブジェクト / アスペクトのコード比較

} class GUI { public int notifyError(DBException e) { // ダイアログを生成してユーザに通知 } database.processError(e, user_input); } class Database { private doSomething() { try { ... } catch (DBException e) { gui.notifyError(e); } } } private doSomething2() { try { ... } catch (DBException e) { gui.notifyError(e); } DB 内でのエラーが起きる場所すべてで同じ処理が必要

aspect

ErrorNotification { } // Database でのエラートラップ

after throwing

(DBException e):

call

(

Database.

(..) ) { } user_input = GUI.notifyError(e); // エラー処理 } // GUI に以下のコードを追加 public int GUI.notifyErorr(DBException e) { // ダイアログを表示 // ユーザの入力を戻り値とする return user_input; 一貫性の維持が難しい・変更の反映を忘れる・無関係な部分に実装を追加してしまう

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

その他のアスペクトの利用例

アスペクトによるトランザクションの実現 † 種々のトランザクションメカニズムを利用したトランザクションのモジュール化 GoF デザインパターンのアスペクトによる書き換え ‡ デザインパターン＝オブジェクトの「連携のやりかた」のパターン設計レベルでの再利用，使うときは個別のコードを書くパターンに関連するオブジェクトにコードは分散するいくつかのパターンは，単独のアスペクトに簡潔に記述することができるアスペクトとして再利用可能なコードになったパターンも存在 † S. Soares, E. Laureano, P. Borba: `Implementing Distribution and Persistence Aspects with AspectJ'', OOPSLA 2002 ‡ J. Hannemann, G. Kiczales: ” Design Pattern Implementation in Java and AspectJ' ‘ , OOPSLA 2002

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

Architecture and Use Case of ADAS

Dynamic Analysis Aspect Java Source 1.edit

slice criteria program slice 4.slice calculation Slice Calculation Tool 2.compile

Static Analyzer Static Info.

AspectJ Java Bytecode Java VM 3.execute

a test case Dynamic Info.

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

情報収集の従来の実現方法「監視」処理は対象ソフトウェア全体に影響する

単純な実装：対象ソフトウェアの各所でログを生成する → アスペクトでモジュール化するべき

Java を対象とした場合のその他の実現方法

Java Virtual Machine (JVM) の改造移植性がない，実現に必要なコストが高い JVM の持つ Profiler Interface の利用実行時のコストが高い，バイトコード最適化で結果が変わるプリプロセッサによるソースコード変換構文木の変換ルールが複雑，保守性が低い

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University

アスペクトによる実装の利点アスペクトとして動的解析処理を記述

１つのモジュールにカプセル化可能可読性・保守性の向上実現および実行時に要するコストの軽減実用上十分な情報が収集可能成果については論文投稿中 † † : 石尾隆，楠本真二，井上克郎 : アスペクト指向プログラミングの動的プログラムスライスへの応用，情報処理学会論文誌，投稿中

Software Engineering Laboratory, Department of Computer Science, Graduate School of Information Science and Technology, Osaka University