| 講演名 | 2013-01-16 Cコンパイラの算術最適化のランダムテストにおける式生成の強化(応用設計, FPGA応用及び一般) 永井 絵里子, 橋本 淳史, 石浦 菜岐佐, |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では, Cコンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として,式生成を強化する手法を提案する.本手法では,従来手法よりも長く,かつC言語の未定義動作を引き起こさない算術式を生成する.これは,式の期待値計算の過程で未定義動作を検出すると,式を変形することによりその未定義動作を回避するという方法による.また, 1つのプログラムに複数の式を出現させることにより,不具合検出能力の強化を図る.本手法に基づくランダムテストシステムを実装した結果, GCC 472(x86-64-apple-darwin10), GCC 454(i686-pc-linux)などの不具合を検出することができた. |
| 抄録(英) | This paper presents an enhanced method of testing validity of arithmetic optimization of C compilers using random programs. It generates arithmetic expressions which are longer than a previously proposed method but yet does not lead to undefined behavior. This is achived by modifying the expressions on detecting undefined behavior during the computiation of the correct values of the expressions. The detection ability is further improved by incorporating multiple expressions into each program. Experimental results show that a random testing system based on our new method has higher capabilities of finding compiler bugs; it has detected more bugs than previous method in earlier versions of GCCs and it has also revealed flaws in some latest versions of GCCs which have been unknown so far. Compiler |
| キーワード(和) | コンパイラ / ランダムテスト |
| キーワード(英) | Compiler / Randomtest |
| 資料番号 | VLD2012-117,CPSY2012-66,RECONF2012-71 |
| 発行日 |
| 研究会情報 | |
| 研究会 | VLD |
|---|---|
| 開催期間 | 2013/1/9(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | VLSI Design Technologies (VLD) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | Cコンパイラの算術最適化のランダムテストにおける式生成の強化(応用設計, FPGA応用及び一般) |
| サブタイトル（和） | |
| タイトル（英） | Scaling the Size of Expressions in Random Testing of Arithmetic Optimization of C Compilers |
| サブタイトル（和） | |
| キーワード(1)（和/英） | コンパイラ / Compiler |
| キーワード(2)（和/英） | ランダムテスト / Randomtest |
| 第 1 著者 氏名（和/英） | 永井 絵里子 / Eriko NAGAI |
| 第 1 著者 所属（和/英） | 関西学院大学理工学部 Kwansei Gakuin University |
| 第 2 著者 氏名（和/英） | 橋本 淳史 / Atsushi HASHIMOTO |
| 第 2 著者 所属（和/英） | 関西学院大学理工学部 Kwansei Gakuin University |
| 第 3 著者 氏名（和/英） | 石浦 菜岐佐 / Nagisa ISHIURA |
| 第 3 著者 所属（和/英） | 関西学院大学理工学部 Kwansei Gakuin University |
| 発表年月日 | 2013-01-16 |
| 資料番号 | VLD2012-117,CPSY2012-66,RECONF2012-71 |
| 巻番号（vol） | vol.112 |
| 号番号（no） | 375 |
| ページ範囲 | pp.- |
| ページ数 | 6 |
| 発行日 | |