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 条
  • [1] An automated method of test program generation for compiler optimizations based on process graph
    Tao, Qiuming
    Zhao, Chen
    Wang, Yongji
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2009, 46 (09): : 1567 - 1577
  • [2] Validating the translation of an industrial optimizing compiler
    Gordin, I
    Leviathan, R
    Pnueli, A
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 230 - 247
  • [3] Automated test generation for optimizing compilers with OpenMP support
    Pankratov, Svyatoslav
    22ND INTERNATIONAL CONFERENCE ON CIRCUITS, SYSTEMS, COMMUNICATIONS AND COMPUTERS (CSCC 2018), 2018, 210
  • [4] Compiler Bug Isolation via Effective Witness Test Program Generation
    Chen, Junjie
    Han, Jiaqi
    Sun, Peiyi
    Zhang, Lingming
    Hao, Dan
    Zhang, Lu
    ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 223 - 234
  • [5] Compiler Test-Program Generation via Memoized Configuration Search
    Chen, Junjie
    Suo, Chenyao
    Jiang, Jiajun
    Chen, Peiqi
    Li, Xingjian
    2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 2035 - 2047
  • [6] Automated Test Program Generation for Automotive Devices
    Drappa, Anke
    Huber, Peter
    Vollmar, Jon
    INTERNATIONAL TEST CONFERENCE 2010, 2010,
  • [7] Detecting Optimizing Compiler Bugs via History-Driven Test Program Mutation
    Zeng, Junwei
    Tang, Yixuan
    Zhang, Jingxuan
    Li, Weiwei
    Huang, Zhiqiu
    PROCEEDINGS OF THE 15TH ASIA-PACIFIC SYMPOSIUM ON INTERNETWARE, INTERNETWARE 2024, 2024, : 145 - 154
  • [8] History-Guided Configuration Diversification for Compiler Test-Program Generation
    Chen, Junjie
    Wang, Guancheng
    Hao, Dan
    Xiong, Yingfei
    Zhang, Hongyu
    Zhang, Lu
    34TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2019), 2019, : 305 - 316
  • [9] Automated regression unit test generation for program merges
    Tao Ji
    Liqian Chen
    Xiaoguang Mao
    Xin Yi
    Jiahong Jiang
    Science China Information Sciences, 2022, 65
  • [10] Automated regression unit test generation for program merges
    Ji, Tao
    Chen, Liqian
    Mao, Xiaoguang
    Yi, Xin
    Jiang, Jiahong
    SCIENCE CHINA-INFORMATION SCIENCES, 2022, 65 (09)
12345