“2021普陀區(qū)質(zhì)量提升優(yōu)秀案例”評選由普陀區(qū)質(zhì)量工作領(lǐng)導(dǎo)小組辦公室主辦，以推動高質(zhì)量發(fā)展、創(chuàng)造高品質(zhì)生活為導(dǎo)向，圍繞普陀區(qū)重點產(chǎn)業(yè)，評選質(zhì)量管理、品牌建設(shè)、質(zhì)量創(chuàng)新和改進(jìn)等方面優(yōu)秀案例，旨在助力企業(yè)增強質(zhì)量提升能力，提高經(jīng)濟(jì)與社會效益。

經(jīng)過質(zhì)量工作領(lǐng)導(dǎo)小組及專家初審、現(xiàn)場答辯復(fù)審以及線上公開投票的多輪評比角逐，最終有8個優(yōu)秀案例入選。上?？匕驳募夹g(shù)成果嵌入式智能化測試工具SmartRocket TestGrid與軟件成分分析工具SmartRocket Scanner，于36家企業(yè)的39份案例中脫穎而出。

嵌入式智能化測試工具

嵌入式智能化測試工具SmartRocket TestGrid由上海控安自主研發(fā)，對標(biāo)德國Tessy、英國Testbed等國外工具的靜態(tài)分析、單元測試功能，實現(xiàn)國外工具的國產(chǎn)化替代。該工具利用軟件代碼分析中的動態(tài)符號執(zhí)行技術(shù)實現(xiàn)，分析程序路徑，產(chǎn)生滿足覆蓋率的測試用例并在后臺自動執(zhí)行，對于C代碼可以自動生成覆蓋率高達(dá)100%的測試用例。本工具已為探月工程三期、嫦娥五號等航空航天重大任務(wù)提供支撐，并為上海地鐵10號線、17號線等多條國內(nèi)外軌道交通線路提供安全保障。

嵌入式智能化測試工具SmartRocket TestGrid

軟件成分分析工具

軟件成分分析工具SmartRocket Scanner是國內(nèi)首款同時支持源代碼與二進(jìn)制文件代碼的分析工具，對標(biāo)美國Blackduck、以色列Whitesource等國外工具，實現(xiàn)國外工具的國產(chǎn)化替代。該工具能夠協(xié)助用戶對應(yīng)用程序中所使用的第三方組件提供詳細(xì)分析，使用戶更主動的管理因使用第三方組件所帶來的安全與合規(guī)風(fēng)險，同時支持C/C++在內(nèi)的十幾種主流編程語言，誤報率遠(yuǎn)低于同類產(chǎn)品。通過本工具已與中國信息安全評測中心、國內(nèi)頭部汽車廠商以及證券公司等客戶達(dá)成友好合作。

軟件成分分析工具SmartRocket Scanner

為實現(xiàn)2025智能制造的宏偉戰(zhàn)略及科技行業(yè)自力更生的需求，上海市政府和普陀區(qū)政府共同籌建上海工業(yè)控制安全創(chuàng)新科技有限公司。上海控安致力于打造技術(shù)引領(lǐng)的產(chǎn)業(yè)生態(tài)服務(wù)平臺，自研面向功能安全和信息安全的軟件工具鏈，在汽車電子、軌道交通、航空航天、水利水務(wù)等行業(yè)為客戶提供可靠的技術(shù)支撐，實現(xiàn)“卡脖子”技術(shù)突破。未來，上?？匕矊⒗^續(xù)發(fā)揮質(zhì)量提升示范引領(lǐng)作用，為深入開展質(zhì)量提升行動貢獻(xiàn)經(jīng)驗，力爭推動行業(yè)探索新前沿、實現(xiàn)新突破、取得新成效。

編輯：fqj