| 講演名 | 2018-01-19 等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化 岩辻 光功(関西学院大), 石浦 菜岐佐(関西学院大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では, テストプログラムの等価変換に基づくC コンパイラのランダムテストシステムにおいて, 制御文の生成機能を強化する手法を提案する. コンパイラのランダムテストの方式は, 差分法と期待値計算に基づく手法に大別される. 前者は, 文法に従って幅広い構文のプログラムを生成できる一方で, 未定義動作の回避が課題になる. これに対し後者では, 未定義動作を回避するようにプログラムを生成できるが, プログラム生成の際に構文木に加えて意味に関するデータ構造を構築する必要があるため, 差分法に比べてプログラムが生成可能な文法の範囲が限定される. 本稿では, 後者のプログラム生成法において生成可能な制御文の種類を増やす手法を提案する. 等価変換によるプログラム生成手法に基づき, 従来から生成可能であった if 文, for 文に加えて, while 文, switch 文, 関数呼び出しを含むプログラムを生成可能にする. このうち, while 文, switch 文は, 差分法では生成が難しかったものである. 本手法に基づくテストシステムを Orange4 に追加実装して実験を行ったところ, GCC-4.4, GCC-4.8 において従来の手法では検出できない不正コード生成を検出することができた. |
| 抄録(英) | 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. |
| キーワード(和) | コンパイラ / ランダムテスト / 等価変換 |
| キーワード(英) | compiler / random testing / equivalence transformation |
| 資料番号 | VLD2017-87,CPSY2017-131,RECONF2017-75 |
| 発行日 | 2018-01-11 (VLD, CPSY, RECONF) |
| 研究会情報 | |
| 研究会 | IPSJ-ARC / VLD / CPSY / RECONF / IPSJ-SLDM |
|---|---|
| 開催期間 | 2018/1/18(から2日開催) |
| 開催地（和） | 慶應義塾大学 日吉キャンパス 来往舎 |
| 開催地（英） | Raiosha, Hiyoshi Campus, Keio University |
| テーマ（和） | FPGA応用および一般 |
| テーマ（英） | FPGA Applications, etc |
| 委員長氏名（和） | 五島 正裕(NII) / 越智 裕之(立命館大) / 中野 浩嗣(広島大) / 本村 真人(北大) / 浜口 清治(島根大) |
| 委員長氏名（英） | Masahiro Goshima(NII) / Hiroyuki Ochi(Ritsumeikan Univ.) / Koji Nakano(Hiroshima Univ.) / Masato Motomura(Hokkaido Univ.) / Kiyoharu Hamaguchi(Shimane Univ.) |
| 副委員長氏名（和） | / 峯岸 孝行(三菱電機) / 入江 英嗣(東大) / 三吉 貴史(富士通研) / 柴田 裕一郎(長崎大) / 佐野 健太郎(東北大) |
| 副委員長氏名（英） | / Noriyuki Minegishi(Mitsubishi Electric) / Hidetsugu Irie(Univ. of Tokyo) / Takashi Miyoshi(Fujitsu) / Yuichiro Shibata(Nagasaki Univ.) / Kentaro Sano(Tohoku Univ.) |
| 幹事氏名（和） | 小野 貴継(九大) / 近藤 正章(東大) / 長谷川 揚平(東芝) / 塩谷 亮太(名大) / 永山 忍(広島市大) / 新田 高庸(NTTデバイスイノベーションセンタ) / 大川 猛(宇都宮大) / 高前田 伸也(北大) / 谷川 一哉(広島市大) / 三好 健文(イーツリーズ・ジャパン) / 許 浩沿(パナソニックセミコンダクタソリューションズ) / 密山 幸男(高知工科大) / 柴田 誠也(NEC) |
| 幹事氏名（英） | Takatsugu Ono(Kyushu Univ.) / Masaaki Kondo(Univ. of Tokyo) / Yohei Hasegawa(Toshiba) / Ryota Shioya(Nagoya Univ.) / Shinobu Nagayama(Hiroshima City Univ.) / Koyo Nitta(NTT) / Takeshi Ohkawa(Utsunomiya Univ.) / Shinya Takameda(Hokkaido Univ.) / Kazuya Tanigawa(Hiroshima City Univ.) / Takefumi Miyoshi(e-trees.Japan) / Ko Kyo(Panasonic) / Yukio Mitsuyama(Kochi Univ. of Tech.) / Seiya Shibata(NEC) |
| 幹事補佐氏名（和） | / / 伊藤 靖朗(広島大) / 津邑 公暁(名工大) / 小林 悠記(NEC) / 中原 啓貴(東工大) |
| 幹事補佐氏名（英） | / / Yasuaki Ito(Hiroshima Univ.) / Tomoaki Tsumura(Nagoya Inst. of Tech.) / Yuuki Kobayashi(NEC) / Hiroki Nakahara(Tokyo Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | 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 |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 等価変換に基づくCコンパイラテストシステムにおける制御文生成の強化 |
| サブタイトル（和） | |
| タイトル（英） | Reinforcing Generation of Control Flow Statements in Random Test System of C Compilers Based on Equivalence Transformation |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コンパイラ / compiler |
| キーワード(2)（和/英） | ランダムテスト / random testing |
| キーワード(3)（和/英） | 等価変換 / equivalence transformation |
| 第 1 著者 氏名（和/英） | 岩辻 光功 / Mitsuyoshi Iwatsuji |
| 第 1 著者 所属（和/英） | 関西学院大学(略称：関西学院大) Kwansei Gakuin University(略称：Kwansei Gakuin Univ.) |
| 第 2 著者 氏名（和/英） | 石浦 菜岐佐 / Nagisa Ishiura |
| 第 2 著者 所属（和/英） | 関西学院大学(略称：関西学院大) Kwansei Gakuin University(略称：Kwansei Gakuin Univ.) |
| 発表年月日 | 2018-01-19 |
| 資料番号 | VLD2017-87,CPSY2017-131,RECONF2017-75 |
| 巻番号（vol） | vol.117 |
| 号番号（no） | VLD-377,CPSY-378,RECONF-379 |
| ページ範囲 | pp.163-168(VLD), pp.163-168(CPSY), pp.163-168(RECONF), |
| ページ数 | 6 |
| 発行日 | 2018-01-11 (VLD, CPSY, RECONF) |