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

閲覧可能ファイル 

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

論文情報

タイトル	関数呼出し情報を用いたスライスサイズの削減のための一手法
	A Slice Reduction Method Using Function Activation Information
	カンスウ　ヨビダシ　ジョウホウ　ヲ　モチイタ　スライス　サイズ　ノ　サクゲン　ノ　タメ　ノ　イチ　シュホウ
著者	著者名 西松, 顯 ニシマツ, アキラ Nishimatsu, Akira
	著者名 地平, 稔 ジヒラ, ミノル Jihira, Minoru
	NRID 1000030234438 1000030234438 著者名 楠本, 真二 クスモト, シンジ 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
ISSN	09151915
NCID	AA11341020
関連情報 (references)	関連識別子 http://search.ieice.org/
アクセス権	open access
権利情報	copyright©1999 IEICE
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る