Automated Test Program Generation for an Industrial Optimizing Compiler

被引：20
|
作者：
Zhao, Chen [1 ]
Xue, Yunzhi [1 ]
Tao, Qiuming [1 ]
Guo, Liang [1 ]
Wang, Zhaohui [1 ]
机构：
[1] Chinese Acad Sci, Inst Software, Beijing, Peoples R China
来源：
2009 ICSE WORKSHOP ON AUTOMATION OF SOFTWARE TEST | 2009年
关键词：
D O I：
10.1109/IWAST.2009.5069039
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：36 / 43
页数：8
相关论文
共 50 条
  • [31] A program auto-parallelizer based on the component technology of optimizing compiler construction
    A. Yu. Drozdov
    S. V. Novikov
    Programming and Computer Software, 2009, 35 : 321 - 339
  • [32] A program auto-parallelizer based on the component technology of optimizing compiler construction
    Drozdov, A. Yu.
    Novikov, S. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2009, 35 (06) : 321 - 339
  • [33] HeteroGen: Transpiling C to Heterogeneous HLS Code with Automated Test Generation and Program Repair
    Zhang, Qian
    Wang, Jiyuan
    Xu, Guoqing Harry
    Kim, Miryung
    ASPLOS '22: PROCEEDINGS OF THE 27TH ACM INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, 2022, : 1017 - 1029
  • [34] Automated System Level Functional Test Program Generation on ATE from EDA using Functional Test Abstraction
    Ueda, Motoo
    Ishikawa, Shinichi
    Goishi, Masaru
    Kitagawa, Satoru
    Araki, Hiroshi
    Inage, Shuichi
    PROCEEDINGS INTERNATIONAL TEST CONFERENCE 2012, 2012,
  • [35] RICE: An Optimizing Curry Compiler
    Libby, Steven
    PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2023, 2023, 13880 : 3 - 19
  • [36] MICROSOFT FORTRAN OPTIMIZING COMPILER
    LEVITIN, VV
    MATHEMATICAL BIOSCIENCES, 1990, 102 (02) : 225 - 227
  • [37] TS - AN OPTIMIZING COMPILER FOR SMALLTALK
    JOHNSON, RE
    GRAVER, JO
    ZURAWSKI, LW
    SIGPLAN NOTICES, 1988, 23 (11): : 18 - 26
  • [38] Optimizing compiler for a CELL processor
    Eichenberger, AE
    O'Brien, K
    O'Brien, K
    Wu, P
    Chen, T
    Oden, PH
    Prener, DA
    Shepherd, JC
    So, B
    Sura, Z
    Wang, A
    Zhang, T
    Zhao, P
    Gschwind, M
    PACT 2005: 14TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, 2005, : 161 - 172
  • [39] ORBIT: An optimizing compiler for scheme
    Kranz, D
    Kelsey, R
    Rees, J
    Hudak, P
    Philbin, J
    Adams, N
    ACM SIGPLAN NOTICES, 2004, 39 (04) : 177 - 191
  • [40] Briki: an optimizing Java compiler
    Univ of Rochester, Rochester, United States
    Dig Pap COMPCON IEEE Comput Soc Int Conf, 1600, (179-184):
12345