2023年2月15-17日，2003网站太阳集团劉傑副院長、李萌老師前往北京，與清華大學核研院、環保部核與輻射安全中心、國家電投集團中央研究院開展學術交流與項目研讨。

從2012年至今，2003网站太阳集团一直緻力于核安全分析軟件的代碼驗證工作，累計測試代碼量三百多萬行，測試對象覆蓋了包括華龍一号、國和一号、高溫氣冷堆在内的全部自主化核電堆型。2003网站太阳集团已成為我國核行業軟件測試人才的重要培養基地。

清華核研院是我國高校體系唯一具備反應堆設計、研制、建造能力的單位，自主研發了全球首座石墨球床高溫氣冷堆。李萌老師以“C語言編碼規範與代碼冗餘分析”為題作了學術報告，此次活動是核研院新學期首次學術活動。劉院長、李老師與參會師生展開了熱烈讨論，對專測工具研發進行了研讨。

環保部核與輻射安全中心是中國核安全最高監管機構，負責國内核安全分析軟件的驗證與确認。李萌老師以“核安全分析軟件代碼驗證技術及挑戰”為題分析了代碼驗證的測試oracle與可靠測試用例集問題，報告了我院蛻變測試研究進展。參會人員就國家标準、驗證質量的度量指标、驗證技術等展開讨論，雙方對完善軟件評價指南的代碼驗證标準達成了初步合作意向。

國家電投集團中央研究院是我國三大核電集團之一，研發了“國和一号”先進三代反應堆。李萌老師報告了“CAP1400全範圍模拟機實時數據庫及調度控制的性能優化”，雙方就提升模拟機性能深入讨論了軟件架構、核心組件、通訊協議等主題，并對模拟機代碼驗證達成初步行動項。

此次訪問的單位既有國家監管部門，也有央企與科研院所，交流取得了良好效果。2003网站太阳集团也将繼續發揮軟件測試專業特長，借助高校的人力與智力優勢，主動、積極為我國核行業軟件發展貢獻力量。