Compiler testing: a systematic literature analysis

被引:21
作者
Tang, Yixuan [1 ]
Ren, Zhilei [1 ]
Kong, Weiqiang [1 ]
Jiang, He [1 ,2 ,3 ]
机构
[1] Dalian Univ Technol, Sch Software, Dalian 116024, Peoples R China
[2] Key Lab Ubiquitous Network & Serv Software Liaoni, Dalian 116000, Peoples R China
[3] Beijing Inst Technol, Sch Comp Sci & Technol, Beijing 100081, Peoples R China
基金
中国国家自然科学基金;
关键词
software engineering; compiler-theory and techniques; literature analysis; collaboration network; bibliometric analysis; SOFTWARE ENGINEERING JOURNALS; CITED ARTICLES; SCHOLARS; BUGS;
D O I
10.1007/s11704-019-8231-0
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Compilers are widely-used infrastructures in accelerating the software development, and expected to be trustworthy. In the literature, various testing technologies have been proposed to guarantee the quality of compilers. However, there remains an obstacle to comprehensively characterize and understand compiler testing. To overcome this obstacle, we propose a literature analysis framework to gain insights into the compiler testing area. First, we perform an extensive search to construct a dataset related to compiler testing papers. Then, we conduct a bibliometric analysis to analyze the productive authors, the influential papers, and the frequently tested compilers based on our dataset. Finally, we utilize association rules and collaboration networks to mine the authorships and the communities of interests among researchers and keywords. Some valuable results are reported. We find that the USA is the leading country that contains the most influential researchers and institutions. The most active keyword is "random testing". We also find that most researchers have broad interests within small-scale collaborators in the compiler testing area.
引用
收藏
页码:1 / 20
页数:20
相关论文
共 69 条
[41]  
Nagai E., 2012, WORKSH SYNTH SYST IN, P48
[42]   Reinforcing random testing of arithmetic optimization of C compilers by scaling up size and number of expressions [J].
Nagai, Eriko ;
Hashimoto, Atsushi ;
Ishiura, Nagisa .
IPSJ Transactions on System LSI Design Methodology, 2014, 7 :91-100
[43]  
Pearse T, 1995, INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 1995 PROCEEDINGS, P295, DOI 10.1109/ICSM.1995.526551
[44]  
Pflanzer M., 2016, P 4 INT WORKSH OPENC, P1, DOI DOI 10.1145/2909437.2909439
[45]  
Rahman MM, 2015, 2015 22ND INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), P540, DOI 10.1109/SANER.2015.7081873
[46]   Test-Case Reduction for C Compiler Bugs [J].
Regehr, John ;
Chen, Yang ;
Cuoq, Pascal ;
Eide, Eric ;
Ellison, Chucky ;
Yang, Xuejun .
ACM SIGPLAN NOTICES, 2012, 47 (06) :335-345
[47]   Automated Localization for Unreproducible Builds [J].
Ren, Zhilei ;
Jiang, He ;
Xuan, Jifeng ;
Yang, Zijiang .
PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :71-81
[48]   Practical testing of a C99 compiler using output comparison [J].
Sheridan, Flash .
SOFTWARE-PRACTICE & EXPERIENCE, 2007, 37 (14) :1475-1488
[49]   Mapping knowledge structure by keyword co-occurrence: a first look at journal papers in Technology Foresight [J].
Su, Hsin-Ning ;
Lee, Pei-Chun .
SCIENTOMETRICS, 2010, 85 (01) :65-79
[50]   Finding and Analyzing Compiler Warning Defects [J].
Sun, Chengnian ;
Le, Vu ;
Su, Zhendong .
2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2016, :203-213