2024年10月10日上午，軟件工程系在崇真樓南樓A4033會議室召開了本年度第四次青年博士教師科研例會。會議由學院黨委委員王幫超主持，副院長魏雄，系主任葉鵬出席會議，軟件工程系青年教師和2022級和2023級學生代表參加了會議。

圖1 青年博士教科研例會現場

葉璐瑤老師作了題為「無關性覆蓋模型」的報告。本研究由福島第一核電站事故引出容錯系統中故障覆蓋的不完全性和故障行為的動態性兩大問題，介紹了不完全故障覆蓋模型和無關性覆蓋模型，以及無關性覆蓋模型的定性定量分析方法，並針對故障行為的動態性分析了動態故障樹中系統可靠性的多種求解方法。

圖2 葉璐瑤老師作報告

王幫超老師作了題為「軟件可追蹤性的技術疊代」報告。軟件跟蹤是軟件開發過程中的一項關鍵活動，它涉及將軟件需求從其起源（如用戶需求、業務目標或系統規格說明）一直跟蹤到最終的軟件產品實現中。這一過程的目的是確保所有的需求都被正確理解和實現，並且在項目的整個生命周期中保持一致性、可追溯性和可管理性。該報告深入探討了軟件跟蹤領域從信息檢索到機器學習/深度學習，再到大語言模型的技術發展態勢。研究表明，基於預訓練大模型、提示大模型的跟蹤方法是當前最前沿的技術，為軟件跟蹤任務的順利完成提供了新的解決方案。

圖3 王幫超老師作報告

每一場報告結束後，現場師生都能踴躍提問和發言，氣氛十分活躍。最後，魏雄院長總結髮言，並提出了希望更多老師和學生參與到例會中來，把例會打造成師生交流的橋樑。