エイリアス関係を利用したJavaスライシングツールの実現

山中, 祐介; 横森, 励士; 井上, 克郎

このアイテムのアクセス数:48件（2021-09-27 03:55 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr102_704_21	pdf	661 KB	28

論文情報

タイトル	エイリアス関係を利用したJavaスライシングツールの実現
別タイトル	Java Slicing Tool Based on Alias Analysis
タイトル (ヨミ)	エイリアス　カンケイ　ヲ　リヨウ　シタ　Java　スライシングツール　ノ　ジツゲン
著者	山中, 祐介山中, 祐介
	横森, 励士横森, 励士
	井上, 克郎井上, 克郎
著者の別表記	Yamanaka, Yuusuke
	Yokomori, Reishi
	Inoue, Katsuro
著者 (ヨミ)	ヤマナカ, ユウスケ
	ヨコモリ, レイシ
	イノウエ, カツロウ
キーワード等	プログラムスライス
	エイリアス
	静的解析
	Java
	Program Slice
	Alias
	Static Analysis
抄録	近年の大規模化・複雑化するプログラムに対して, プログラムスライスと呼ばれる手法がプログラムの理解, デバッグの効率化を目的として提案されている. ブログラムスライスとは, プログラム文中においてある文のある変数の値に影響を与える文の集合を抽出する技術で, プログラム中の特定の機能やエラーに関係がある部分を抽出するのに利用される. プログラムスライスは, 一般にプログラム文間の依存関係解析を行うことで得られるが, 従来のオブジェクト指向言語における手法では同一メモリ空間を指す可能性のある式間の同値関係であるエイリアス関係を十分に考慮されておらず, エイリアス関係の解析について曖昧なものかほとんどである. 本論文では, オブジェクト指向言語Javaを対象として, エイリアス関係を考慮した静的プログラムスライス計算手法を提案する.エイリアス関係を利用することで, オブジェクト指向言語特有の実行時決定要素の解析を含めた, より正確なプログラムスライスの計算が期待できる. また, 提案手法を我々の研究グループか開発しているJavaプログラム解析フレームワークにスライシングツールとして機能追加し, その有効性を解析コスト及び正確性の面から確認する.
抄録	Program slicing is a technique that extracts program statements which affect the value of variable in certain statement, and is very promising approach for program debugging, testing, understanding, merging, and so on. In order to calculate a program slice, we must know the dependence relations between statements in the program. When an expression refers to a memory location that is referred to by another expression, we say that there is an alias relation between those expressions. Although many researchers have already proposed slice-calculation methods and implemented prototype tools for object-oriented programs, consideration for the alias relation is insufficient. In this paper, we propose Java slicing system based on alias analysis. In OO-language such as Java, there are a lot of elements which are determined dynamically, so calculation of program slice becomes more exact by using the alias relation. Moreover, we implement a slicing system which performs in Java program analysis framework, and evalroposal method.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	102
号	704
開始ページ	21
終了ページ	26
刊行年月	2003-03-06
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/26693
権利情報	Copyright © 2003 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.102(704) P.21-P.26
DC.title	エイリアス関係を利用したJavaスライシングツールの実現
DCTERMS.alternative	Java Slicing Tool Based on Alias Analysis
DC.creator	山中, 祐介
	横森, 励士
	井上, 克郎
DC.creator	Yamanaka, Yuusuke
	Yokomori, Reishi
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2003-03-06
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26693
DC.subject	プログラムスライス
	エイリアス
	静的解析
	Java
	Program Slice
	Alias
	Static Analysis
DCTERMS.abstract	近年の大規模化・複雑化するプログラムに対して, プログラムスライスと呼ばれる手法がプログラムの理解, デバッグの効率化を目的として提案されている. ブログラムスライスとは, プログラム文中においてある文のある変数の値に影響を与える文の集合を抽出する技術で, プログラム中の特定の機能やエラーに関係がある部分を抽出するのに利用される. プログラムスライスは, 一般にプログラム文間の依存関係解析を行うことで得られるが, 従来のオブジェクト指向言語における手法では同一メモリ空間を指す可能性のある式間の同値関係であるエイリアス関係を十分に考慮されておらず, エイリアス関係の解析について曖昧なものかほとんどである. 本論文では, オブジェクト指向言語Javaを対象として, エイリアス関係を考慮した静的プログラムスライス計算手法を提案する.エイリアス関係を利用することで, オブジェクト指向言語特有の実行時決定要素の解析を含めた, より正確なプログラムスライスの計算が期待できる. また, 提案手法を我々の研究グループか開発しているJavaプログラム解析フレームワークにスライシングツールとして機能追加し, その有効性を解析コスト及び正確性の面から確認する.
DCTERMS.abstract	Program slicing is a technique that extracts program statements which affect the value of variable in certain statement, and is very promising approach for program debugging, testing, understanding, merging, and so on. In order to calculate a program slice, we must know the dependence relations between statements in the program. When an expression refers to a memory location that is referred to by another expression, we say that there is an alias relation between those expressions. Although many researchers have already proposed slice-calculation methods and implemented prototype tools for object-oriented programs, consideration for the alias relation is insufficient. In this paper, we propose Java slicing system based on alias analysis. In OO-language such as Java, there are a lot of elements which are determined dynamically, so calculation of program slice becomes more exact by using the alias relation. Moreover, we implement a slicing system which performs in Java program analysis framework, and evalroposal method.
DC.rights	Copyright © 2003 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	エイリアス関係を利用したJavaスライシングツールの実現
citation_author	山中, 祐介
	横森, 励士
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2003-03-06
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	102
citation_issue	704
citation_firstpage	21
citation_lastpage	26
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/26693
citation_keywords	プログラムスライス
	エイリアス
	静的解析
	Java
	Program Slice
	Alias
	Static Analysis

閲覧可能ファイル

論文情報

論文詳細を表示