上海控安SmartRocket系列宣介（一）：嵌入式軟體智慧化測試工具

測試現狀

如果說軟體成為未來世界的基礎，那麼軟體單元將是基礎中的基礎。若想開發出高質量的軟體，原始碼缺陷檢測不可或缺，但是人工進行程式碼缺陷檢測時，無法保證所有原始碼都被檢測到且仍然存在較高風險。此外汽車電子領域等高安全領域，對單元測試有較高的行業標準，對整合測試有明確的需求，但是面對著測試人員手動編寫測試用例帶來的效率低、時間人力成本高等困境。同時，以IEC 61508為基礎的功能安全標準體系，對軟體的單元測試均有明確的技術要求。如，ISO 26262汽車電子功能安全標準第六部分明確提出，軟體單元測試要滿足語句、分支、MC/DC等測試覆蓋指標。

產品概述

SmartRocket TestGrid支援靜態分析，滿足根據國軍標、MISRA標準對原始碼進行質量分析；支援C/C++語言的單元測試，採用人工智慧演算法，利用自動推理與符號執行技術，分析程式路徑，產生滿足覆蓋率的測試用例並在後臺自動執行，對於C程式碼可以自動生成覆蓋率高達100%的測試用例；支援不同程度的整合測試，使用者透過設定呼叫函式是否打樁，實現呼叫函式整合程度的自主控制。

產品功能

01 缺陷檢視

可以自定義檢測模板，透過知識中心快速瞭解和查閱每條缺陷的具體內容。缺陷結果按規範和檔案兩種方式分類，頁面直接呈現分析結果，每條缺陷出現的具體位置都可定位。

02 智慧測試

全面覆蓋形參、全域性變數、樁函式、樁函式形參等資料。支援語句、分支、MC/DC及邊界覆蓋準則，能夠滿足IEC 61508-3：2010（工業通用）、EN 50128：2011（軌道交通）、ISO 26262-8：2018（汽車電子）等行業規範中的單元測試。自動分析被測工程並基於先進動態符號執行技術智慧生成高覆蓋、低冗餘的測試用例。

03 整合可控

支援部分整合和全部整合，可以自主設定呼叫函式是否打樁，充分實現不同情況下不同整合測試的需求。支援檢視函式之間的呼叫關係，可以進行圖形化的用例管理，滿足功能正確性測試和結構化覆蓋率測試等要求。

04 資訊彙總

支援每個專案當前測試結果的概況檢視。

05 報告生成

自動生成靜態分析、單元測試和整合測試的報告。

特色優勢

01 軟體智慧測試一體化

支援根據編碼規範的要求自動對程式碼完成分析，檢測並定位程式碼中的缺陷；支援針對覆蓋準則自動生成精簡化的測試用例集，並在用例生成後自動執行，進行預期值的比對和最終結果的輸出。

02 單元測試一鍵完成

單元測試時無需單獨投入專門的測試人員，開發人員在編碼完成後一鍵即可進行單元測試。支援自動生成測試用例，在低冗餘的同時滿足語句覆蓋、分支覆蓋和MD/DC覆蓋。

03 多角度多方位缺陷檢查

支援缺陷掃描和質量審查，分析完成後，可以同時進行缺陷檢視和缺陷定位，能夠大幅度提升程式碼健壯性。

04 服務定製、整合

支援定製化測試報告，根據模板自動生成滿足要求的測試報告。支援持續整合CI方案，滿足程式碼提交後自動觸發測試驗證工作。

成果應用

已為嫦娥五號、C919大飛機、直-6直升機、上海地鐵17號線、Tier1廠商車門控制、ECU控制系統、造車新勢力自動駕駛系統等重大工程提供支撐，測試航空航天、地鐵訊號、汽車電子、核電控制及開源軟體超過1000萬行程式碼。

01 航空航天

衛星控制軟體是衛星控制系統的核心，其功能複雜，單元測試覆蓋率要求高，手工測試用例編寫成本大，且容易出錯。TestGrid能夠自動生成滿足語句覆蓋、分支覆蓋、MC/DC覆蓋的單元測試用例，並自動進行測試執行，能夠提高軟體測試效率和軟體產品質量。在某航天單位 15 萬行程式碼測試中，TestGrid獲得了超過90%的平均語句覆蓋率。

02 軌道交通

地鐵訊號系統是地鐵控制的中樞，在地鐵訊號系統測試中，需要根據不同的SIL等級來進行相應的單元測試。傳統測試中，測試用例編寫依靠人力實現，對於MC/DC覆蓋率有嚴苛要求的軟體程式碼測試，必然會耗費大量的人力及時間。在某地鐵訊號單位的20萬行程式碼測試中，TestGrid獲得了平均超過85%的語句覆蓋率，用例生成效果顯著。

03 汽車電子

汽車電子行業遵從ISO26262標準，對於需要達到ASIL-D安全等級的工程，同樣需要耗費大量的人力及時間來編寫用例。TestGrid生成的用例能夠無縫應用於汽車電子行業，從而幫助測試人員快速達到語句/分支、MC/DC的程式碼覆蓋率要求。在某汽車電子單位10萬行程式碼測試中，TestGrid獲得了超過85%的平均語句覆蓋率。

榮譽資質

產品獲TV南德頒發的功能安全證書

滿足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018標準

獲2019年上海市重點產品質量攻關成果獎 二等獎

獲2019年網路安全新技術新應用創新產品評選 特等獎

獲2020年中國網路安全產業聯盟網路安全創新產品 優秀獎

如需

試用

或瞭解更多

產品詳情

歡迎諮詢

電話：+86 13482248857