SmartRocket TestGrid 作為一款支持靜態(tài)分析的測試工具,滿足根據(jù)國軍標(biāo)8114標(biāo)準(zhǔn)對源碼進行質(zhì)量分析。通過使用 SmartRocket TestGrid,用戶一方面可以根據(jù)需求進行檢測模板的制定,然后依據(jù)該模板快速地對安全攸關(guān)的代碼進行代碼質(zhì)量審查;另一方面還可以通過知識中心,快速了解和查閱標(biāo)準(zhǔn)中每條缺陷的具體內(nèi)容。
功能頁面簡潔高效
缺陷展示頁面:支持缺陷按規(guī)范分類和按文件分類,能夠多維度查看缺陷結(jié)果。
缺陷結(jié)果頁面:頁面直接呈現(xiàn)分析結(jié)果,對于每條缺陷出現(xiàn)的具體位置都可定位,操作起來簡單明了。
支持C/C++語言智能化單元測試
SmartRocket TestGrid 作為?款支持單元測試的?具,可以自動生成滿足語句、分支、MC/DC準(zhǔn)則的覆蓋率最高達100%的測試用例。通過使用SmartRocket TestGrid,用戶可以快速地對代碼進行單元級別的白盒測試、黑盒測試、回歸測試,從而進?步提升測試效率。目前工具不僅可以對C代碼進行單元測試,還可以對C/C++代碼進行單元測試。對于C++代碼中的模板類和模板函數(shù),支持對其特化,從而完成單元測試。
其他功能優(yōu)化
對于絕對地址的展示方式進行了優(yōu)化,用戶可以直接看到十六進制的絕對地址目標(biāo)
對于MC/DC覆蓋率計算算法根據(jù)業(yè)內(nèi)普遍認(rèn)可的方式進行了優(yōu)化
以及其他頁面和交互的優(yōu)化
fqj
-
嵌入式
+關(guān)注
關(guān)注
5203文章
20549瀏覽量
335762 -
單元測試
+關(guān)注
關(guān)注
0文章
55瀏覽量
3524
發(fā)布評論請先 登錄
半導(dǎo)體嵌入式單元測試的核心技術(shù)、工具選型與落地全流程
Parasoft C/C++test:嵌入式安全關(guān)鍵行業(yè)的一體化軟件測試解決方案
什么是嵌入式應(yīng)用開發(fā)?
嵌入式軟件測試找bug的常見方法和秘訣
嵌入式軟件單元測試中AI自動化與人工檢查的協(xié)同機制研究:基于專業(yè)工具的實證分析
C語言單元測試在嵌入式軟件開發(fā)中的作用及專業(yè)工具的應(yīng)用
嵌入式開發(fā)工具版本的選擇策略
嵌入式C/C++回歸測試四大最佳實踐(附自動化測試工具TESSY使用教程)
IAR邀您相約2025上海國際嵌入式會議
嵌入式軟件測試與專業(yè)測試工具的必要性深度解析
入行嵌入式應(yīng)該怎么準(zhǔn)備?
調(diào)試工具:Eclipse調(diào)試工具欄與窗口的深入分析
RT-Trace調(diào)試工具正式發(fā)布!
【新品發(fā)布】嵌入式人工智能實驗箱EDU-AIoT ELF 2正式發(fā)布
ETAS全新的嵌入式AI解決方案
上??匕残掳媲度胧街悄芑瘻y試工具已正式發(fā)布
評論