產品概述

SmartRocket TestGrid高可信嵌入式系統代碼自動化測試與檢測工具套件，支持國軍標、MISRA的靜態分析、C/C++語言的單元測試和集成測試。該工具按功能劃分，可以在機載軟件項目中作為軟件靜態分析工具和軟件測試結構覆蓋率分析工具。具有全套工具鑒定數據包，符合DO-178B、DO-178C、DO-330的工具鑒定要求，可以為適航保駕，解決用戶的后顧之憂。

提供全套工具適航鑒定數據包

• TestGrid工具鑒定計劃

• TestGrid工具操作需求

• TestGrid工具操作需求測試用例

• TestGrid工具操作需求測試規程

• TestGrid工具操作驗證報告

• TestGrid工具安裝報告

• 追蹤矩陣

• TestGrid工具完成總結

• TestGrid工具配置索引

適航認證

完全符合DO-178B、DO-178C驗證工具鑒定

完全符合DO-330、TQL-5工具鑒定

1.鑒定功能

TestGrid靜態分析功能

TestGrid結構覆蓋分析功能

2.鑒定數據

完整工具鑒定數據包

3.鑒定支持

工具使用方工具鑒定支持服務

產品功能

1.缺陷查看

可以自定義檢測模板，可以通過知識中心快速了解和查閱每條缺陷的具體內容。缺陷結果按規范和文件兩種方式分類，頁面直接呈現分析結果，每條缺陷出現的具體位置都可定位。

2.智能生成

全面覆蓋形參、全局變量、樁函數、樁函數形參等數據。支持語句、分支、MC/DC及邊界覆蓋準則，能夠滿足多個高安全領域行業規范中的單元測試。自動分析被測工程并基于先進動態符號執行技術智能生成高覆蓋、低冗余的測試用例。

3.集成可控

支持部分集成和全部集成，可以自主設置調用函數是否打樁，充分實現不同情況下不同集成測試的需求。支持查看函數之間的調用關系，可以進行圖形化的用例管理，滿足功能正確性測試和結構化覆蓋率測試等要求。

4.匯總信息

支持每個項目當前測試結果的概況查看。

5.測試報告

自動生成靜態分析、單元測試和集成測試的報告。

掃描下方二維碼填寫 試用申請表 

點擊“閱讀原文”了解詳情