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