“綻放行動”由麒麟軟件與飛騰信息技術有限公司聯合發起,旨在以用戶實際需求為牽引,攜手上下游伙伴,充分發揮飛騰CPU+銀河麒麟操作系統的產品優勢,形成基于“PK”+行業應用的產業生態鏈,共同打造全棧式行業解決方案和標桿項目,共建行業應用聯合生態。
隨著萬物互聯時代的到來,嵌入式系統的應用已覆蓋航空航天、軌道交通、汽車電子、消費電子、網絡通訊、數字家電、工業控制等眾多領域,需求爆炸式增長的同時,嵌入式系統代碼缺陷、安全漏洞成為行業應用中面臨的主要挑戰。上海工業控制系統安全創新功能型平臺(以下簡稱“上海控安”)作為連接產學研用政資等相關主體的工業安全產業生態服務平臺正式加入“綻放行動”,針對嵌入式系統研發中驗證測試軟件95%都是國外產品的現狀,攜手麒麟軟件、飛騰聯合攻關,共同打造基于自主創新平臺的工業嵌入式測試軟件聯合解決方案,為我國工業安全保駕護航。
方案基于飛騰CPU和銀河麒麟高級服務器操作系統V10,實現了工業嵌入式智能化測試軟件(即SmartRocket TestGrid)與國產基礎軟硬環境的完美融合,滿足行業標準要求,并獲得TüV南德的功能安全認證,工具、測試報告均符合功能安全標準要求,滿足了工業嵌入式系統軟件高可靠、高安全等級的測試驗證需求;同時,方案融合軟件代碼分析中的動態符號執行核心技術,打破了傳統的“手寫用例+測試工具”的測試方法,100%滿足語句覆蓋、分支覆蓋和MC/DC覆蓋,實現測試用例自動生成,自動化整個單元測試過程,提升了測試效率,提高測試用例質量,用戶可大幅降低測試成本。
方案架構圖
使用基于銀河麒麟操作系統和飛騰芯片的TestGrid軟件,可以自動生成高覆蓋率、低冗余的結構覆蓋用例,函數的平均語句覆蓋率高達85%,且超過半數的函數可以達到100%覆蓋率,為客戶最大限度的提高了測試效率,在典型業務場景下性能優異,運行穩定。
汽車電子應用場景
汽車電子行業遵循ISO26262標準,對于需要達到ASIL-D安全等級的工程,同樣需要耗費大量的人力及時間來編寫用例。該方案的軟件測試工具生成的用例能夠無縫應用于汽車電子行業,從而幫助測試人員快速達到語句、分支、MC/DC的代碼覆蓋率要求。
軌道交通應用場景
軌交信號系統是軌交控制的中樞,在軌交信號系統測試中,需要根據不同的SIL等級來進行相應的單元測試。傳統測試中,測試用例編寫依靠人力實現,一些對MC/DC覆蓋率有著嚴苛要求的軟件代碼測試,必然會耗費大量的人力及時間。使用該方案的軟件測試工具,可以極大地減少人力成本及時間成本。
在某控制系統研究所項目中,采用本方案開展單元測試,完成單元測試工程創建、用例設計、腳本生成、調試執行、覆蓋率分析與收集、測試結果報表生成、測試回歸與迭代、測試狀態與基線管控的全流程覆蓋等測試工作,為客戶的控制系統及電子控制器和控制軟件的研發、制造、集成,以及柔性聯軸器的研發、生產中軟件缺陷檢測提供了全方位的服務。方案的成功應用再次證明了飛騰CPU與銀河麒麟操作系統自主創新平臺的安全性與可靠性。
來 源 | 生態與技術服務中心、產品與社區發展中心
審 核 | 市場與政府事務部
收錄于合集 #解決方案
36
下一篇