2021 年 7 月 12 日,编程语言技术社区系列活动第三场, 同时也是 SIG-编程语言测试的首次技术沙龙在上海紫竹园举办。
SIG - 编程语言测试是编程语言技术社区创建的第三个 SIG,核心成员主要来自大连理工大学,天津大学、西北大学、上海交通大学、南京大学、南方科技大学、新加坡国立大学、编程语言 Lab 等,另外还有来自加拿大滑铁卢大学、复旦大学、清华大学、华东师范大学、爱丁堡大学、山东大学、蚂蚁金服、平头哥等的 SIG 成员,他们都是行业与高校对编程语言及其基础设施的测试技术有着丰富经验的专家和爱好者。
王利民老师首先概括了编程语言的基础设施,介绍了在工业界的工程实践过程中,所使用的各类测试技术,并总结了这些技术的特点以及工业界和学术界不同的研究重点,最后总结了编程语言测试过程中遇到的技术挑战。
回顾视频见:SIG-编程语言测试技术沙龙回顾|编程语言测试技术综述
江贺老师首先介绍了编译器警告缺陷检测技术 DIPROM(DIversity-guided PROgram Mutation),该技术基于 AS