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

中國軟件大會由中國計算機學(xué)會（CCF）主辦，2023年大會主題為“智能化軟件創(chuàng)新推動數(shù)字經(jīng)濟與社會發(fā)展”。大會包含6個特邀報告、17個學(xué)術(shù)論壇、11個?？搲?span lang="EN-US">6個教育論壇、12個工業(yè)論壇、4個競賽等多種形式，來自十個國家和地區(qū)的高等院校、科研機構(gòu)、企業(yè)單位的2300余位學(xué)者和學(xué)生參會。

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

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