| Presentation | 2013-01-16 Scaling the Size of Expressions in Random Testing of Arithmetic Optimization of C Compilers Eriko NAGAI, Atsushi HASHIMOTO, Nagisa ISHIURA, |
|---|---|
| PDF Download Page |  PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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 |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Compiler / Randomtest |
| Paper # | VLD2012-117,CPSY2012-66,RECONF2012-71 |
| Date of Issue |
| Conference Information | |
| Committee | RECONF |
|---|---|
| Conference Date | 2013/1/9(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Reconfigurable Systems (RECONF) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | Scaling the Size of Expressions in Random Testing of Arithmetic Optimization of C Compilers |
| Sub Title (in English) | |
| Keyword(1) | Compiler |
| Keyword(2) | Randomtest |
| 1st Author's Name | Eriko NAGAI |
| 1st Author's Affiliation | Kwansei Gakuin University() |
| 2nd Author's Name | Atsushi HASHIMOTO |
| 2nd Author's Affiliation | Kwansei Gakuin University |
| 3rd Author's Name | Nagisa ISHIURA |
| 3rd Author's Affiliation | Kwansei Gakuin University |
| Date | 2013-01-16 |
| Paper # | VLD2012-117,CPSY2012-66,RECONF2012-71 |
| Volume (vol) | vol.112 |
| Number (no) | 377 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |