近日，中国软件大会（CCF ChinaSoft 2023）在上海国际会议中心召开。在大会软件教学案例竞赛中，bat365官网教师玄跻峰、谢晓园、何璐璐和彭蓉的教学案例“单元测试生成工具构建：软件测试课程渐进式教学案例”位列第一名，获得一等奖。该案例阐述单元测试生成的工具构建的工程实践，从测试需求提取、路径可达性分析、测试用例代码生成三个阶段构造渐进教学。该案例依据软件测试分析课题组的长期科研实践而形成，已运用于本科课程“软件质量保障与测试”和硕士课程“软件测试与实践”的工程教学。该案例受省教研项目“面向新工科的软件质量保障与测试课程的教学内容与方法改革研究”和教育部协同育人项目“OpenHarmony使能实践基地”支持。

中国软件大会由中国计算机学会（CCF）主办，2023年大会主题为“智能化软件创新推动数字经济与社会发展”。大会包含6个特邀报告、17个学术论坛、11个专刊论坛、6个教育论坛、12个工业论坛、4个竞赛等多种形式，来自十个国家和地区的高等院校、科研机构、企业单位的2300余位学者和学生参会。

在大会中，软件测试分析课题组教师谢晓园在AIGC下的软件工程新范式论坛，做学术报告“AI时代下的软件多缺陷隔离定位技术”；研究生何华、徐海燕和玄跻峰以“基于智能程序分析的C++的代码合并冲突消解工具”参加研究成果原型系统竞赛，获二等奖。

软件测试分析课题组由玄跻峰、谢晓园、梁鹏、辛奇、陈金富、彭蓉等老师组成，长期聚焦软件质量保障的教学和科研，从事软件质量、架构、分析、测试、修复等领域的理论及应用研究。课题组在软件工程旗舰期刊会议TOSEM、TSE、ICSE、FSE等发表论文数十篇，近5年4次获得ACM SigSoft杰出论文奖。