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 条
  • [21] Optimizing System-Level Test Program Generation via Genetic Programming
    Schwachhofer, Denis
    Angione, Francesco
    Becker, Steffen
    Wagner, Stefan
    Sauer, Matthias
    Bernardi, Paolo
    Polian, Ilia
    IEEE EUROPEAN TEST SYMPOSIUM, ETS 2024, 2024,
  • [22] PROGRAM ANALYSIS AND CODE GENERATION IN AN APL/370 COMPILER
    CHING, WM
    IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1986, 30 (06) : 594 - 602
  • [23] Automated Test Input Generation for Android: Are We Really There Yet in an Industrial Case?
    Zeng, Xia
    Li, Dengfeng
    Zheng, Wujie
    Xia, Fan
    Deng, Yuetang
    Lam, Wing
    Yang, Wei
    Xie, Tao
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 987 - 992
  • [24] Compiler test case generation methods: a survey and assessment
    Boujarwah, AS
    Saleh, K
    INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (09) : 617 - 625
  • [25] NEW STRATEGY FOR CODE GENERATION - GENERAL-PURPOSE OPTIMIZING COMPILER
    HARRISON, WH
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1979, 5 (04) : 367 - 373
  • [26] AN OPTIMIZING PROLOG COMPILER
    KOMATSU, H
    TAMURA, N
    ASAKAWA, Y
    KUROKAWA, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 264 : 104 - 115
  • [27] AN OPTIMIZING PASCAL COMPILER
    FAIMAN, RN
    KORTESOJA, AA
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (06) : 512 - 519
  • [28] An open-source, industrial-strength optimizing compiler for quantum programs
    Smith, R. S.
    Peterson, E. C.
    Skilbeck, M. G.
    Davis, E. J.
    QUANTUM SCIENCE AND TECHNOLOGY, 2020, 5 (04):
  • [29] MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure
    Wang, Haoyu
    Chen, Junjie
    Xie, Chuyue
    Liu, Shuang
    Wang, Zan
    Shen, Qingchao
    Zhao, Yingquan
    2023 38TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE, 2023, : 1555 - 1566
  • [30] PROGRAM ANALYSIS AND CODE GENERATION IN AN APL/370 COMPILER.
    Ching, Wai-Mee
    IBM Journal of Research and Development, 1986, 30 (06): : 594 - 602
12345