| 题名: | automated test program generation for an industrial optimizing compiler |
| 作者: | Zhao Chen
; Xue Yunzhi
; Tao Qiuming
; Guo Liang
; Wang Zhaohui
|
| 会议文集: | Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009
|
| 会议名称: | 4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering
|
| 会议日期: | MAY 18-19,
|
| 出版日期: | 2009
|
| 会议地点: | Vancouver, CANADA
|
| 关键词: | 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
|
| 出版者: | 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST
|
| 出版地: | 345 E 47TH ST, NEW YORK, NY 10017 USA
|
| ISBN: | 978-1-4244-3711-5
|
| 部门归属: | Zhao, Chen; Xue, Yunzhi; Tao, Qiuming; Guo, Liang; Wang, Zhaohui Chinese Acad Sci, Inst Software, Beijing, Peoples R China.
|
| 主办者: | Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT
|
| 英文摘要: | 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. |
| 内容类型: | 会议论文
|
| 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,.
|
|
|
