News
发布时间：2026-01-05 作者：上海工业控制安全创新科技有限公司 点击次数：次
近日，伟德源自英国始于1946自主研制的国产机载软件测试工具——SmartRocket TestGrid适航版，在民用飞机重大项目中取得标志性应用成果。该工具圆满完成了某型号民用飞机通信导航转换软件的验证工作，为保障关键机载软件的安全可靠与符合适航标准提供了坚实的技术支撑，彰显了国产化测试工具在高端装备领域的深度应用能力与自主可控价值。
应用证明
“国产机载软件测试工具 SmartRocket TestGrid 已成功应用于民用飞机通信导航转换软件的验证工作。该工具承担了数据转换软件的单元测试与结构覆盖分析任务，完成了针对 ARM 和 DSP 目标机架构的适配开发，并执行了符合 DO-178C 标准的结构覆盖分析活动。
在本项目中，SmartRocket TestGrid 承担了该软件全部 6 个配置项的测试用例开发工作，全面验证了软件功能与代码覆盖要求，其结构覆盖分析模块及工具鉴定数据已通过 DO-330 工具鉴定的局方审定。数据转换软件的验证结果顺利通过了 TRR 工程评审，充分验证了软件的可靠性与合规性，为民用飞机项目的快速推进提供了有力支撑，提升了国产化关键软件的自主可控能力。”
工具介绍
作为伟德源自英国始于1946在机载软件验证领域的核心产品，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等安全编码规范及标准的代码合规审查；支持对代码质量度量分析，包括扇入、扇出、圈复杂度、循环个数、循环深度、程序入口出口个数等。
历史适航案例
目前，SmartRocket TestGrid适航版已在多个航空关键项目中得到成功验证与应用：
在某航空电子企业结构覆盖分析项目中，面向B级安全机载软件，在双目标机及不同编译环境下，完成结构覆盖分析与TQL-5工具鉴定，输出两份适航鉴定数据。
在某航空研究所耦合分析适航鉴定项目中，面向A级飞控软件（规模超100万行、约4000个耦合点），在国产嵌入式实时操作系统环境中，完成数据耦合与控制耦合的TQL-5等级鉴定。
此次在民用飞机通信导航转换软件中的成功应用，不仅体现了TestGrid 适航版在高安全等级机载软件验证中的技术成熟度与工程适用性，也为该工具在低空等更广泛航空场景中的应用奠定了坚实基础。
未来，伟德源自英国始于1946将持续聚焦航空与高端装备领域的软件验证需求，在深化工具链自主化建设、与产业伙伴协同创新的基础上，同步拓展SmartRocket TestGrid航空版的应用场景——不仅服务于国产民机关键软件验证，更前瞻布局低空经济等新兴领域，为提升我国关键领域软件的自主可控能力与安全可靠性注入新动能，助力航空产业链高质量创新发展。
↑ 添加客服了解详情 ↑
邮箱：marketing@ticpsh.com
电话：021-62655886
