SmartRocket TestGrid 作為一款支持靜態(tài)分析的測試工具,滿足根據(jù)國軍標8114標準對源碼進行質(zhì)量分析。通過使用 SmartRocket TestGrid,用戶一方面可以根據(jù)需求進行檢測模板的制定,然后依據(jù)該模板快速地對安全攸關的代碼進行代碼質(zhì)量審查;另一方面還可以通過知識中心,快速了解和查閱標準中每條缺陷的具體內(nèi)容。
功能頁面簡潔高效
缺陷展示頁面:支持缺陷按規(guī)范分類和按文件分類,能夠多維度查看缺陷結果。
缺陷結果頁面:頁面直接呈現(xiàn)分析結果,對于每條缺陷出現(xiàn)的具體位置都可定位,操作起來簡單明了。
SmartRocket TestGrid 作為?款支持單元測試的?具,可以自動生成滿足語句、分支、MC/DC準則的覆蓋率最高達100%的測試用例。通過使用SmartRocket TestGrid,用戶可以快速地對代碼進行單元級別的白盒測試、黑盒測試、回歸測試,從而進?步提升測試效率。目前工具不僅可以對C代碼進行單元測試,還可以對C/C++代碼進行單元測試。對于C++代碼中的模板類和模板函數(shù),支持對其特化,從而完成單元測試。
其他功能優(yōu)化
對于絕對地址的展示方式進行了優(yōu)化,用戶可以直接看到十六進制的絕對地址目標
對于MC/DC覆蓋率計算算法根據(jù)業(yè)內(nèi)普遍認可的方式進行了優(yōu)化
以及其他頁面和交互的優(yōu)化
fqj
-
嵌入式
+關注
關注
5088文章
19159瀏覽量
306506 -
單元測試
+關注
關注
0文章
42瀏覽量
3170
發(fā)布評論請先 登錄
相關推薦
評論