跳到主要内容
10.1145/2884781.2884878高级会议文章/章节视图摘要出版物页面国际证券交易所会议记录会议集合
研究论文

编译器测试技术的实证比较

出版:2016年5月14日出版历史

摘要

作为当今数字世界最重要的基础设施之一,编译器应该是值得信赖的。开发了不同的测试技术来自动测试编译器。然而,到目前为止,还不知道这些测试技术在测试效率方面是如何相互比较的:一种测试技术在一个时间限制内可以发现多少错误。

本文对三种编译器测试技术,即随机差分测试(RDT)和等效模输入(EMI)进行了系统全面的实证比较。我们的结果表明,DOL在检测与优化相关的bug方面更有效,而RDT在检测其他类型的bug时更有效,这三种技术可以在一定程度上相互补充。

此外,为了理解它们的有效性为什么不同,我们调查了影响编译器测试有效性的三个因素,即效率、测试预言的强度和生成的测试程序的有效性。结果表明,这三个因素都具有统计学意义,效率的影响最为显著。

工具书类

  1. A.V.Aho(阿霍)。编辑者:原理、技术和工具(安娜大学),2/e《培生教育印度》,2003年。谷歌学者谷歌学者数字图书馆数字图书馆
  2. E.T.Barr、M.Harman、P.McMinn、M.Shahbaz和S.Yoo。软件测试中的预言问题:一项调查。IEEE软件工程汇刊, 41(5):507--525, 2015.谷歌学者谷歌学者数字图书馆数字图书馆
  3. F.Bazzichi和I.Spadafora。用于编译器测试的自动生成器。IEEE软件工程汇刊, (4):343--353, 1982.谷歌学者谷歌学者数字图书馆数字图书馆
  4. A.S.Boujarwah和K.Saleh。编译器测试用例生成方法:调查与评估。信息和软件技术, 39(9):617--625, 1997.谷歌学者谷歌学者
  5. D.卡拉汉、J.东加拉和D.莱文。矢量化编译器:测试套件和结果。1988年ACM/IEEE超级计算会议记录,第98-105页。IEEE,1988年。谷歌学者谷歌学者数字图书馆数字图书馆
  6. J.Chen、Y.Bai、D.Hao、Y.Xiong、H.Zhang、L.Zhang和B.Xie。编译器的测试用例优先级:一种基于文本向量的方法。第九届软件测试、验证和确认国际会议记录, 2016.谷歌学者谷歌学者交叉引用交叉引用
  7. Y.Chen、A.Groce、C.Zhang、W.-K.Wong、X.Fern、E.Eide和J.Regehr。驯服编译器模糊器。第34届ACM SIGPLAN编程语言设计与实现会议记录,第197-208页。ACM,2013年。谷歌学者谷歌学者数字图书馆数字图书馆
  8. 丁毅、梅建华和郑浩。java实时编译器的设计与实现。计算机科学与技术杂志,15(6):584-592000。谷歌学者谷歌学者数字图书馆数字图书馆
  9. K.V.汉福德。自动生成测试用例。IBM系统期刊, 9(4):242--257, 1970.谷歌学者谷歌学者数字图书馆数字图书馆
  10. W·哈里森。编译器构造简介。2013谷歌学者谷歌学者
  11. A.Kalinov、A.Kossatchev、A.Petrenko、M.Posypkin和V.Shishkov。Coverage驱动的自动编译器测试套件生成。理论计算机科学电子笔记, 82(3):500--514, 2003.谷歌学者谷歌学者交叉引用交叉引用
  12. A.Kossatchev和M.Posypkin。编译器测试方法综述。编程和计算机软件, 31(1):10--19, 2005.谷歌学者谷歌学者数字图书馆数字图书馆
  13. V.Le、M.Afshari和Z.Su.通过等价模输入进行编译器验证。第35届程序设计语言设计与实现会议记录,第216至226页。ACM,2014年。谷歌学者谷歌学者数字图书馆数字图书馆
  14. V.Le、C.Sun和Z.Su.通过引导随机程序变异发现深层编译器错误。2015年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议记录,第386--399页。ACM,2015年。谷歌学者谷歌学者数字图书馆数字图书馆
  15. V.Le、C.Sun和Z.Su.链接时间优化器的随机应力测试。2015年软件测试与分析国际研讨会论文集,第327--337页。ACM,2015年。谷歌学者谷歌学者数字图书馆数字图书馆
  16. C.Lidbury、A.Lascu、N.Chong和A.F.Donaldson。许多核心编译器模糊化。第36届ACM SIGPLAN编程语言设计与实现会议论文集,第65-76页,2015年。谷歌学者谷歌学者数字图书馆数字图书馆
  17. C.林迪格。C调用约定的随机测试。第六届自动分析驱动调试国际研讨会论文集,第3-12页。ACM,2005年。谷歌学者谷歌学者数字图书馆数字图书馆
  18. W.M.McKeeman。软件的差异测试。数字技术期刊, 10(1):100--107, 1998.谷歌学者谷歌学者
  19. E.Nagai、H.Awazu、N.Ishiura和N.Takeda。针对算法优化的C编译器的随机测试。混合信息技术综合与系统集成研讨会,第48-53页,2012年。谷歌学者谷歌学者
  20. E.Nagai、A.Hashimoto和N.Ishiura。在C编译器算术优化的随机测试中,扩大表达式的大小和数量。混合信息技术综合与系统集成研讨会,第88-93页,2013年。谷歌学者谷歌学者
  21. M.H.Pałka、K.Claessen、A.Russo和J.Hughes。通过生成随机lambda项来测试优化编译器。第六届软件测试自动化国际研讨会论文集,第91-97页。ACM,2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  22. J.Regehr、Y.Chen、P.Cuoq、E.Eide、C.Ellison和X.Yang。C编译器错误的测试用例减少。第33届ACM SIGPLAN编程语言设计与实现会议记录,第335--346页。ACM,2012年。谷歌学者谷歌学者数字图书馆数字图书馆
  23. R.L.Rivest和C.E.Leiserson。算法简介McGraw-Hill公司,1990年。谷歌学者谷歌学者数字图书馆数字图书馆
  24. H.萨梅特。通过符号解释进行编译器测试。1976年年度会议记录,第492--497页。美国医学会,1976年。谷歌学者谷歌学者数字图书馆数字图书馆
  25. R.L.绍德。COBOL的通用测试数据生成器。春季联合计算机会议记录,第317-323页。ACM,1962年。谷歌学者谷歌学者数字图书馆数字图书馆
  26. F.谢里丹。使用输出比较对C99编译器进行实际测试。软件:实践与经验, 37(14):1475--1488, 2007.谷歌学者谷歌学者数字图书馆数字图书馆
  27. Q.Tao、W.Wu、C.Zhao和W.Shen。一种基于变形测试技术的编译器自动测试方法。第17届亚太软件工程会议记录,第270-279页。IEEE,2010年。谷歌学者谷歌学者数字图书馆数字图书馆
  28. J.维恩。关于命题和推理的图解和机械表示。伦敦、爱丁堡和都柏林哲学杂志和科学杂志, 10(59):1--18, 1880.谷歌学者谷歌学者交叉引用交叉引用
  29. X.Yang、Y.Chen、E.Eide和J.Regehr。发现并理解C编译器中的错误。第32届程序设计语言设计与实现会议记录,第283-294页,2011年。谷歌学者谷歌学者数字图书馆数字图书馆
  30. T.吉川、K.Shimura和T.Ozawa。Java JIT编译器测试系统的随机程序生成器。第三届国际质量软件会议记录,第20-23页。IEEE,2003年。谷歌学者谷歌学者数字图书馆数字图书馆
  31. C.Zhao、Y.Xue、Q.Tao、L.Guo和Z.Wang。工业优化编译器的自动测试程序生成。软件测试自动化ICSE研讨会,第36-43页。IEEE,2009年。谷歌学者谷歌学者
  32. G.Zhu、L.Xie和Z.Sun。Nuapc:一个用于c++的并行编译器。计算机科学与技术杂志, 12(5):458--469, 1997.谷歌学者谷歌学者交叉引用交叉引用
  1. 编译器测试技术的实证比较

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        ICSE’16:第38届国际软件工程会议记录
        2016年5月
        1235页
        国际标准图书编号:9781450339001
        DOI(操作界面):10.1145/2884781

        版权所有©2016 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2016年5月14日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 研究论文

        接受率

        总体验收率276属于1,856提交文件,15%

        即将召开的会议

        ICSE 2025年
        2025 IEEE/ACM第46届国际软件工程会议
        2025年4月26日至5月3日
        渥太华,打开,加拿大

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器