index 1 returnindex 2 index index9 index4 index5

履歴付加アルゴリズム indexを用意 1. 呼び出し, returnのたびに依存辺にindexをインクリメント して付加 2. 他のメソッドの変数を直接参照するときはindexをインク リメントせずに付加 index=9 index=4 index=5 index=6 index=3 main(){ ・・ g=5; A(); B(); ・・ } 4 4 A(){ 　・・ k=g; a=M(k); print(a); ・・ } 5 6 int M(int x){ 　・・ return m; } 8 9 7 B(){ 　・・ c=M(b); ・・ } 7 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

11 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

スライスの有効性 拡張酒屋問題プログラムにおける，(941行)に対する スライス評価実験 デバッグ時間 スライス使用 スライス不使用 122分 155分 12 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

実験結果 提案手法 スライスサイズ(行) 最大index値 PDG構築時間(ms) PDG探索時間(ms) 9 6 3072 583 all 8 20 3566 784 提案手法 スライスサイズ(行) プログラム 2 　ループ 32行 最大index値 PDG構築時間(ms) PDG探索時間(ms) 14 0 2769 1101 DC 13 ー 14 942 all 14 80 3155 784 プログラム 1 　メソッド呼び出し 21行 DC 14 ー 2718 1060 13 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

手法提案の背景 Calling-Context問題： main(){ ・・ g=5; A(); B(); ・・ } A(){ 　・・ k=g; a=M(k); print(a); ・・ } int M(int x){ 　・・ return m; } B(){ 　・・ c=M(b); ・・ } 呼び出し経路を特定できないため, メソッドBも探索される Calling-Contextを考慮した解析を行うことで， スライスサイズを削減できる 14 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University

GUI オープンファイル名 　　　＋ 解析ファイル名 メニューバー ファイル ツールバー ファイル情報 実行結果 15 Software Engineering Research Group, Graduate School of Engineering Science, Osaka University