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

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

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

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

上?？匕彩紫畔⒐贄罾ヅc會發(fā)表“強基補鏈——實現(xiàn)工業(yè)軟件卡脖子技術新突破”主題演講，分享了控安入選項目成果的研發(fā)和產業(yè)化歷程，以及控安人秉承“為工業(yè)安全賦能”的初心使命，不斷攻克制約工控系統(tǒng)安全關鍵共性技術的實踐經驗。

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

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

未來，上?？匕矊⒗^續(xù)秉持開放、合作、共贏的理念，以攻克戰(zhàn)略布局中的卡脖子技術、關鍵共性技術為核心目標，持續(xù)推動上海高新技術產業(yè)發(fā)展，為上海城市數字化轉型保駕護航！