近日，上海市科技創(chuàng)業(yè)中心予以公示“2020年度上海市高新技術成果轉化項目百佳、自主創(chuàng)新十強”名單，上?？匕沧匝械闹悄芮度胧絾卧獪y試用例設計工具軟件（項目編號：202001003）成功從眾多高新技術成果轉化項目中脫穎而出，被評為“2020年度上海市高新技術成果轉化項目自主創(chuàng)新十強”受到了表彰。

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

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

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

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

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