| 講演名 | 2010-08-05 プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法 山田 吾郎, 吉田 則裕, 井上 克郎, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では,プロジェクト内の各ソースファイルから構築したプログラム依存グラフに対し一貫性検査を行うことで,ソースコードから欠陥候補を検出する手法を提案する.プログラム依存グラフとは,文を頂点とし,制御依存辺とデータ依存辺の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. |
| キーワード(和) | ソースコード解析 / 欠陥検出 / プログラム依存グラフ |
| キーワード(英) | Source code analysis / Defect detection / Program dependence graph |
| 資料番号 | SS2010-20 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2010/7/29(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラム依存グラフの一貫性検査に基づく欠陥候補の検出手法 |
| サブタイトル（和） | |
| タイトル（英） | A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソースコード解析 / Source code analysis |
| キーワード(2)（和/英） | 欠陥検出 / Defect detection |
| キーワード(3)（和/英） | プログラム依存グラフ / Program dependence graph |
| 第 1 著者 氏名（和/英） | 山田 吾郎 / Goro YAMADA |
| 第 1 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 第 2 著者 氏名（和/英） | 吉田 則裕 / Norihiro YOSHIDA |
| 第 2 著者 所属（和/英） | 奈良先端科学技術大学院大学情報科学研究科 Graduate School of Information Science, Nara Institute of Science and Technology |
| 第 3 著者 氏名（和/英） | 井上 克郎 / Katsuro INOUE |
| 第 3 著者 所属（和/英） | 大阪大学大学院情報科学研究科 Graduate School of Information Science and Technology, Osaka University |
| 発表年月日 | 2010-08-05 |
| 資料番号 | SS2010-20 |
| 巻番号（vol） | vol.110 |
| 号番号（no） | 169 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |