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

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

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

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

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

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

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

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