期刊
ACM COMPUTING SURVEYS
卷 53, 期 1, 页码 -出版社
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3363562
关键词
Compiler testing; test program generation; test oracle; test optimization; compiler debugging
资金
- National Key Research and Development Program of China [2017YFB1001803]
- National Natural Science Foundation of China [61672047, 61861130363, 61872008, 61828201]
- BMWF/Hessen within CRISP
- German Research Foundation
Virtually any software running on a computer has been processed by a compiler or a compiler-like tool. Because compilers are such a crucial piece of infrastructure for building software, their correctness is of paramount importance. To validate and increase the correctness of compilers, significant research efforts have been devoted to testing compilers. This survey article provides a comprehensive summary of the current state-of-the-art of research on compiler testing. The survey covers different aspects of the compiler testing problem, including how to construct test programs, what test oracles to use for determining whether a compiler behaves correctly, how to execute compiler tests efficiently, and how to help compiler developers take action on bugs discovered by compiler testing. Moreover, we survey work that empirically studies the strengths and weaknesses of current compiler testing research and practice. Based on the discussion of existing work, we outline several open challenges that remain to be addressed in future work.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据