| Title: | automated test program generation for an industrial optimizing compiler |
| Author: | Zhao Chen
; Xue Yunzhi
; Tao Qiuming
; Guo Liang
; Wang Zhaohui
|
| Source: | Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009
|
| Conference Name: | 4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering
|
| Conference Date: | MAY 18-19,
|
| Issued Date: | 2009
|
| Conference Place: | Vancouver, CANADA
|
| Keyword: | Chinese Academy of Sciences
; Institute of Software
; Matsushita Electric Industrial Co., Ltd
; automated test program generation
; industrial optimizing compiler
; script-driven test program generation process
; temporal-logic model
; automatic programming
; optimising compilers
; program testing
; temporal logic
|
| Publisher: | 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST
|
| Publish Place: | 345 E 47TH ST, NEW YORK, NY 10017 USA
|
| ISBN: | 978-1-4244-3711-5
|
| Department: | Zhao, Chen; Xue, Yunzhi; Tao, Qiuming; Guo, Liang; Wang, Zhaohui Chinese Acad Sci, Inst Software, Beijing, Peoples R China.
|
| Sponsorship: | Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT
|
| English Abstract: | This paper presents joint research and practice on automated test program generation for an industrial compiler, UniPhier, by Matsushita Electric Industrial Co., Ltd. (MEI) and Institute of Software, Chinese Academy of Sciences (ISCAS) since Sept. 2002. To meet the test requirements of MEIs engineers, we proposed an automated approach to produce test programs for UniPhier, and as a result we developed an integrated tool named JTT. Firstly, we show the script-driven test program generation process in JTT. Secondly, we show how to produce test programs automatically, based on a temporal-logic model of compiler optimizations, to guarantee the execution of optimizing modules under test during compilation. JTT has gained success in testing UniPhier: even after benchmark testing and comprehensive manual testing, JTT still found 6 new serious defects. |
| Content Type: | 会议论文
|
| URI: | http://ir.iscas.ac.cn/handle/311060/8332
|
| Appears in Collections: | 基础软件国家工程研究中心_会议论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 2009-赵琛-AST-Automated Test Program Generation for an Industrial Optimizing Compiler.pdf（285KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
Zhao Chen,Xue Yunzhi,Tao Qiuming,et al. automated test program generation for an industrial optimizing compiler[C]. 见:4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering. Vancouver, CANADA. MAY 18-19,.
|
|
|
