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