产品概述

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.测试报告

自动生成静态分析、单元测试和集成测试的报告。

扫描下方二维码填写 试用申请表 

点击“阅读原文”了解详情