Presentation | 2015-05-25 Tree structural expression of program based on program slicing Katsuhisa Yoneda, Hirohide Haga, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | 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. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Algorithmic Debugging / Program Slicing / Tree Representation |
Paper # | KBSE2015-6 |
Date of Issue | 2015-05-18 (KBSE) |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2015/5/25(2days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | Tadashi Iijima(Keio Univ.) |
Vice Chair | Shigeo Kaneda(Doshisha Univ.) |
Secretary | Shigeo Kaneda(Nihon Univ.) |
Assistant | Shinpei Ogata(Shinshu Univ.) / Hiroaki Hashiura(Nippon Inst. of Tech.) |
Paper Information | |
Registration To | Technical Committee on Knowledge-Based Software Engineering |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Tree structural expression of program based on program slicing |
Sub Title (in English) | |
Keyword(1) | Algorithmic Debugging |
Keyword(2) | Program Slicing |
Keyword(3) | Tree Representation |
1st Author's Name | Katsuhisa Yoneda |
1st Author's Affiliation | Doshisha University(Doshisha Univ.) |
2nd Author's Name | Hirohide Haga |
2nd Author's Affiliation | Doshisha University(Doshisha Univ.) |
Date | 2015-05-25 |
Paper # | KBSE2015-6 |
Volume (vol) | vol.115 |
Number (no) | KBSE-54 |
Page | pp.pp.27-32(KBSE), |
#Pages | 6 |
Date of Issue | 2015-05-18 (KBSE) |