automated test program generation for an industrial optimizing compiler
文献类型：会议论文
| 作者 | Zhao Chen ; Xue Yunzhi ; Tao Qiuming ; Guo Liang ; Wang Zhaohui |
| 出版日期 | 2009 |
| 会议名称 | 4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering |
| 会议日期 | MAY 18-19, |
| 会议地点 | 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 |
| 英文摘要 | 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. |
| 会议主办者 | Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT |
| 会议录 | Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009
 |
| 会议录出版者 | 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST |
| 会议录出版地 | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| ISBN号 | 978-1-4244-3711-5 |
| 源URL | [http://124.16.136.157/handle/311060/8332]  |
| 专题 | 软件研究所_基础软件国家工程研究中心_会议论文 |
| 推荐引用方式 GB/T 7714 | 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,. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。