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

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

上?？匕仓悄芮度胧絾卧獪y試用例設計工具軟件是一款針對C語言程序的單元測試自動化工具。現在比較成熟的測試自動化技術，主要集中于測試流程自動化，而本工具則關注于測試設計自動化，可根據C語言程序的源代碼，利用動態符號執行與判定過程，自動化地生成測試輸入，達到一定的測試覆蓋標準。

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

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

上?？匕彩怯缮虾Ｆ胀涌仆?、上海臨港科投、上?？苿撏?、華東師大、上海自儀院共同注冊的國有控股企業，是上海市工業控制系統安全創新功能型平臺的載體，其核心技術來自中國科學院何積豐院士團隊，立足上海市《關于加快建設具有全球影響力的科技創新中心的意見》文件要求，發揚自主創新精神，助力上?？苿撝行慕ㄔO，為國家工控安全領域各類創新主體提供共性基礎環境及公共服務。