測(cè)試現(xiàn)狀

如果說(shuō)軟件成為未來(lái)世界的基礎(chǔ)，那么軟件單元將是基礎(chǔ)中的基礎(chǔ)。若想開(kāi)發(fā)出高質(zhì)量的軟件，源代碼缺陷檢測(cè)不可或缺，但是人工進(jìn)行代碼缺陷檢測(cè)時(shí)，無(wú)法保證所有源碼都被檢測(cè)到且仍然存在較高風(fēng)險(xiǎn)。此外汽車(chē)電子領(lǐng)域等高安全領(lǐng)域，對(duì)單元測(cè)試有較高的行業(yè)標(biāo)準(zhǔn)，對(duì)集成測(cè)試有明確的需求，但是面對(duì)著測(cè)試人員手動(dòng)編寫(xiě)測(cè)試用例帶來(lái)的效率低、時(shí)間人力成本高等困境。同時(shí)，以IEC 61508為基礎(chǔ)的功能安全標(biāo)準(zhǔn)體系，對(duì)軟件的單元測(cè)試均有明確的技術(shù)要求。如，ISO 26262汽車(chē)電子功能安全標(biāo)準(zhǔn)第六部分明確提出，軟件單元測(cè)試要滿足語(yǔ)句、分支、MC/DC等測(cè)試覆蓋指標(biāo)。

產(chǎn)品概述

SmartRocket TestGrid支持靜態(tài)分析，滿足根據(jù)國(guó)軍標(biāo)、MISRA標(biāo)準(zhǔn)對(duì)源碼進(jìn)行質(zhì)量分析；支持C/C++語(yǔ)言的單元測(cè)試，采用人工智能算法，利用自動(dòng)推理與符號(hào)執(zhí)行技術(shù)，分析程序路徑，產(chǎn)生滿足覆蓋率的測(cè)試用例并在后臺(tái)自動(dòng)執(zhí)行，對(duì)于C代碼可以自動(dòng)生成覆蓋率高達(dá)100%的測(cè)試用例；支持不同程度的集成測(cè)試，用戶通過(guò)設(shè)置調(diào)用函數(shù)是否打樁，實(shí)現(xiàn)調(diào)用函數(shù)集成程度的自主控制。

產(chǎn)品功能

01 缺陷查看

可以自定義檢測(cè)模板，通過(guò)知識(shí)中心快速了解和查閱每條缺陷的具體內(nèi)容。缺陷結(jié)果按規(guī)范和文件兩種方式分類(lèi)，頁(yè)面直接呈現(xiàn)分析結(jié)果，每條缺陷出現(xiàn)的具體位置都可定位。

02 智能測(cè)試

全面覆蓋形參、全局變量、樁函數(shù)、樁函數(shù)形參等數(shù)據(jù)。支持語(yǔ)句、分支、MC/DC及邊界覆蓋準(zhǔn)則，能夠滿足IEC 61508-3:2010(工業(yè)通用)、EN 50128:2011(軌道交通)、ISO 26262-8:2018(汽車(chē)電子)等行業(yè)規(guī)范中的單元測(cè)試。自動(dòng)分析被測(cè)工程并基于先進(jìn)動(dòng)態(tài)符號(hào)執(zhí)行技術(shù)智能生成高覆蓋、低冗余的測(cè)試用例。

03 集成可控

支持部分集成和全部集成，可以自主設(shè)置調(diào)用函數(shù)是否打樁，充分實(shí)現(xiàn)不同情況下不同集成測(cè)試的需求。支持查看函數(shù)之間的調(diào)用關(guān)系，可以進(jìn)行圖形化的用例管理，滿足功能正確性測(cè)試和結(jié)構(gòu)化覆蓋率測(cè)試等要求。

04 信息匯總

支持每個(gè)項(xiàng)目當(dāng)前測(cè)試結(jié)果的概況查看。

05 報(bào)告生成

自動(dòng)生成靜態(tài)分析、單元測(cè)試和集成測(cè)試的報(bào)告。

特色優(yōu)勢(shì)

01 軟件智能測(cè)試一體化

