企業(yè)解決方案不同行業(yè)、領(lǐng)域的功能安全標(biāo)準(zhǔn)在不同等級(jí)下對(duì)覆蓋率的要求稍有不同，如汽車領(lǐng)域的ISO-26262、工業(yè)領(lǐng)域的IEC-61508功能安全標(biāo)準(zhǔn)等，但是最高等級(jí)下都需要包含語句覆蓋率、分支覆蓋率和MC/DC覆蓋率。另外工業(yè)軟件測試傳統(tǒng)做法是主要通過人工手動(dòng)編寫測試用例，或通過隨機(jī)生成的方式進(jìn)行輔助。這種方式無法快速達(dá)到語句、分支及MC/DC覆蓋率的100%覆蓋，且耗時(shí)費(fèi)力。為提升測試效率、降低測試成本、保證測試質(zhì)量，打造可控的國產(chǎn)化工業(yè)軟件測試工具，飛騰信息攜手上?？匕布镑梓胲浖?，基于飛騰CPU平臺(tái)產(chǎn)品和麒麟操作系統(tǒng)，融合軟件代碼分析中的動(dòng)態(tài)符號(hào)執(zhí)行核心技術(shù)，聯(lián)合攻關(guān)實(shí)現(xiàn)工業(yè)嵌入式智能化測試軟件（即SmartRocket TestGrid）首次在國產(chǎn)基礎(chǔ)軟硬環(huán)境下的運(yùn)行，構(gòu)建出安全創(chuàng)新的工業(yè)嵌入式測試軟件聯(lián)合解決方案，賦能工業(yè)系統(tǒng)高可靠、高安全等級(jí)測試驗(yàn)證需求。
處理器：FT2000/4、D2000、S2500、FT2000+/64
操作系統(tǒng)：銀河麒麟高級(jí)服務(wù)器操作系統(tǒng)V10、銀河麒麟桌面操作系統(tǒng)V10版本
整機(jī)：基于飛騰ARM架構(gòu)芯片國產(chǎn)整機(jī)
工業(yè)軟件：SmartRocket TestGrid
全棧國產(chǎn)化方案：基于銀河麒麟操作系統(tǒng)和飛騰芯片的SmartRocket TestGrid一體化軟件測試平臺(tái)，為用戶提供符合工業(yè)軟件安全要求、自主創(chuàng)新的完整解決方案。
零測試代碼：用戶無需額外編寫任何測試驅(qū)動(dòng)代碼。工具自動(dòng)分析測試接口，并以表格的形式將數(shù)據(jù)展開，用戶在進(jìn)行用例修改和設(shè)計(jì)時(shí)，可以直接在表格中填寫。“一鍵測試”功能按鈕，自動(dòng)為被測函數(shù)進(jìn)行測試用例的生成與執(zhí)行，并收集覆蓋率。
安全認(rèn)證：測試軟件工具獲得TUV南德的功能安全認(rèn)證，工具、測試報(bào)告均符合功能安全標(biāo)準(zhǔn)要求，滿足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行業(yè)標(biāo)準(zhǔn)要求。
支持第三方集成：測試軟件工具支持Eclipse IDE、Jenkins等第三方集成。
靈活簡約的用戶體驗(yàn)：TestGrid工具的界面簡潔、操作簡單；采用B/S架構(gòu)，可以跨平臺(tái)使用。
該方案可適用以下行業(yè)領(lǐng)域：
1．汽車電子：汽車電子行業(yè)遵循ISO-26262標(biāo)準(zhǔn)，部分工程需要達(dá)到ASIL-D安全等級(jí)要求。
2．軌道交通：如軌交信號(hào)系統(tǒng)測試中，需要根據(jù)不同的SIL等級(jí)來進(jìn)行相應(yīng)的單元測試。使用該聯(lián)合方案的軟件測試工具，可以極大地減少人力成本及時(shí)間成本。
3．工業(yè)領(lǐng)域：在過程自動(dòng)化和工廠自動(dòng)化等領(lǐng)域，各種安全裝置和系統(tǒng)需要IEC-61508等標(biāo)準(zhǔn)的性能評(píng)估和要求。使用該聯(lián)合方案的軟件測試工具能夠自動(dòng)進(jìn)行工業(yè)軟件測試執(zhí)行，幫助工業(yè)系統(tǒng)完成風(fēng)險(xiǎn)評(píng)估、SIL等級(jí)評(píng)估和認(rèn)證、功能安全測試等服務(wù)。
案例名稱：某領(lǐng)域控制系統(tǒng)研究所測試項(xiàng)目
建設(shè)內(nèi)容：該研究所主要從事某領(lǐng)域控制系統(tǒng)及電子控制器/控制軟件的研發(fā)、制造、集成，以及柔性聯(lián)軸器的研發(fā)、生產(chǎn)和保障業(yè)務(wù)?；陧?xiàng)目需要，研究所采用SmartRocket TestGrid測試聯(lián)合解決方案用于項(xiàng)目開展單元測試，包括單元測試工程創(chuàng)建、用例設(shè)計(jì)、腳本生成、調(diào)試執(zhí)行、覆蓋率分析與收集、測試結(jié)果報(bào)表生成、測試回歸與迭代等。
案例價(jià)值：
1.滿足單元測試要求。無需編寫驅(qū)動(dòng)代碼即可實(shí)現(xiàn)高覆蓋率測試用例生成，一鍵執(zhí)行并收集覆蓋率，有效提高測試效率。解決測試人員效率低、投入大的行業(yè)共性難題。
2.SmartRocket TestGrid+銀河麒麟高級(jí)服務(wù)器操作系統(tǒng)V10+飛騰CPU提供的工業(yè)軟件智能測試解決方案，填補(bǔ)國內(nèi)嵌入式代碼單元測試工具技術(shù)空白，有效發(fā)現(xiàn)工業(yè)軟件設(shè)計(jì)缺陷，達(dá)到可信工業(yè)軟件的高質(zhì)量要求。
