不同行業、領域的功能安全標準在不同等級下對覆蓋率的要求稍有不同，如汽車領域的ISO-26262、工業領域的IEC-61508功能安全標準等，但是最高等級下都需要包含語句覆蓋率、分支覆蓋率和MC/DC覆蓋率。另外工業軟件測試傳統做法是主要通過人工手動編寫測試用例，或通過隨機生成的方式進行輔助。這種方式無法快速達到語句、分支及MC/DC覆蓋率的100%覆蓋，且耗時費力。為提升測試效率、降低測試成本、保證測試質量，打造可控的國產化工業軟件測試工具，飛騰信息攜手上海控安及麒麟軟件，基于飛騰CPU平臺產品和麒麟操作系統，融合軟件代碼分析中的動態符號執行核心技術，聯合攻關實現工業嵌入式智能化測試軟件（即SmartRocket TestGrid）首次在國產基礎軟硬環境下的運行，構建出安全創新的工業嵌入式測試軟件聯合解決方案，賦能工業系統高可靠、高安全等級測試驗證需求。

• 處理器：FT2000/4、D2000、S2500、FT2000+/64

• 操作系統：銀河麒麟高級服務器操作系統V10、銀河麒麟桌面操作系統V10版本

• 整機：基于飛騰ARM架構芯片國產整機

• 工業軟件：SmartRocket TestGrid

• 全棧國產化方案：基于銀河麒麟操作系統和飛騰芯片的SmartRocket TestGrid一體化軟件測試平臺，為用戶提供符合工業軟件安全要求、自主創新的完整解決方案。

• 零測試代碼：用戶無需額外編寫任何測試驅動代碼。工具自動分析測試接口，并以表格的形式將數據展開，用戶在進行用例修改和設計時，可以直接在表格中填寫。“一鍵測試”功能按鈕，自動為被測函數進行測試用例的生成與執行，并收集覆蓋率。

• 安全認證：測試軟件工具獲得TUV南德的功能安全認證，工具、測試報告均符合功能安全標準要求，滿足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018等行業標準要求。

• 支持第三方集成：測試軟件工具支持Eclipse IDE、Jenkins等第三方集成。

• 靈活簡約的用戶體驗：TestGrid工具的界面簡潔、操作簡單；采用B/S架構，可以跨平臺使用。

該方案可適用以下行業領域：

1．汽車電子：汽車電子行業遵循ISO-26262標準，部分工程需要達到ASIL-D安全等級要求。

2．軌道交通：如軌交信號系統測試中，需要根據不同的SIL等級來進行相應的單元測試。使用該聯合方案的軟件測試工具，可以極大地減少人力成本及時間成本。

3．工業領域：在過程自動化和工廠自動化等領域，各種安全裝置和系統需要IEC-61508等標準的性能評估和要求。使用該聯合方案的軟件測試工具能夠自動進行工業軟件測試執行，幫助工業系統完成風險評估、SIL等級評估和認證、功能安全測試等服務。

案例名稱：某領域控制系統研究所測試項目

建設內容：該研究所主要從事某領域控制系統及電子控制器/控制軟件的研發、制造、集成，以及柔性聯軸器的研發、生產和保障業務。基于項目需要，研究所采用SmartRocket TestGrid測試聯合解決方案用于項目開展單元測試，包括單元測試工程創建、用例設計、腳本生成、調試執行、覆蓋率分析與收集、測試結果報表生成、測試回歸與迭代等。

案例價值：

1.滿足單元測試要求。無需編寫驅動代碼即可實現高覆蓋率測試用例生成，一鍵執行并收集覆蓋率，有效提高測試效率。解決測試人員效率低、投入大的行業共性難題。

2.SmartRocket TestGrid+銀河麒麟高級服務器操作系統V10+飛騰CPU提供的工業軟件智能測試解決方案，填補國內嵌入式代碼單元測試工具技術空白，有效發現工業軟件設計缺陷，達到可信工業軟件的高質量要求。