| 講演名 | 2015-05-25 プログラムスライシングに基づくプログラムの木構造表現の提案 米田 克久(同志社大), 芳賀 博英(同志社大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | デバッグを効率的に進める方法の中の1つにアルゴリズミックデバッギングという手法がある．アルゴリズミックデバッギングとは，プログラムの実行過程を実行木と呼ばれる木構造で表し，バグが存在する範囲を絞り込む手法である．しかし，アルゴリズミックデバッギングで検出できるのはバグがある関数であり，バグがあるステートメントまでは検出できない．本論文では，プログラムスライシングを用いて，アルゴリズミックデバッギングのための木構造表現を提案する．プログラムスライシングでは，あるステートメントのある変数に影響を与えるステートメントの集合を抽出できるため，その集合を各ノードとした木構造を生成する．この木構造を用いてデバッグを実行することにより，バグがあるステートメントを検出できることを示す． |
| 抄録(英) | This article proposes a tree structure expression of programs for algorithmic debugging using program slicing. Program slicing is a method that extract a set of statement that affect or being affected by slicing criterion, a pair of variable and statement. In proposed method, first, user sets slicing criterion to a variablethat generates incorrect value, and the system computes the slices. Next, the system changes slicingcriterion by traversing edge of a program dependence graph that expresses dependency between statements, and computes slices. Then, the system computes slices until the system cannot change slicing criterion, and generates tree structure. We conducted the evaluation experiment using the tree structurethat proposed system generated. The experiment proved that the system could detect thestatement that includes bugs. |
| キーワード(和) | アルゴリズミックデバッギング / プログラムスライシング / 木構造表現 |
| キーワード(英) | Algorithmic Debugging / Program Slicing / Tree Representation |
| 資料番号 | KBSE2015-6 |
| 発行日 | 2015-05-18 (KBSE) |
| 研究会情報 | |
| 研究会 | KBSE |
|---|---|
| 開催期間 | 2015/5/25(から2日開催) |
| 開催地（和） | 機械振興会館 地下3階 B3-6会議室 |
| 開催地（英） | |
| テーマ（和） | 一般 |
| テーマ（英） | |
| 委員長氏名（和） | 飯島 正(慶大) |
| 委員長氏名（英） | Tadashi Iijima(Keio Univ.) |
| 副委員長氏名（和） | 金田 重郎(同志社大) |
| 副委員長氏名（英） | Shigeo Kaneda(Doshisha Univ.) |
| 幹事氏名（和） | 松野 裕(日大) / 中川 博之(阪大) |
| 幹事氏名（英） | Yutaka Matsuno(Nihon Univ.) / Hiroyuki Nakagawa(Osaka Univ.) |
| 幹事補佐氏名（和） | 小形 真平(信州大) / 橋浦 弘明(日本工大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラムスライシングに基づくプログラムの木構造表現の提案 |
| サブタイトル（和） | |
| タイトル（英） | Tree structural expression of program based on program slicing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | アルゴリズミックデバッギング / Algorithmic Debugging |
| キーワード(2)（和/英） | プログラムスライシング / Program Slicing |
| キーワード(3)（和/英） | 木構造表現 / Tree Representation |
| 第 1 著者 氏名（和/英） | 米田 克久 / Katsuhisa Yoneda |
| 第 1 著者 所属（和/英） | 同志社大学(略称：同志社大) Doshisha University(略称：Doshisha Univ.) |
| 第 2 著者 氏名（和/英） | 芳賀 博英 / Hirohide Haga |
| 第 2 著者 所属（和/英） | 同志社大学(略称：同志社大) Doshisha University(略称：Doshisha Univ.) |
| 発表年月日 | 2015-05-25 |
| 資料番号 | KBSE2015-6 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | KBSE-54 |
| ページ範囲 | pp.27-32(KBSE), |
| ページ数 | 6 |
| 発行日 | 2015-05-18 (KBSE) |