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

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

このアイテムのアクセス数:47件（2018-10-16 19:20 集計）

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

閲覧可能ファイル

ファイル	フォーマット	サイズ	閲覧回数	説明
itr95_53_23	pdf	584 KB	25

論文情報

タイトル	プログラムの依存関係解析に基づくデバッグ支援システムの試作
別タイトル	Debug support system based on program dependence analysis
タイトル (ヨミ)	プログラム　ノ　イゾン　カンケイ　カイセキ　ニ　モトヅク　デバッグ　シエン　システム　ノ　シサク
著者	佐藤, 慎一佐藤, 慎一
	小林, 孝則小林, 孝則
	飯田, 元飯田, 元
	井上, 克郎井上, 克郎
	鳥居, 宏次鳥居, 宏次
著者の別表記	Sato, Shinichi
	Kobayashi, Takanori
	Iida, Hajimu
	Inoue, Katsuro
	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
NCID	AN10013287
URL	http://hdl.handle.net/11094/26637
権利情報	Copyright © 1995 IEICE
権利情報	本文データはCiNiiから複製したものである
言語	日本語

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
dcmi資源タイプ	text
DCTERMS.bibliographicCitation	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス.95(53) P.23-P.30
DC.title	プログラムの依存関係解析に基づくデバッグ支援システムの試作
DCTERMS.alternative	Debug support system based on program dependence analysis
DC.creator	佐藤, 慎一
	小林, 孝則
	飯田, 元
	井上, 克郎
	鳥居, 宏次
DC.creator	Sato, Shinichi
	Kobayashi, Takanori
	Iida, Hajimu
	Inoue, Katsuro
	Torii, Koji
DC.publisher	電子情報通信学会
DC.language" scheme="DCTERMS.RFC1766	日本語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	1995-05-19
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/26637
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から複製したものである
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	http://hdl.handle.net/11094/26637
citation_keywords	依存関係解析
	プログラム依存グラフ
	スライス
	部分解釈
	デバッグ
	program dependence analysis
	program dependence graph (PDG)
	program slice
	partial interpretation
	debugging

閲覧可能ファイル

論文情報

論文詳細を表示