SmartRocket TestGrid支持C和C++語言,能夠同時進行靜態分析、單元測試和集成測試,支持不同等級的結構化覆蓋測試要求,支持目標機的適配與測試。
靜態分析支持根據國軍標、MISRA等標準對源碼進行代碼合規性檢查;單元測試利用動態符號執行技術,自動生成覆蓋率高達100%,滿足語句、分支、MC/DC覆蓋準則的測試用例;集成測試支持調用函數集成程度的自主控制。
客戶試用申請支持GJB8114、GJB5369、MISRAC2004、MISRAC2012、MISRAC++2008、TJ_DW230-2020-C等規則集對源代碼的合規性檢查,可以自定義檢測模板,通過知識中心快速了解和查閱每條缺陷的具體內容。缺陷結果按規范和文件兩種方式分類,頁面直接呈現分析結果,每條缺陷出現的具體位置都可定位。
全面覆蓋形參、全局變量、樁函數、樁函數形參等數據。支持語句、分支、MC/DC覆蓋準則,能夠滿足IEC61508-3:2010(工業通用)、EN50128:2011(軌道交通)、ISO26262-8:2018(汽車電子)等行業規范中的單元測試。自動分析被測的C/C++工程并基于動態符號執行技術自動生成高覆蓋、低冗余的測試用例。
支持部分集成和全部集成,可以自主設置調用函數是否打樁,充分實現不同情況下不同集成測試的需求。支持查看函數之間的調用關系,可以進行圖形化的用例管理,滿足功能正確性測試和結構化覆蓋率測試等要求。
可以根據項目的真實環境進行適配,已支持STM32(或GD32,CH32,APM32等類似級別的ARM Cortex M或RISC-V單片機)、TI的C2000系列DSP。
單元測試時無需單獨投入專門的測試人員,開發人員在編碼完成后一鍵即可進行單元測試。支持基于代碼自動生成高覆蓋率和低冗余的結構覆蓋用例,滿足語句覆蓋、分支覆蓋和MC/DC覆蓋,通常覆蓋率可達80%~90%以上。
通過SmartRocket TestGrid一款工具,即可輕松完成靜態分析、單元測試、集成測試。自動化整個測試過程,開發人員和測試人員可以共同使用。
工具界面簡潔,操作簡單,可以快速上手,學習成本低,具備優秀的用戶體驗。工具采用B/S架構,可以跨平臺使用,對客戶端的計算機電腦配置要求較低,使用場景更加方便靈活。
工具支持Windows、Linux和麒麟系統。可以方便的與大部分現有的基于網絡的軟件開發管理平臺或者DevOps工具進行集成,支持集成到Jenkins持續集成的任務系統和其他三方軟件開發管理平臺中。
衛星控制軟件是衛星控制系統的核心,其功能復雜,單元測試覆蓋率要求高,手工測試用例編寫成本大,且容易出錯。使用SmartRocket TestGrid能夠自動生成滿足語句覆蓋、分支覆蓋、MC/DC覆蓋的單元測試用例,并自動進行測試執行,能夠提高軟件測試效率和軟件產品質量。在某航天單位 15 萬行代碼測試中,SmartRocket TestGrid獲得了超過90%的平均語句覆蓋率。
地鐵信號系統是地鐵控制的中樞,在地鐵信號系統測試中,需要根據不同的SIL等級來進行相應的單元測試。傳統測試中,測試用例編寫依靠人力實現,對于MC/DC覆蓋率有嚴苛要求的軟件代碼測試,必然會耗費大量的人力及時間。使用SmartRocket TestGrid工具能夠解決該問題,可大大減少人力成本及時間成本。在某地鐵信號單位的20萬行代碼測試中,SmartRocket TestGrid獲得了平均超過85%的語句覆蓋率,用例生成效果顯著。
汽車電子行業遵從ISO26262標準,對于需要達到ASIL-D安全等級的工程,同樣需要耗費大量的人力及時間來編寫用例。 SmartRocket TestGrid生成的用例能夠無縫應用于汽車電子行業,從而幫助測試人員快速達到語句/分支、MC/DC的代碼覆蓋率要求。在某汽車電子單位10萬行代碼測試中,SmartRocket TestGrid獲得了超過85%的平均語句覆蓋率。