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

西松, 顯; 地平, 稔; 楠本, 真二; 井上, 克郎

資料種別

このアイテムのアクセス数:34件（2018-04-22 09:53 集計）

このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/26477

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
IEICE_J82-D-I_10_1256	pdf	1.0 MB	20

論文情報

タイトル	関数呼出し情報を用いたスライスサイズの削減のための一手法
別タイトル	A Slice Reduction Method Using Function Activation Information
タイトル (ヨミ)	カンスウ　ヨビダシ　ジョウホウ　ヲ　モチイタ　スライス　サイズ　ノ　サクゲン　ノ　タメ　ノ　イチ　シュホウ
著者	西松, 顯西松, 顯
	地平, 稔地平, 稔
	楠本, 真二楠本, 真二
	井上, 克郎井上, 克郎
著者の別表記	Nishimatsu, Akira
	Jihira, Minoru
	Kusumoto, Shinji
	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
ISSN	09151915
NCID	AA11341020
URL	http://hdl.handle.net/11094/26477
関連情報 (references)	http://search.ieice.org/
権利情報	copyright©1999 IEICE
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会論文誌D-I.J82-D-I(10) P.1256-P.1264
DC.title	関数呼出し情報を用いたスライスサイズの削減のための一手法
DCTERMS.alternative	A Slice Reduction Method Using Function Activation Information
DC.creator	西松, 顯
	地平, 稔
	楠本, 真二
	井上, 克郎
DC.creator	Nishimatsu, Akira
	Jihira, Minoru
	Kusumoto, Shinji
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1999-10-25
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26477
DC.subject	静的スライス
	動的スライス
	依存解析
	実行時オーバヘッド (Execution Overhead)
DCTERMS.abstract	大規模なソフトウェアのデバッグや保守の際に，プログラム全体を参照するのではなく，プログラムの一部に参照範囲を限定することは有効である．参照範囲を限定する方法の一つとして，プログラムスライス技法（Program Slicing）が提案されている．静的スライスは，注目する変数の値に影響を与える可能性のある文の集合を抽出する．しかし，多くの場合には，実際には関係のない部分までスライスに含まれるため，十分に参照範囲を限定することができない．一方，動的スライスは，注目する変数の値に影響を与える可能性のある実行された文の集合を抽出する技法で，プログラムを実際に実行し，その際に得られる動的情報を利用するため，十分に参照範囲を限定することができる．しかし，プログラム実行時の動的情報取得のために多くの時間的・空間的コストを要する．本論文では，プログラムを実行して得られるわずかな動的情報と静的な解析とを組み合わせたプログラムスライス抽出技法を提案する．この技法により抽出されたスライスを，コールマークスライス（Call-Mark Slice）と呼ぶ．コールマークスライスの計算時には，まずプログラムのデータ依存関係と制御依存関係はあらかじめ静的に解析し，次にプログラム実行時に手続きと関数の呼出しの記録を保存する．そして，これらの情報から変数の動的な依存関係を明らかにすることで，従来よりも効果的にスライスを抽出することができる．更に，我々はコールマークスライスを既に開発しているスライスシステムに実装し，その有効性の評価も行った。
DC.rights	copyright©1999 IEICE
citation_title	関数呼出し情報を用いたスライスサイズの削減のための一手法
citation_author	西松, 顯
	地平, 稔
	楠本, 真二
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1999-10-25
citation_journal_title	電子情報通信学会論文誌D-I
citation_volume	J82-D-I
citation_issue	10
citation_firstpage	1256
citation_lastpage	1264
citation_issn	09151915
citation_public_url	http://hdl.handle.net/11094/26477
citation_keywords	静的スライス
	動的スライス
	依存解析
	実行時オーバヘッド (Execution Overhead)

閲覧可能ファイル

論文情報

論文詳細を表示