熊英飛、郝丹、張路等教師獲電子學會自然科學一等獎
時間:2023年12月16日 11:36 來源:作者:
中國電子學會科學技術獎是國家科技獎勵工作辦公室批準的權威獎項,主要獎勵在電子信息領域科學研究、技術創新與開發、科技成果推廣應用和實現産業化方面取得卓著成績或者做出突出貢獻的集體和個人。
beat365官方网站軟件科學與工程系熊英飛副教授、郝丹教授、張路教授、及其博士畢業生、天津大學陳俊潔副教授和姜佳君副研究員完成的項目“數據驅動的軟件測試與修複”獲得電子學會自然科學一等獎。軟件測試與修複是提升軟件質量的基本手段。該項目針對傳統數據驅動方法無法處理程序語法語義,在測試和修複上難以發揮作用的問題,提出了數據驅動的程序合成框架,同時考慮語法語義的邏輯信息和數據的概率信息,并成功應用于測試和修複,顯著超越傳統測試與修複方法。在學術界推動形成了新的數據驅動測試與修複方向,成為後續大量工作的基礎,被同行廣泛引用和好評;在工業界推動測試與修複應用向數據驅動轉變。

