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

山中, 祐介; ヤマナカ, ユウスケ; Yamanaka, Yuusuke; 横森, 励士; ヨコモリ, レイシ; Yokomori, Reishi; 井上, 克郎; イノウエ, カツロウ; Inoue, Katsuro

アクセス数:148件（2024-04-17 00:53 集計）

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

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
itr102_704_21	pdf	なし	661 KB	42	2014.02.03

論文情報

ファイル出力

タイトル	エイリアス関係を利用したJavaスライシングツールの実現
	Java Slicing Tool Based on Alias Analysis
	エイリアス　カンケイ　ヲ　リヨウ　シタ　Java　スライシングツール　ノ　ジツゲン
著者	著者名山中, 祐介 ; ヤマナカ, ユウスケ ; Yamanaka, Yuusuke
	NRID 1000040379152 1000040379152 著者名横森, 励士 ; ヨコモリ, レイシ ; Yokomori, Reishi
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; 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
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26693
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2003 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2003, 102(704), p. 21-26
DC.title	エイリアス関係を利用したJavaスライシングツールの実現
	Java Slicing Tool Based on Alias Analysis
	エイリアス　カンケイ　ヲ　リヨウ　シタ　Java　スライシングツール　ノ　ジツゲン
DC.creator	山中, 祐介
	ヤマナカ, ユウスケ
	Yamanaka, Yuusuke
	横森, 励士
	ヨコモリ, レイシ
	Yokomori, Reishi
	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
DC.publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
DC.language' scheme='DCTERMS.RFC1766	日本語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2003-03-06
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から複製したものである
DC.format	application/pdf
citation_title	エイリアス関係を利用したJavaスライシングツールの実現
	Java Slicing Tool Based on Alias Analysis
	エイリアス　カンケイ　ヲ　リヨウ　シタ　Java　スライシングツール　ノ　ジツゲン
citation_author	山中, 祐介
	ヤマナカ, ユウスケ
	Yamanaka, Yuusuke
	横森, 励士
	ヨコモリ, レイシ
	Yokomori, Reishi
	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
citation_publisher	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
citation_language	日本語
citation_date	2003-03-06
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	102
citation_issue	704
citation_firstpage	21
citation_lastpage	26
citation_public_url	https://hdl.handle.net/11094/26693

閲覧可能ファイル

論文情報

論文詳細を表示