The Community for Technology Leaders
Automation of Software Test, Second International Workshop on (2009)
Vancouver, BC Canada
May 18, 2009 to May 19, 2009
ISBN: 978-1-4244-3711-5
pp: 36-43
Chen Zhao , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Yunzhi Xue , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Qiuming Tao , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Liang Guo , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
Zhaohui Wang , Institute of Software, Chinese Academy of Sciences, P.O. BOX 8718, Beijing, China
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 MEI's 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.
INDEX TERMS
automatic programming, optimising compilers, program testing, temporal logic
CITATION

Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo and Zhaohui Wang, "Automated test program generation for an industrial optimizing compiler," 2009 ICSE Workshop on Automation of Software Test (AST 2009)(AST), Vancouver, BC, 2009, pp. 36-43.
doi:10.1109/IWAST.2009.5069039
83 ms
(Ver 3.3 (11022016))