12月14日，由上海市科委指導，上海市科技創業中心主辦的“2021上海高新技術成果轉化百佳表彰會”在中國金融信息中心舉行。上海市科委、市財政局、市人社局等相關委辦領導出席了會議。會議表彰了2020年度上海市高轉項目十強企業和先鋒人物。

項目評審組對總計3014項高轉項目轉化動態跟蹤統計數據的梳理和指標初步篩選后，經各區科技主管部門推薦、專家評議、網上公示等程序，上海控安自研產品“智能嵌入式單元測試用例設計工具軟件”入選“2020年度上海市高新技術成果轉化項目自主創新十強”，上海控安總經理蒲戈光教授榮獲“2020年度上海市高新技術成果轉化先鋒人物”榮譽稱號。

市科委副主任謝文瀾為會議致辭。他表示，創新是上海的“城市基因”，也是推動高質量發展的根本動力。多年來，上海從制度保障、政策供給、能力提升等方面全方位推進科技成果轉化，形成了供給端、需求端和服務端“三端發力”的體系化布局。

回顧過去，高轉政策歷時二十余載，在推動本市高新技術產業發展、培育企業核心競爭力等方面發揮了重要作用，目前累計認定高轉項目近1.5萬項，落實專項資金超110億元，落戶人才超過3000人。今年是高轉項目新政實施以后的第一年，面向未來，上海高轉政策將全力打好財政支持、人才落戶政策的組合拳，緊扣全力做強創新引擎，打造自主創新新高地這一主線，加速科技成果向現實生產力轉化，疏通成果轉化的雙向鏈接快車道，推動企業創新不斷邁向新臺階。

上海控安首席信息官楊昆與會發表“強基補鏈——實現工業軟件卡脖子技術新突破”主題演講，分享了控安入選項目成果的研發和產業化歷程，以及控安人秉承“為工業安全賦能”的初心使命，不斷攻克制約工控系統安全關鍵共性技術的實踐經驗。

上海控安入選項目成果“智能嵌入式單元測試用例設計工具軟件”作為一款軟件代碼測試和驗證工具，以“國外工具軟件的國產化替代”為目標，對標美國Vector、德國Tessy、英國Testbed等工具，填補國內嵌入式系統測試工具軟件技術空白。利用程序分析技術和動態符號執行技術，實現智能化、自動化的單元測試。通過該工具，用戶能夠快速對安全攸關的代碼進行單元級別的白盒測試、黑盒測試及回歸測試，從而進一步提升單元測試的效率。

目前，該項目成果已經測試航空航天、地鐵信號、汽車電子、核電控制等領域軟件代碼超過800W行，平均語句覆蓋率超過80%，具有顯著的技術后發優勢。該工具支持的重點項目包括：嫦娥五號、天問一號、上海10號線、新一代汽車開放系統架構等，在航天五院、普華軟件、申通地鐵，卡斯柯等高可信工業領域代表性企業的項目中得到應用和認可。

未來，上海控安將繼續秉持開放、合作、共贏的理念，以攻克戰略布局中的卡脖子技術、關鍵共性技術為核心目標，持續推動上海高新技術產業發展，為上海城市數字化轉型保駕護航！