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