Institutional Repository
| automated test program generation for an industrial optimizing compiler | |
| Zhao Chen; Xue Yunzhi; Tao Qiuming; Guo Liang; Wang Zhaohui | |
| 2009 | |
| Conference Name | 4th International Workshop on Automation of Software Test (AST 2009) held at the 31st International Conference on Software Engineering |
| Source | Proceedings of the 2009 ICSE Workshop on Automation of Software Test, AST 2009 |
| Conference Date | MAY 18-19, |
| Conference Place | Vancouver, CANADA |
| Publish Place | 345 E 47TH ST, NEW YORK, NY 10017 USA |
| Publisher | 2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST |
| 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. |
| 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. |
| 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 |
| Sponsorship | Association for Computing Machinery, ACM; IEEE; IEEE Computer Society; SIGSOFT |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/8332 |
| Collection | 基础软件国家工程研究中心 |
| Recommended Citation GB/T 7714 | Zhao Chen,Xue Yunzhi,Tao Qiuming,et al. automated test program generation for an industrial optimizing compiler[C]. 345 E 47TH ST, NEW YORK, NY 10017 USA:2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST,2009. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 2009-赵琛-AST-Automate（285KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment