Journal
ACM COMPUTING SURVEYS
Volume 53, Issue 1, Pages -Publisher
ASSOC COMPUTING MACHINERY
DOI: 10.1145/3363562
Keywords
Compiler testing; test program generation; test oracle; test optimization; compiler debugging
Categories
Funding
- 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
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available