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

西松, 顯; 地平, 稔; 楠本, 真二 他

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

アクセス数:584件（2025-07-08 20:54 集計）

固定URL: https://hdl.handle.net/11094/26477

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
IEICE_J82-D-I_10_1256 pdf なし 1.00 MB 325 2013.12.09  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
関数呼出し情報を用いたスライスサイズの削減のための一手法
A Slice Reduction Method Using Function Activation Information
カンスウ　ヨビダシ　ジョウホウ　ヲ　モチイタ　スライス　サイズ　ノ　サクゲン　ノ　タメ　ノ　イチ　シュホウ
著者
著者名
西松, 顯 ; ニシマツ, アキラ ; Nishimatsu, Akira
著者名
地平, 稔 ; ジヒラ, ミノル ; Jihira, Minoru
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
NRID
1000020168438 1000020168438
著者名
井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
キーワード等
静的スライス
動的スライス
依存解析
実行時オーバヘッド (Execution Overhead)
抄録
大規模なソフトウェアのデバッグや保守の際に，プログラム全体を参照するの ではなく，プログラムの一部に参照範囲を限定することは有効である．参照範 囲を限定する方法の一つとして，プログラムスライス技法（Program Slicing）が 提案されている． 静的スライスは，注目する変数の値に影響を与える可能性のある文の集合を抽出 する．しかし，多くの場合には，実際には関係のない部分までスライスに含まれ るため，十分に参照範囲を限定することができない．一方，動的スライスは，注 目する変数の値に影響を与える可能性のある実行された文の集合を抽出する技 法で，プログラムを実際に実行し，その際に得られる動的情報を利用するため， 十分に参照範囲を限定することができる．しかし，プログラム実行時の動的情 報取得のために多くの時間的・空間的コストを要する． 本論文では，プログラムを実行して得られるわずかな動的情報と 静的な解析とを組み合わせたプログラムスライス抽出技法を提案する． この技法により抽出されたスライスを，コールマークスライス（Call-Mark Slice）と呼ぶ． コールマークスライスの計算時には，まずプログラムのデータ依存関係と制御 依存関係はあらかじめ静的に解析し，次にプログラム実行時に手続きと関数の 呼出しの記録を保存する．そして，これらの情報から変数の動的な依存関係 を明らかにすることで，従来よりも効果的にスライスを抽出することができる． 更に，我々はコールマークスライスを既に開発しているスライスシステム に実装し，その有効性の評価も行った。
出版者
電子情報通信学会
デンシ　ジョウホウ　ツウシン　ガッカイ
The Institute of Electronics, Information and Communication Engineers
収録物名
電子情報通信学会論文誌D-I
巻(号)
J82-D-I(10)
ページ
1256-1264
刊行年月
1999-10-25
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/26477
PISSN
09151915
NCID
AA11341020
関連情報 (references)
URI
http://search.ieice.org/
アクセス権
open access
権利情報
copyright©1999 IEICE
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article