近期，188滚球网 華夏計算機科技英才班2020級本科生葉升宇同學申報的《基於認知大模型的程序語言測試樣例自動生成方法》項目獲批首屆國家自然科學基金青年學生基礎研究項目。該項目的指導教師為劉淇教授，項目合作者還包括黃振亞、張征、毛清揚、蔣皓等老師和同學。
程序語言作為人與計算機溝通的媒介，是實現計算機係統特定功能的橋梁，是人工智能大力發展的重要基礎和底座。對程序語言進行深度理解的過程，無疑是推進發展新一代人工智能的必由之路。理解程序語言，需對其代碼質量進行評估，這一過程需要借助大量測試樣例。由人工手動設計大量測試樣例項耗時、繁瑣、且效果不佳。針對該問題，項目以具體編程題目為對象、以大模型和傳統技術相結合為手段、以提高生成測試樣例質量與效率為目標，開展基於認知大模型的自動化測試樣例生成研究，旨在充分利用大語言模型的理解與生成能力進行程序語言測試樣例自動生成。該項目有利於完善人機協同編程環境，推動程序語言科學探索，具有重要理論意義和應用價值。
國家自然科學基金委員會從2023年開始試點青年學生基礎研究項目，188金宝慱体育版 、清華大學、北京大學等八所試點高校的優秀本科生參與了本年度的項目申請。在預申請階段，我校共有147位本科生提交項目申請，經過專家審慎評審，遴選出其中20位最終上報。在申請書編寫和預答辯階段，學校科研部和學院領導高度重視，多次組織專家輔導會並全程指導了項目申報過程；在項目答辯階段，各位評審專家充分肯定項目研究方案並提出了多項建設性意見，為本項目的順利開展奠定了堅實基礎。
得益於科大本科生進實驗室的優良傳統，葉升宇同學在大二下學期開始加入認知智能全國重點實驗室CODIA項目組開展代碼智能相關工作。該實驗室自研的智能編程平台CODIA(https://code.bdaa.pro)現有編程題7000餘道，可以為師生用戶提供包含學習路徑規劃、自適應測評、用戶認知診斷、智能習題推薦、代碼助教、代碼修複等智能化服務。功能覆蓋學生自學、教師授課、考研複試、保研機試等情景。近年來，多名優秀的本科生參與 了Codia項目，一方麵有力推動了平台的構建和發展，另一方麵使自己的能力得到鍛煉。葉升宇同學正是在項目實踐中學習到很多領域前沿知識，同時發現了平台上題目缺乏足夠測試樣例的實際困難，基於此總結凝練出了本次青年學生基礎研究項目的研究內容。在葉升宇同學之外，占一，喻恒，馮文俊三位同學基於CODIA項目開發的《基於星火大模型的代碼智能助教係統》入選科大訊飛星火杯TOP20，並最終入選了第六屆世界聲博會暨2023科大訊飛AI開發者大賽十佳團隊。
葉升宇同學表示，參與到項目組進行學習科研，極大地拓展了他的學術視角，增加了學術見識。在申報成功後，他將繼續努力，以飽滿的科研熱情，堅定的科研信念投入到項目實踐當中，不負國家和學校的殷切期望。
