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

閲覧可能ファイル 

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

論文情報

ファイル出力

タイトル	プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
	A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs
	プログラム　イゾン　グラフ　ノ　イッカンセイ　ケンサ　ニ　モトヅク　ケッカン　コウホ　ノ　ケンシュツ　シュホウ
著者	著者名 山田, 吾郎 ; ヤマダ, ゴロウ ; Yamada, Goro
	NRID 1000000582545 1000000582545 著者名 吉田, 則裕 ; ヨシダ, ノリヒロ ; Yoshida, Norihiro
	NRID 1000020168438 1000020168438 著者名 井上, 克郎 ; イノウエ, カツロウ ; Inoue, Katsuro
キーワード等	ソースコード解析
	欠陥検出
	プログラム依存グラフ
	Source code analysis
	Defect detection
	Program dependence graph
抄録	本稿では, プロジェクト内の各ソースファイルから構築したプログラム依存グラフに対し一貫性検査を行うことで, ソースコードから欠陥候補を検出する手法を提案する. プログラム依存グラフとは, 文を頂点とし, 制御依存辺とデータ依存辺の2種類の辺をもつ有向グラフである. まず, 構築したプログラム依存グラフの集合から, 頻出部分グラフを抽出する. 次に, 頻出部分グラフの一部が欠落した部分グラフを検出し, 対応するソースコードを欠陥候補として開発者に提示する.
	In this paper, we propose a novel approach to detecting defects from source code, which checks for consistency of program dependence graphs. A program dependence graph is a labeled directed graph, of which nodes represent statements in a method, and edges represent control and data dependences. At first, our method extracts frequent subgraphs from program dependence graphs. Then, it detects defect candidates which lack some nodes compare to its corresponding frequent subgraphs. Finally, it provides code fragments corresponding to those candidates.
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)	110(169)
ページ	23-28
刊行年月	2010-07-29
言語	日本語
ハンドルURL	https://hdl.handle.net/11094/26656
PISSN	09135685
NCID	AN10013287
アクセス権	open access
権利情報	Copyright © 2010 IEICE
	本文データはCiNiiから複製したものである
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る