講演抄録/キーワード |
講演名 |
2013-01-16 15:35
Cコンパイラの算術最適化のランダムテストにおける式生成の強化 ○永井絵里子・橋本淳史・石浦菜岐佐(関西学院大) VLD2012-117 CPSY2012-66 RECONF2012-71 |
抄録 |
(和) |
本稿では, C コンパイラの算術最適化を対象とするランダムテストにおける不具合検出能力の向上を目的として, 式生成を強化する手法を提案する. 本手法では, 従来手法よりも長く, かつC 言語の未定義動作を引き起こさない算術式を生成する. これは, 式の期待値計算の過程で未定義動作を検出すると, 式を変形することによりその未定義動作を回避するという方法による. また, 1 つのプログラムに複数の式を出現させることにより, 不具合検出能力の強化を図る. 本手法に基づくランダムテストシステムを実装した結果, GCC 4.7.2 (x86 64-apple-darwin10), GCC 4.5.4 (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 undened 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 nding compiler bugs; it has detected more bugs than previous method in earlier versions of GCCs and it has also revealed aws in some latest versions of GCCs which have been unknown so far. |
キーワード |
(和) |
コンパイラ / ランダムテスト / / / / / / |
(英) |
Compiler / Randomtest / / / / / / |
文献情報 |
信学技報, vol. 112, no. 375, VLD2012-117, pp. 57-62, 2013年1月. |
資料番号 |
VLD2012-117 |
発行日 |
2013-01-09 (VLD, CPSY, RECONF) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
VLD2012-117 CPSY2012-66 RECONF2012-71 |
研究会情報 |
研究会 |
CPSY VLD RECONF IPSJ-SLDM |
開催期間 |
2013-01-16 - 2013-01-17 |
開催地(和) |
慶応義塾大学 日吉キャンパス |
開催地(英) |
|
テーマ(和) |
FPGA応用および一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
VLD |
会議コード |
2013-01-CPSY-VLD-RECONF-SLDM |
本文の言語 |
日本語 |
タイトル(和) |
Cコンパイラの算術最適化のランダムテストにおける式生成の強化 |
サブタイトル(和) |
|
タイトル(英) |
Scaling the size of Expressions in Random Testing of Arithmetic Optimization of C Compilers |
サブタイトル(英) |
|
キーワード(1)(和/英) |
コンパイラ / Compiler |
キーワード(2)(和/英) |
ランダムテスト / Randomtest |
キーワード(3)(和/英) |
/ |
キーワード(4)(和/英) |
/ |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
永井 絵里子 / Eriko Nagai / ナガイ エリコ |
第1著者 所属(和/英) |
関西学院大学 (略称: 関西学院大)
Kwansei Gakuin University (略称: Kwansei Gakuin Univ.) |
第2著者 氏名(和/英/ヨミ) |
橋本 淳史 / Atsushi Hashimoto / ハシモト アツシ |
第2著者 所属(和/英) |
関西学院大学 (略称: 関西学院大)
Kwansei Gakuin University (略称: Kwansei Gakuin Univ.) |
第3著者 氏名(和/英/ヨミ) |
石浦 菜岐佐 / Nagisa Ishiura / |
第3著者 所属(和/英) |
関西学院大学 (略称: 関西学院大)
Kwansei Gakuin University (略称: Kwansei Gakuin Univ.) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2013-01-16 15:35:00 |
発表時間 |
25分 |
申込先研究会 |
VLD |
資料番号 |
VLD2012-117, CPSY2012-66, RECONF2012-71 |
巻番号(vol) |
vol.112 |
号番号(no) |
no.375(VLD), no.376(CPSY), no.377(RECONF) |
ページ範囲 |
pp.57-62 |
ページ数 |
6 |
発行日 |
2013-01-09 (VLD, CPSY, RECONF) |
|