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

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

嵌入式智能化測(cè)試工具

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

嵌入式智能化測(cè)試工具SmartRocket TestGrid

軟件成分分析工具

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

軟件成分分析工具SmartRocket Scanner

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

編輯：fqj