Go语言并发缺陷检测研究进展

摘要：

Go语言是Google公司专为并发编程设计的开源语言,自2009 年发布以来就在工业界和学术界获得了广泛的关注和应用.为了在运行时更好地支持用户态线程,Go语言提供了丰富多样的并发原语,尽管它们带来了编程上的便利,但同时也引入了更多复杂的并发缺陷.为了帮助研究者和开发者深入了解Go语言并发缺陷,本文归纳和总结了它们的特征及其相关研究.同时为了分析最新静态和动态检测工具的原理和使用效果,本文使用开源基准测试集GoBench对它们进行了评估.实验表明,目前的检测工具的检测效果和实用性仍有不足,本文针对这些不足对未来Go语言并发缺陷研究提出了展望.

关键词：Go语言、并发缺陷、并发原语、软件测试

所属期刊栏目：33

分类号：TP311;TN929.5;D923.4

资助基金：国家重点研发计划2016YFB1000402

在线出版日期：2023-06-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：360-369