上海控安SmartRocket TestGrid适航版-机载软件一体化测试与验证平台适用于机载软件C语言代码的静态分析、耦合分析、结构覆盖分析。支持MISRA、GJB 8114等编码标准的代码合规审查，支持代码质量度量及运行时缺陷检测；支持最高DAL A级软件的结构化测试覆盖要求，包括MC/DC覆盖测试等；同时支持目标机适配与测试。具备全套适航工具鉴定数据包，符合DO-178B/C标准和DO-330（TQL-5）的工具鉴定要求，为用户提供从工具合规到适航取证的全流程保障。
客户试用申请
平台提供面向目标机与宿主机的结构覆盖分析及报告生成能力，全面满足最高DAL A级机载软件的测试覆盖要求，可实现语句、判定、MC/DC覆盖等测试目标。平台同时支持高层需求与低层需求在目标机环境下的结构覆盖分析结果合并，并具备针对目标机的灵活适配功能。
平台支持自动或手动划分组件，允许用户灵活设定耦合分析组件范围，支持定义数据耦合点和控制耦合点，基于组件与组件之间的动态数据耦合和控制耦合分析测试并统计耦合覆盖率。满足最高DAL A级机载软件的耦合分析要求。
平台支持基于MISRAC-2012、MISRAC-2004、GJB8114-2013、GJB5369-2005等安全编码规范及标准的代码合规审查；支持对代码质量度量分析，包括扇入、扇出、圈复杂度、循环个数、循环深度、程序入口出口个数等。
平台提供静态分析、耦合分析和结构覆盖分析的全套适航工具鉴定数据包以及适航鉴定服务，严格遵循DO-178B/C与DO-330（TQL-5）标准，旨在帮助用户高效完成工具鉴定流程，确保测试结果符合适航审查要求，显著降低认证周期与合规风险。
提供符合 DO-178B/C、DO-330（TQL-5）标准的全套工具鉴定数据包，覆盖静态分析、耦合分析、结构覆盖分析等功能模块，支持用户高效完成适航符合性验证，显著降低认证周期与对外依赖。
集成静态分析、单元测试、集成测试、目标机测试于同一平台中，支持从需求追踪、代码开发到测试验证的全生命周期闭环管理，实现测试过程自动化与团队协同。
支持 Windows、Linux 及麒麟系统，可便捷集成至 Jenkins 等持续集成工具、主流 DevOps 与项目管理平台，并支持与适航符合性管理平台对接，全面适应从开发到认证的多样化工程环境。
实现从核心技术到工具链的全面自主可控，兼容麒麟、鲲鹏等国产操作系统及架构，并通过相关自主可控认证，保障航空等领域供应链安全与信息自主。
采用 B/S 架构，界面直观、上手快速，学习成本低，支持跨平台使用，对客户端配置要求低，提供灵活便捷的部署方案，显著提升团队工作效率与使用体验。
