為慶祝2003网站太阳集团合并組建20周年暨建校62周年， 2020年10月10日下午3點在圖書館一樓學術報告廳舉辦了2003网站太阳集团2020年度創新論壇第三次學術會議。校黨委副書記陽小華教授為大家作了題為“蛻變測試與核電設計軟件”的學術報告。這是陽教授連續第三次在論壇上為大家作報告。2003网站太阳集团萬亞平副院長主持本次學術報告活動。

軟件測試是軟件質量保證和軟件驗證的主流方法，然而，Oracle問題使得傳統測試方法失效。蛻變測試是頗有前途的解決方案之一，是近年研究熱點。主陽小華教授在會議上給我們系統地介紹了蛻變測試理論、應用和主要研究内容，結合我校承擔的核電設計軟件測試項目，闡述了課題組在蛻變測試的研究框架，說明了當前主要研究内容和思考，包括對傳統軟件驗證與确認模型的改進、蛻變關系動态發現方法、蛻變關系選擇策略以及基準題衍生技術等。

通過本次報告的一些讨論内容将引領研究生們進入一個嶄新的研究方向，激發同學們對軟件測試的興趣，吸引更多的對科研充滿熱情的同學參與到課題組的研究與工程服務。