近日，上海市科技創(chuàng)業(yè)中心予以公示“2020年度上海市高新技術(shù)成果轉(zhuǎn)化項目百佳、自主創(chuàng)新十強”名單，上海控安自研的智能嵌入式單元測試用例設(shè)計工具軟件（項目編號：202001003）成功從眾多高新技術(shù)成果轉(zhuǎn)化項目中脫穎而出，被評為“2020年度上海市高新技術(shù)成果轉(zhuǎn)化項目自主創(chuàng)新十強”受到了表彰。

為進一步激勵企業(yè)自主創(chuàng)新，總結(jié)高新技術(shù)成果轉(zhuǎn)化成效，發(fā)揮示范帶動效應(yīng)，上海市科技創(chuàng)業(yè)中心在2020年度全市高新技術(shù)成果轉(zhuǎn)化項目動態(tài)跟蹤統(tǒng)計數(shù)據(jù)梳理和調(diào)研基礎(chǔ)上，根據(jù)各區(qū)科技主管部門推薦，經(jīng)過指標篩選和專家評議等程序，先選出銷售收入和各項綜合指標良好的100個項目為“2020年度上海市高新技術(shù)成果轉(zhuǎn)化項目百佳”，再從百佳項目中擇優(yōu)評選出“2020年度上海市高新技術(shù)成果轉(zhuǎn)化項目自主創(chuàng)新十強”，上海控安技術(shù)成果獲此殊榮。

上?？匕仓悄?a target="_blank">嵌入式單元測試用例設(shè)計工具軟件是一款針對C語言程序的單元測試自動化工具?，F(xiàn)在比較成熟的測試自動化技術(shù)，主要集中于測試流程自動化，而本工具則關(guān)注于測試設(shè)計自動化，可根據(jù)C語言程序的源代碼，利用動態(tài)符號執(zhí)行與判定過程，自動化地生成測試輸入，達到一定的測試覆蓋標準。

• 攻克卡脖子技術(shù)難點，實現(xiàn)核心工業(yè)軟件的國產(chǎn)化替代，填補國內(nèi)工業(yè)軟件測試用例自動生成工具技術(shù)空白
• 符合國家大力發(fā)展“加強工業(yè)軟件研發(fā)應(yīng)用”的數(shù)字經(jīng)濟重點產(chǎn)業(yè)核心戰(zhàn)略，打破國外技術(shù)壟斷
• 有效提高汽車電子、軌道交通、航空航天等安全攸關(guān)領(lǐng)域軟件代碼可靠性，降低測試成本投入達40%

附件1 2020年度上海市高新技術(shù)成果轉(zhuǎn)化項目自主創(chuàng)新十強公示名單

上海控安是由上海普陀科投、上海臨港科投、上?？苿?chuàng)投、華東師大、上海自儀院共同注冊的國有控股企業(yè)，是上海市工業(yè)控制系統(tǒng)安全創(chuàng)新功能型平臺的載體，其核心技術(shù)來自中國科學院何積豐院士團隊，立足上海市《關(guān)于加快建設(shè)具有全球影響力的科技創(chuàng)新中心的意見》文件要求，發(fā)揚自主創(chuàng)新精神，助力上海科創(chuàng)中心建設(shè)，為國家工控安全領(lǐng)域各類創(chuàng)新主體提供共性基礎(chǔ)環(huán)境及公共服務(wù)。