プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法

山田, 吾郎; 吉田, 則裕; 井上, 克郎

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2010, 110(169), 23-28

アクセス数:263件（2025-05-12 04:26 集計）

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

閲覧可能ファイル 

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

論文情報

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

タイトル
プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法
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