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