| Presentation | 2018-01-19 Reinforcing Generation of Control Flow Statements in Random Test System of C Compilers Based on Equivalence Transformation Mitsuyoshi Iwatsuji, Nagisa Ishiura, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | This article proposes a method of reinforcing generation of control statements in random testing of compilers based on equivalence transformation on test programs. Existing methods for compiler random testing are divided into two classes, differential testing and oracle-based testing. The former approach can generate programs with wider syntax constructs but has difficulty in avoiding undefined behavior. The latter, on the other hand, can generate programs without undefined behavior but the programs are with less syntax variety, because it must construct data structures to hold semantic information while generating abstract syntax trees. This article attempts to strengthen the latter method so that it can generate a wider variety of control statements. A test generation method based on equivalence transformation on test programs is extended to generate while statements, switch statements, and function calls, in addition to if and for statements. An enhanced version of the test system Orange4 based on the proposed method has generated error programs to detect bugs in GCC-4.4 and GCC-4.8, which could not be generated by the existing methods. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | compiler / random testing / equivalence transformation |
| Paper # | VLD2017-87,CPSY2017-131,RECONF2017-75 |
| Date of Issue | 2018-01-11 (VLD, CPSY, RECONF) |
| Conference Information | |
| Committee | IPSJ-ARC / VLD / CPSY / RECONF / IPSJ-SLDM |
|---|---|
| Conference Date | 2018/1/18(2days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | Raiosha, Hiyoshi Campus, Keio University |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | FPGA Applications, etc |
| Chair | Masahiro Goshima(NII) / Hiroyuki Ochi(Ritsumeikan Univ.) / Koji Nakano(Hiroshima Univ.) / Masato Motomura(Hokkaido Univ.) / Kiyoharu Hamaguchi(Shimane Univ.) |
| Vice Chair | / Noriyuki Minegishi(Mitsubishi Electric) / Hidetsugu Irie(Univ. of Tokyo) / Takashi Miyoshi(Fujitsu) / Yuichiro Shibata(Nagasaki Univ.) / Kentaro Sano(Tohoku Univ.) |
| Secretary | (Kyushu Univ.) / Noriyuki Minegishi(Univ. of Tokyo) / Hidetsugu Irie(Toshiba) / Takashi Miyoshi(Nagoya Univ.) / Yuichiro Shibata(Hiroshima City Univ.) / Kentaro Sano(NTT) / (Utsunomiya Univ.) |
| Assistant | / / Yasuaki Ito(Hiroshima Univ.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Yuuki Kobayashi(NEC) / Hiroki Nakahara(Tokyo Inst. of Tech.) |
| Paper Information | |
| Registration To | Special Interest Group on System Architecture / Technical Committee on VLSI Design Technologies / Technical Committee on Computer Systems / Technical Committee on Reconfigurable Systems / Special Interest Group on System and LSI Design Methodology |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Reinforcing Generation of Control Flow Statements in Random Test System of C Compilers Based on Equivalence Transformation |
| Sub Title (in English) | |
| Keyword(1) | compiler |
| Keyword(2) | random testing |
| Keyword(3) | equivalence transformation |
| 1st Author's Name | Mitsuyoshi Iwatsuji |
| 1st Author's Affiliation | Kwansei Gakuin University(Kwansei Gakuin Univ.) |
| 2nd Author's Name | Nagisa Ishiura |
| 2nd Author's Affiliation | Kwansei Gakuin University(Kwansei Gakuin Univ.) |
| Date | 2018-01-19 |
| Paper # | VLD2017-87,CPSY2017-131,RECONF2017-75 |
| Volume (vol) | vol.117 |
| Number (no) | VLD-377,CPSY-378,RECONF-379 |
| Page | pp.pp.163-168(VLD), pp.163-168(CPSY), pp.163-168(RECONF), |
| #Pages | 6 |
| Date of Issue | 2018-01-11 (VLD, CPSY, RECONF) |