Javaバーチャルマシンを利用した動的依存関係解析手法の提案

誉田, 謙二; 梅森, 文彰; 大畑, 文明; 井上, 克郎

Javaバーチャルマシンを利用した動的依存関係解析手法の提案

誉田, 謙二; 梅森, 文彰; 大畑, 文明他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2002, 101(629), 47-54

アクセス数:570件（2025-07-06 10:23 集計）

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

閲覧可能ファイル

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

論文情報

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

タイトル	Javaバーチャルマシンを利用した動的依存関係解析手法の提案
	Dynamic Dependence Analysis Method using Java Virtual Machine
	Java　バーチャルマシン　ヲ　リヨウ　シタ　ドウテキ　イゾン　カンケイ　カイセキ　シュホウ　ノ　テイアン
著者	著者名誉田, 謙二 ; コンダ, ケンジ ; Konda, Kenji
	著者名梅森, 文彰 ; ウメモリ, フミアキ ; Umemori, Fumiaki
	著者名大畑, 文明 ; オオハタ, フミアキ ; Ohata, Fumiaki
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
キーワード等	プログラムスライス
	静的解析
	動的解析
	Java Virtual Machine
	Program Slice
	Static Analysis
	Dynamic Analysis
	Java Virtual Machine
抄録	プログラムデバッグを効率よく行う手法の一つに, スライスがある.スライスは, プログラム文間の制御依存関係およびデータ依存関係を解析することで得られ, それぞれは低コストではあるが精度の低い静的解析と, 精度は高いが多大なコストを要する動的解析に分類できる. 本研究では, DCスライスをJavaへ適用する手法を提案する. Javaは実行時決定要素を多数含むため, 静的制御依存関係解析と動的データ依存関係解析を組み合わせた, DCスライスが有効である. 提案手法では, Javaの実行時決定要素をJVMを用いて考慮し, バイトコードに対してDCスライスを計算する. そして, 計算されたスライスをソースコードに対応付ける.
抄録	Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing data dependency and control dependency relations between program statements. We would categorize dependency analyses in two, static and dynamic; the former requires less analysis cost, but it produces weaker result. The latter has opposite characteristics. In this paper, we propose a method for applying DC Slice to Java programs. Since Java has many dynamically determined elements, DC Slice, which is based on static control dependence analysis and dynamic data dependence analysis, would be more practical than other slicing methods. Our method computes DC Slice for programs in Java bytecode using JVM, on which dynamically determined elements are considered, and then, translates the resulting slice on Java bytecode into the slice on Java sourecode.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)	101(629)
ページ	47-54
刊行年月	2002-01-23
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26720
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2002 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 2002, 101(629), p. 47-54
DC.title	Javaバーチャルマシンを利用した動的依存関係解析手法の提案
	Dynamic Dependence Analysis Method using Java Virtual Machine
	Java　バーチャルマシン　ヲ　リヨウ　シタ　ドウテキ　イゾン　カンケイ　カイセキ　シュホウ　ノ　テイアン
DC.creator	誉田, 謙二
	コンダ, ケンジ
	Konda, Kenji
	梅森, 文彰
	ウメモリ, フミアキ
	Umemori, Fumiaki
	大畑, 文明
	オオハタ, フミアキ
	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	2002-01-23
DC.subject	プログラムスライス
	静的解析
	動的解析
	Java Virtual Machine
	Program Slice
	Static Analysis
	Dynamic Analysis
	Java Virtual Machine
DCTERMS.abstract	プログラムデバッグを効率よく行う手法の一つに, スライスがある.スライスは, プログラム文間の制御依存関係およびデータ依存関係を解析することで得られ, それぞれは低コストではあるが精度の低い静的解析と, 精度は高いが多大なコストを要する動的解析に分類できる. 本研究では, DCスライスをJavaへ適用する手法を提案する. Javaは実行時決定要素を多数含むため, 静的制御依存関係解析と動的データ依存関係解析を組み合わせた, DCスライスが有効である. 提案手法では, Javaの実行時決定要素をJVMを用いて考慮し, バイトコードに対してDCスライスを計算する. そして, 計算されたスライスをソースコードに対応付ける.
DCTERMS.abstract	Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing data dependency and control dependency relations between program statements. We would categorize dependency analyses in two, static and dynamic; the former requires less analysis cost, but it produces weaker result. The latter has opposite characteristics. In this paper, we propose a method for applying DC Slice to Java programs. Since Java has many dynamically determined elements, DC Slice, which is based on static control dependence analysis and dynamic data dependence analysis, would be more practical than other slicing methods. Our method computes DC Slice for programs in Java bytecode using JVM, on which dynamically determined elements are considered, and then, translates the resulting slice on Java bytecode into the slice on Java sourecode.
DC.rights	Copyright © 2002 IEICE
DC.rights	本文データはCiNiiから複製したものである
DC.format	26720
citation_title	Javaバーチャルマシンを利用した動的依存関係解析手法の提案
citation_author	誉田, 謙二
	梅森, 文彰
	大畑, 文明
	井上, 克郎
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	2002-01-23
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	101
citation_issue	629
citation_firstpage	47
citation_lastpage	54
citation_public_url	https://hdl.handle.net/11094/26720

Javaバーチャルマシンを利用した動的依存関係解析手法の提案

閲覧可能ファイル

論文情報

論文詳細を表示