publisher

学術雑誌論文

学術雑誌論文

text

電子情報通信学会論文誌D-I.J82-D-I(10) P.1256-P.1264

関数呼出し情報を用いたスライスサイズの削減のための一手法

A Slice Reduction Method Using Function Activation Information

電子情報通信学会

日本語

1999-10-25

http://hdl.handle.net/11094/26477

大規模なソフトウェアのデバッグや保守の際に，プログラム全体を参照するの ではなく，プログラムの一部に参照範囲を限定することは有効である．参照範 囲を限定する方法の一つとして，プログラムスライス技法（Program Slicing）が 提案されている． 静的スライスは，注目する変数の値に影響を与える可能性のある文の集合を抽出 する．しかし，多くの場合には，実際には関係のない部分までスライスに含まれ るため，十分に参照範囲を限定することができない．一方，動的スライスは，注 目する変数の値に影響を与える可能性のある実行された文の集合を抽出する技 法で，プログラムを実際に実行し，その際に得られる動的情報を利用するため， 十分に参照範囲を限定することができる．しかし，プログラム実行時の動的情 報取得のために多くの時間的・空間的コストを要する． 本論文では，プログラムを実行して得られるわずかな動的情報と 静的な解析とを組み合わせたプログラムスライス抽出技法を提案する． この技法により抽出されたスライスを，コールマークスライス（Call-Mark Slice）と呼ぶ． コールマークスライスの計算時には，まずプログラムのデータ依存関係と制御 依存関係はあらかじめ静的に解析し，次にプログラム実行時に手続きと関数の 呼出しの記録を保存する．そして，これらの情報から変数の動的な依存関係 を明らかにすることで，従来よりも効果的にスライスを抽出することができる． 更に，我々はコールマークスライスを既に開発しているスライスシステム に実装し，その有効性の評価も行った。

copyright©1999 IEICE

関数呼出し情報を用いたスライスサイズの削減のための一手法

電子情報通信学会

日本語

1999-10-25

電子情報通信学会論文誌D-I

J82-D-I

10

1256

1264

09151915

http://hdl.handle.net/11094/26477