上海控安:新版嵌入式智能化測試工具發布,同時具備單元測試和靜態分析功能
發布時間:2021-04-28
作者:上海工業控制安全創新科技有限公司
點擊次數:次
SmartRocket TestGrid 作為一款支持靜態分析的測試工具,滿足根據國軍標8114標準對源碼進行質量分析。通過使用 SmartRocket TestGrid,用戶一方面可以根據需求進行檢測模板的制定,然后依據該模板快速地對安全攸關的代碼進行代碼質量審查;另一方面還可以通過知識中心,快速了解和查閱標準中每條缺陷的具體內容。
SmartRocket TestGrid 作為?款支持單元測試的?具,可以自動生成滿足語句、分支、MC/DC準則的覆蓋率最高達100%的測試用例。通過使用SmartRocket TestGrid,用戶可以快速地對代碼進行單元級別的白盒測試、黑盒測試、回歸測試,從而進?步提升測試效率。
目前工具不僅可以對C代碼進行單元測試,還可以對C/C++代碼進行單元測試。對于C++代碼中的模板類和模板函數,支持對其特化,從而完成單元測試。
歡迎咨詢試用:Marketing@ticpsh.com