支持根據(jù)編碼規(guī)范的要求自動(dòng)對(duì)代碼完成分析，檢測(cè)并定位代碼中的缺陷;支持針對(duì)覆蓋準(zhǔn)則自動(dòng)生成精簡(jiǎn)化的測(cè)試用例集，并在用例生成后自動(dòng)執(zhí)行，進(jìn)行預(yù)期值的比對(duì)和最終結(jié)果的輸出。

02 單元測(cè)試一鍵完成

單元測(cè)試時(shí)無(wú)需單獨(dú)投入專門(mén)的測(cè)試人員，開(kāi)發(fā)人員在編碼完成后一鍵即可進(jìn)行單元測(cè)試。支持自動(dòng)生成測(cè)試用例，在低冗余的同時(shí)滿足語(yǔ)句覆蓋、分支覆蓋和MD/DC覆蓋。

03 多角度多方位缺陷檢查

支持缺陷掃描和質(zhì)量審查，分析完成后，可以同時(shí)進(jìn)行缺陷查看和缺陷定位，能夠大幅度提升代碼健壯性。

04 服務(wù)定制、集成

支持定制化測(cè)試報(bào)告，根據(jù)模板自動(dòng)生成滿足要求的測(cè)試報(bào)告。支持持續(xù)集成CI方案，滿足代碼提交后自動(dòng)觸發(fā)測(cè)試驗(yàn)證工作。

成果應(yīng)用

已為嫦娥五號(hào)、C919大飛機(jī)、直-6直升機(jī)、上海地鐵17號(hào)線、Tier1廠商車(chē)門(mén)控制、ECU控制系統(tǒng)、造車(chē)新勢(shì)力自動(dòng)駕駛系統(tǒng)等重大工程提供支撐，測(cè)試航空航天、地鐵信號(hào)、汽車(chē)電子、核電控制及開(kāi)源軟件超過(guò)1000萬(wàn)行代碼。

01 航空航天

衛(wèi)星控制軟件是衛(wèi)星控制系統(tǒng)的核心，其功能復(fù)雜，單元測(cè)試覆蓋率要求高，手工測(cè)試用例編寫(xiě)成本大，且容易出錯(cuò)。TestGrid能夠自動(dòng)生成滿足語(yǔ)句覆蓋、分支覆蓋、MC/DC覆蓋的單元測(cè)試用例，并自動(dòng)進(jìn)行測(cè)試執(zhí)行，能夠提高軟件測(cè)試效率和軟件產(chǎn)品質(zhì)量。在某航天單位 15 萬(wàn)行代碼測(cè)試中，TestGrid獲得了超過(guò)90%的平均語(yǔ)句覆蓋率。

02 軌道交通

地鐵信號(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í)間。在某地鐵信號(hào)單位的20萬(wàn)行代碼測(cè)試中，TestGrid獲得了平均超過(guò)85%的語(yǔ)句覆蓋率，用例生成效果顯著。

03 汽車(chē)電子

汽車(chē)電子行業(yè)遵從ISO26262標(biāo)準(zhǔn)，對(duì)于需要達(dá)到ASIL-D安全等級(jí)的工程，同樣需要耗費(fèi)大量的人力及時(shí)間來(lái)編寫(xiě)用例。TestGrid生成的用例能夠無(wú)縫應(yīng)用于汽車(chē)電子行業(yè)，從而幫助測(cè)試人員快速達(dá)到語(yǔ)句/分支、MC/DC的代碼覆蓋率要求。在某汽車(chē)電子單位10萬(wàn)行代碼測(cè)試中，TestGrid獲得了超過(guò)85%的平均語(yǔ)句覆蓋率。

榮譽(yù)資質(zhì)

產(chǎn)品獲TüV南德頒發(fā)的功能安全證書(shū)

滿足IEC 61508-3:2010、EN 50128:2011、ISO 26262-8:2018標(biāo)準(zhǔn)

獲2019年上海市重點(diǎn)產(chǎn)品質(zhì)量攻關(guān)成果獎(jiǎng) 二等獎(jiǎng)

獲2019年網(wǎng)絡(luò)安全新技術(shù)新應(yīng)用創(chuàng)新產(chǎn)品評(píng)選 特等獎(jiǎng)

獲2020年中國(guó)網(wǎng)絡(luò)安全產(chǎn)業(yè)聯(lián)盟網(wǎng)絡(luò)安全創(chuàng)新產(chǎn)品 優(yōu)秀獎(jiǎng)

審核編輯 黃昊宇