書式設定,書式設定,第 2,第 3,第 4,第 5,*,静的情報動的情報用計算法,芦田佳行,井上研究室,静的情報動的情報用計算法芦田佳行,1,発表内容,動的,静的,静的情報動的情報併用計算法提案,Call-Mark,Statement-Mark,D3,部分解析法,各手法評価，考察,発表内容,2,研究背景,巨大化，複雑化,工程増大(開発5080%),(検出),(,位置特定,，修正),位置特定効率良行一手法,，提案,研究背景巨大化，複雑化(,3,文変数(基準)値影響与文集合,誤値変数,基準指定,関連深部分,抽出,文変数(基準)値影響,4,動的,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,入力c=0場合実行系列,9:,writeln(d);,e1:a:=3;,e2:b:=2;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e6:e:=b+a;,e7:writeln(d);,e8:writeln(e);,e1:a:=3;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e7:,writeln(d);,d,e,b,c,a,a,依存関係(DD),制御依存関係(CD),動的 1:a:=3;1:a:=3;入力c,5,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,10:writeln(e);,静的,9:,writeln(d);,a,e,b,c,a,a,d,d,特定考慮，実行系列可能性考,増加,配列詳細解析,1:a:=3;1:a:=3;静的 aeb,6,研究目的,:静的近,結果:動的近,本研究，静的情報動的情報両方用,抽出技法提案,研究目的:静的近,7,Statement-Mark(Call-Mark),文(関数呼出文)実行履歴用，実行文結果除外,PDG,静的解析,実行,文,実行履歴,基準,探索,Statement-Mark(Call-Mark),8,配列,1:a0:=0;,2:a1:=3;,3:readln(b);,4:c:=ab+4;,5:writeln(c);,配列，解析,配列静的解析限界,1:a:=0;,2:b:=2;,3:c:=,4:*c:=4+b;,5:writeln(a);,b,a,a,c,?,配列配列，解析配列静的解析限界,9,D3特徴,依存関係:動的解析,配列，構造体詳解析,制御依存関係:静的解析,実行時削減,依存節点:各文,使用量抑制,D3特徴依存関係:動的解析,10,D3,依存関係,実行,&解析,PDG,制御依存,関係解析,依存辺,追加,PDG,基準,探索,D3実行 PDG制御依存依存辺PDG,11,依存関係解析,1:a0:=0;,2:a1:=3;,3:readln(b);,4:ab:=2;,5:c:=a0+4;,6:writeln(c);,2:a1:=3;,3:readln(b);,4:ab:=2;,5:c:=a0+4;,6:writeln(c);,1:a0:=0;,入力b=0場合,各変数定義,a0 a1 b c,e1 s1 -,e2 s1 s2 -,e3 s1 s2 s3 -,e4 s4 s2 s3 -,e5 s4 s2 s3 s5,e6 s4 s2 s3 s5,b,a0,c,依存関係解析1:a0:=0;2:a1:,12,各手法違,各手法違,13,評価方法,本手法，試作,(対象言語:Pascal)実装，有効性確認,比較手法,静的,動的,Call-Mark,Statement-Mark,D3,計測項目,解析時間(静的解析),実行時間(動的解析),評価方法本手法，試作,14,計測結果(1),P1:表示(88行),P2:酒屋問題(387行),P3:拡張酒屋問題(941行),(行),計測結果(1)P1:表示(88行),15,計測結果(2),解析時間,(,静的解析,)ms,実行時間,(動的解析)ms,(Celeron450MH with 128MB),計測結果(2)解析時間(静的解析)ms実行時間(動的解析,16,考察,考察,17,今後課題,静的情報動的情報併用計算法提案，評価,Statement-Mark,D3,手法使分，効率良位置特定期待,新本手法適用,複数手法使分指針提案?,今後課題静的情報動的情報併用計算法,18,動的(説明無),1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,入力c=0場合実行系列,9:,writeln(d);,e1:a:=3;,e2:b:=2;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e6:e:=b+a;,e7:writeln(d);,e8:writeln(e);,a,d,e,b,c,e1:a:=3;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e7:,writeln(d);,動的(説明無)1:a:=3;1:a:=,19,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,10:writeln(e);,静的(説明無),9:,writeln(d);,a,d,e,b,c,a,a,d,1:a:=3;1:a:=3;静的(説明無,20,動的(説明),1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,入力c=0場合実行系列,9:,writeln(d);,e1:a:=3;,e2:b:=2;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e6:e:=b+a;,e7:writeln(d);,e8:writeln(e);,a,e1:a:=3;,e3:readln(c);,e4:if c=0 then,e5:d:=a,e7:,writeln(d);,d,e,b,c,a,動的(説明)1:a:=3;1:a:=,21,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,9:writeln(d);,10:writeln(e);,1:a:=3;,2:b:=2;,3:readln(c);,4:if c=0 then,5:d:=a,6:else,7:d:=a+1;,8:e:=b+a;,10:writeln(e);,静的(説明),9:,writeln(d);,a,e,b,c,a,a,d,d,1:a:=3;1:a:=3;静的(説明,22,Call-Mark,(1)静的解析，PDG作,(2)入力与実行，各関数呼出文実行調,(3)実行文，文辺PDG取除,(4)基準計算,Call-Mark(1)静的解,23,Statement-Mark,(1)静的解析，PDG作,(2)入力与実行，各文実行調,(3)実行文，文辺PDG取除,(4)基準計算,Statement-Mark(1),24,発表内容,静的,動的,静的情報動的情報併用計算法提案,Statement-Mark,D3,各手法評価，考察,発表内容,25,