A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs
| Autor: | Yamada, Goro, Yoshida, Norihiro, Inoue, Katsuro |
|---|---|
| Jazyk: | japonština |
| Rok vydání: | 2010 |
| Předmět: | |
| Zdroj: | 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 110(169):23-28 |
| ISSN: | 0913-5685 |
| Popis: | 本稿では, プロジェクト内の各ソースファイルから構築したプログラム依存グラフに対し一貫性検査を行うことで, ソースコードから欠陥候補を検出する手法を提案する. プログラム依存グラフとは, 文を頂点とし, 制御依存辺とデータ依存辺の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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|