近日，中國軟件大會（CCF ChinaSoft 2023）在上海國際會議中心召開。在大會軟件教學案例競賽中，必贏官網教師玄躋峰、謝曉園、何璐璐和彭蓉的教學案例“單元測試生成工具構建：軟件測試課程漸進式教學案例”位列第一名，獲得一等獎。該案例闡述單元測試生成的工具構建的工程實踐，從測試需求提取、路徑可達性分析、測試用例代碼生成三個階段構造漸進教學。該案例依據軟件測試分析課題組的長期科研實踐而形成，已運用于本科課程“軟件質量保障與測試”和碩士課程“軟件測試與實踐”的工程教學。該案例受省教研項目“面向新工科的軟件質量保障與測試課程的教學內容與方法改革研究”和教育部協同育人項目“OpenHarmony使能實踐基地”支持。

中國軟件大會由中國計算機學會（CCF）主辦，2023年大會主題為“智能化軟件創新推動數字經濟與社會發展”。大會包含6個特邀報告、17個學術論壇、11個專刊論壇、6個教育論壇、12個工業論壇、4個競賽等多種形式，來自十個國家和地區的高等院校、科研機構、企業單位的2300余位學者和學生參會。

在大會中，軟件測試分析課題組教師謝曉園在AIGC下的軟件工程新范式論壇，做學術報告“AI時代下的軟件多缺陷隔離定位技術”；研究生何華、徐海燕和玄躋峰以“基于智能程序分析的C++的代碼合并沖突消解工具”參加研究成果原型系統競賽，獲二等獎。

軟件測試分析課題組由玄躋峰、謝曉園、梁鵬、辛奇、陳金富、彭蓉等老師組成，長期聚焦軟件質量保障的教學和科研，從事軟件質量、架構、分析、測試、修復等領域的理論及應用研究。課題組在軟件工程旗艦期刊會議TOSEM、TSE、ICSE、FSE等發表論文數十篇，近5年4次獲得ACM SigSoft杰出論文獎。