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

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

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

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

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2001, 100(570), 65-72

アクセス数:386件（2025-07-13 16:38 集計）

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

閲覧可能ファイル

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

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	動的データ依存関係解析を用いたJavaプログラムスライス手法
	Program Slicing Method Using Dynamic Data Dependence Analysis for Java Programs
	ドウテキ　データ　イゾン　カンケイ　カイセキ　ヲ　モチイタ　Java　プログラム　スライス　シュホウ
著者	著者名廣瀬, 航也 ; ヒロセ, コウヤ ; Hirose, Koya
	著者名大畑, 文明 ; オオハタ, フミアキ ; Ohata, Fumiaki
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; 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
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26718
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2001 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2001, 100(570), p. 65-72
DC.title	動的データ依存関係解析を用いたJavaプログラムスライス手法
	Program Slicing Method Using Dynamic Data Dependence Analysis for Java Programs
	ドウテキ　データ　イゾン　カンケイ　カイセキ　ヲ　モチイタ　Java　プログラム　スライス　シュホウ
DC.creator	廣瀬, 航也
	ヒロセ, コウヤ
	Hirose, Koya
	大畑, 文明
	オオハタ, フミアキ
	Ohata, Fumiaki
	井上, 克郎
	イノウエ, カツロウ
	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	2001-01-16
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から複製したものである
DC.format	26718
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_public_url	https://hdl.handle.net/11094/26718

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

閲覧可能ファイル

論文情報

論文詳細を表示