動的データ依存関係解析を用いたJavaプログラムスライス手法

廣瀬, 航也; 大畑, 文明; 井上, 克郎

このアイテムのアクセス数:37件（2020-09-25 15:44 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr100_570_65	pdf	607 KB	31

論文情報

タイトル	動的データ依存関係解析を用いたJavaプログラムスライス手法
別タイトル	Program Slicing Method Using Dynamic Data Dependence Analysis for Java Programs
タイトル (ヨミ)	ドウテキ　データ　イゾン　カンケイ　カイセキ　ヲ　モチイタ　Java　プログラム　スライス　シュホウ
著者	廣瀬, 航也廣瀬, 航也
	大畑, 文明大畑, 文明
	井上, 克郎井上, 克郎
著者の別表記	Hirose, Koya
	Ohata, Fumiaki
	Inoue, Katsuro
著者 (ヨミ)	ヒロセ, コウヤ
	オオハタ, フミアキ
	イノウエ, カツロウ
キーワード等	プログラムスライス
	静的解析
	動的解析
	Java
	program slice
	static analysis
	dynamic analysis
抄録	プログラムデバッグを効率よく行うための手法として, プログラムスライスがある. プログラムスライスは一般的に, プログラム文間の制御依存関係およびデータ依存関係を解析することで得られる. また依存関係解析には, 低コストではあるが精度の低い静的解析と, 精度は高いが多大なコストを要する動的解析がある. 本発表では, 近年, ソフトウェア開発環境で多く利用される, Javaを対象としたプログラムスライス手法を提案する. Javaは, オブジェクトへの参照・動的束縛など, 実行時に決定される要素を多数含むため, 静的解析では限界がある. 提案手法では, 静的解析と動的解析を組み合わせることにより, スライスの精度を高める.
抄録	Program slice is proposed as a technique to do the program debugging efficiently. Program slice is obtained by generally analyzing the control dependence and the data dependence between program statements. Moreover, the dependence analysis is divided into a static analysis which requires a little cost but produces results with low accuracy, and a dynamic analysis which produces results correctly but requires a large cost. In this paper, we propose a program slice technique intended for Java programs. Java is popularly used by the software development environment in recent years. There is a limitation in a static analysis since Java contains a lot of dynamically determined issues such as reference to an object and dynamic binding. Our technique improves accuracy of slice by combining static analyses with a dynamic analysis.
公開者	電子情報通信学会
公開者の別表記	The Institute of Electronics, Information and Communication Engineers
公開者 (ヨミ)	デンシ　ジョウホウ　ツウシン　ガッカイ
掲載誌名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻	100
号	570
開始ページ	65
終了ページ	72
刊行年月	2001-01-16
ISSN	09135685
NCID	AN10013287
URL	http://hdl.handle.net/11094/26718
権利情報	Copyright © 2001 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.100(570) P.65-P.72
DC.title	動的データ依存関係解析を用いたJavaプログラムスライス手法
DCTERMS.alternative	Program Slicing Method Using Dynamic Data Dependence Analysis for Java Programs
DC.creator	廣瀬, 航也
	大畑, 文明
	井上, 克郎
DC.creator	Hirose, Koya
	Ohata, Fumiaki
	Inoue, Katsuro
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2001-01-16
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26718
DC.subject	プログラムスライス
	静的解析
	動的解析
	Java
	program slice
	static analysis
	dynamic analysis
DCTERMS.abstract	プログラムデバッグを効率よく行うための手法として, プログラムスライスがある. プログラムスライスは一般的に, プログラム文間の制御依存関係およびデータ依存関係を解析することで得られる. また依存関係解析には, 低コストではあるが精度の低い静的解析と, 精度は高いが多大なコストを要する動的解析がある. 本発表では, 近年, ソフトウェア開発環境で多く利用される, Javaを対象としたプログラムスライス手法を提案する. Javaは, オブジェクトへの参照・動的束縛など, 実行時に決定される要素を多数含むため, 静的解析では限界がある. 提案手法では, 静的解析と動的解析を組み合わせることにより, スライスの精度を高める.
DCTERMS.abstract	Program slice is proposed as a technique to do the program debugging efficiently. Program slice is obtained by generally analyzing the control dependence and the data dependence between program statements. Moreover, the dependence analysis is divided into a static analysis which requires a little cost but produces results with low accuracy, and a dynamic analysis which produces results correctly but requires a large cost. In this paper, we propose a program slice technique intended for Java programs. Java is popularly used by the software development environment in recent years. There is a limitation in a static analysis since Java contains a lot of dynamically determined issues such as reference to an object and dynamic binding. Our technique improves accuracy of slice by combining static analyses with a dynamic analysis.
DC.rights	Copyright © 2001 IEICE
DC.rights	本文データはCiNiiから複製したものである
citation_title	動的データ依存関係解析を用いたJavaプログラムスライス手法
citation_author	廣瀬, 航也
	大畑, 文明
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2001-01-16
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	100
citation_issue	570
citation_firstpage	65
citation_lastpage	72
citation_issn	09135685
citation_public_url	http://hdl.handle.net/11094/26718
citation_keywords	プログラムスライス
	静的解析
	動的解析
	Java
	program slice
	static analysis
	dynamic analysis

閲覧可能ファイル

論文情報

論文詳細を表示