プログラムの依存関係解析に基づくデバッグ支援システムの試作

佐藤, 慎一; 小林, 孝則; 飯田, 元; 井上, 克郎; 鳥居, 宏次

プログラムの依存関係解析に基づくデバッグ支援システムの試作

佐藤, 慎一; 小林, 孝則; 飯田, 元他

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 1995, 95(53), 23-30

アクセス数:638件（2025-07-06 13:05 集計）

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

閲覧可能ファイル

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
itr95_53_23	pdf	なし	584 KB	75	2014.01.28

論文情報

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

タイトル	プログラムの依存関係解析に基づくデバッグ支援システムの試作
	Debug support system based on program dependence analysis
	プログラム　ノ　イゾン　カンケイ　カイセキ　ニ　モトヅク　デバッグ　シエン　システム　ノ　シサク
著者	著者名佐藤, 慎一 ; サトウ, シンイチ ; Sato, Shinichi
	著者名小林, 孝則 ; コバヤシ, タカノリ ; Kobayashi, Takanori
	NRID 1000020232126 1000020232126 著者名飯田, 元 ; イイダ, ハジム ; Iida, Hajimu
	NRID 1000020168438 1000020168438 著者名井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
	NRID 1000010172222 1000010172222 著者名鳥居, 宏次 ; トリイ, コウジ ; Torii, Koji
キーワード等	依存関係解析
	プログラム依存グラフ
	スライス
	部分解釈
	デバッグ
	program dependence analysis
	program dependence graph (PDG)
	program slice
	partial interpretation
	debugging
抄録	ソフトウェアが大規模化,複雑化するにつれ, プログラム中のバグ位置を特定するのが容易ではなくなっている. 本研究では, プログラムの依存関係解析に基づいて, スライス抽出や部分解釈を行ない, プログラム全体からバグに関係のある部分のみを抽出し, それを対象にデバッグを行なえるようなシステムの試作を行なった. 本システムは, もとのプログラムからスライスを抽出したり, 部分解釈に基づいたプログラムの簡単化を行なう. また, 得られた部分プログラムを実行させたり, 特定の変数に直接影響を及ぼす文や変数を参照したりしながらデバッグを行なうことができる. 本システムを用いれば, バグ位置の特定を比較的効率良く行なうことができるため, 結果としてソフトウェアの開発効率が上がると考えられる.
抄録	Debugging large and complex software is not easy task since localizing and identifing faults are very diffcult. We have depeloped a debug system which extracts program slices and partially evaluates program texts based on program dependence analysis. Using this system, we can extract parts of the program which would relates to bugs, and also we can execute and trace the extracted parts. Therefore we consider efforts of debugging would be reduced, and its efficiency will be improved.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)	95(53)
ページ	23-30
刊行年月	1995-05-19
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26637
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 1995 IEICE
権利情報	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 1995, 95(53), p. 23-30
DC.title	プログラムの依存関係解析に基づくデバッグ支援システムの試作
	Debug support system based on program dependence analysis
	プログラム　ノ　イゾン　カンケイ　カイセキ　ニ　モトヅク　デバッグ　シエン　システム　ノ　シサク
DC.creator	佐藤, 慎一
	サトウ, シンイチ
	Sato, Shinichi
	小林, 孝則
	コバヤシ, タカノリ
	Kobayashi, Takanori
	飯田, 元
	イイダ, ハジム
	Iida, Hajimu
	井上, 克郎
	イノウエ, カツロウ
	Inoue, Katsuro
	鳥居, 宏次
	トリイ, コウジ
	Torii, Koji
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	1995-05-19
DC.subject	依存関係解析
	プログラム依存グラフ
	スライス
	部分解釈
	デバッグ
	program dependence analysis
	program dependence graph (PDG)
	program slice
	partial interpretation
	debugging
DCTERMS.abstract	ソフトウェアが大規模化,複雑化するにつれ, プログラム中のバグ位置を特定するのが容易ではなくなっている. 本研究では, プログラムの依存関係解析に基づいて, スライス抽出や部分解釈を行ない, プログラム全体からバグに関係のある部分のみを抽出し, それを対象にデバッグを行なえるようなシステムの試作を行なった. 本システムは, もとのプログラムからスライスを抽出したり, 部分解釈に基づいたプログラムの簡単化を行なう. また, 得られた部分プログラムを実行させたり, 特定の変数に直接影響を及ぼす文や変数を参照したりしながらデバッグを行なうことができる. 本システムを用いれば, バグ位置の特定を比較的効率良く行なうことができるため, 結果としてソフトウェアの開発効率が上がると考えられる.
DCTERMS.abstract	Debugging large and complex software is not easy task since localizing and identifing faults are very diffcult. We have depeloped a debug system which extracts program slices and partially evaluates program texts based on program dependence analysis. Using this system, we can extract parts of the program which would relates to bugs, and also we can execute and trace the extracted parts. Therefore we consider efforts of debugging would be reduced, and its efficiency will be improved.
DC.rights	Copyright © 1995 IEICE
DC.rights	本文データはCiNiiから複製したものである
DC.format	26637
citation_title	プログラムの依存関係解析に基づくデバッグ支援システムの試作
citation_author	佐藤, 慎一
	小林, 孝則
	飯田, 元
	井上, 克郎
	鳥居, 宏次
citation_publisher	電子情報通信学会
citation_language	日本語
citation_date	1995-05-19
citation_journal_title	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
citation_volume	95
citation_issue	53
citation_firstpage	23
citation_lastpage	30
citation_public_url	https://hdl.handle.net/11094/26637

プログラムの依存関係解析に基づくデバッグ支援システムの試作

閲覧可能ファイル

論文情報

論文詳細を表示