Loading
◆◆0

自动化测试系统Parasoft航空设备行业案例：减少75%的BUG

zhangli 2025-10-11 软件测试 13 views

MES生产管理系统

QinetiQ Space N.V.是总部位于英国的QinetiQ集团的比利时航天部门，专注于开发部署在恶劣太空环境中的高可靠性产品，包括航空电子设备、电力推进、微重力研究仪器、机器人系统、太空安全、太空探索、遥感和小型卫星系统。

>>点击获取Parasoft C/C++test试用

挑战

随着产品中软件使用量和复杂度的持续增长，QinetiQ的管理层认识到由软件缺陷引起的系统故障风险正在增加，并且需要在新功能实现阶段就能早期检测出非预期的副作用。该组织需要一种可靠的方法来管理其产品中的软件质量。

解决方案

QinetiQ Space管理着高可靠性航天产品的全生命周期开发，从概念到在轨运行。为了实现这一目标，电子和软件工程部门的工程师致力于倾听、理解和响应客户的需求。对于嵌入式软件开发，团队成员专门负责开发安全关键型软件应用程序，包括引导加载程序、底层设备驱动程序、通信协议、系统服务和实时应用软件。

为应对大量软件及其在恶劣太空环境中部署的复杂性，管理层认识到需要引入质量控制工具，以防止产品质量或客户满意度受损。QinetiQ最终选择Parasoft C/C++test来降低这些风险，其用途包括执行MISRA C/C++静态代码分析、设计与执行软件单元测试最佳实践，以及测量测试覆盖率。


为什么选择Parasoft？

在评估的众多工具中，Parasoft 的工具套件更为完善。由于 C/C++test将所有必需功能集成到一个应用程序中（无需使用其他工具），QinetiQ软件开发团队只需使用一个用户界面即可受益，仅需几次点击即可导航至已识别的问题。同样重要的是，Parasoft能够支持团队根据其组织特定的软件质量要求来适配编码规则。

QinetiQ还必须满足欧洲ECSS-E-ST-40C、ECSS-Q-ST-80C和 EN 9100软件工程和质量标准中定义的严格要求，Parasoft C/C++test不仅能够支持这些要求，同时展示了最具吸引力的软件质量控制功能与成本比。此外，Parasoft套件已经被安全关键型软件开发社区广泛接受，这也为他们的选择提供了进一步的理由。

结果

持续使用Parasoft C/C++test

如今，QinetiQ嵌入式软件团队使用Parasoft C/C++test来：

  • 执行MISRA C/C++静态代码分析。
  • 设计和执行软件单元测试。
  • 测量测试覆盖率。
  • 根据项目需求（如软件关键性）配置编码规则。
  • 对源代码执行指标收集。
  • 报告单元测试结果和测试覆盖率。

QinetiQ使用Parasoft C/C++test工具套件进行嵌入式软件开发，从国际空间站的箱式科学仪器到小型自主运行卫星。他们轻松地将Parasoft C/C++test工具套件集成并升级到现有的软件开发环境中。

软件问题报告减少 75%

QinetiQ软件团队致力于交付高质量、可靠且“一次成功”的软件产品，这意味着产品必须根据其规格说明，在遥远且有时难以访问的太空环境中安全、稳健且正确地运行。为实现这一目标，在产品开发过程中采用了演进式生命周期，在连续的项目审查里程碑处，产品的质量将逐步提高并得到验证。待到卫星硬件置于运载火箭顶端之时，软件必须已准备就绪并通过验证。

QinetiQ通过监控开发过程中的软件问题报告数量来衡量使用 Parasoft C/C++test的价值。自从将Parasoft C/C++test集成到软件开发流程以来，他们观察到在软件开发期间发布的SPR数量显著减少——大约减少了 75%。

自我验证能力

Parasoft C/C++test的集成还使开发团队能够自我验证软件代码的质量。自我验证是一项重要的资产，因为它能持续提升软件质量，同时，由于中间验证和发布周期后需要修复的缺陷减少，所需的开发时间也随之缩短。因此，QinetiQ的整体开发成本降低，并且在产品部署后未观察到任何缺陷，从而提高产品质量

Parasoft C/C++test作为全面的代码质量保障平台，通过集成静态分析、单元测试和覆盖率分析等功能，为QinetiQ构建了完整的软件开发质量防护体系。不仅帮助团队减少了75%的软件问题，更是通过自动化质量检查持续提升代码可靠性。

关于慧都

慧都是一家行业数字化解决方案公司，专注于软件、石油与工业领域，以深入的业务理解和行业经验，帮助企业实现智能化转型与持续竞争优势。在软件工程领域，我们提供开发控件、研发管理、代码开发、部署运维等软件开发全链路所需的产品，提供正版授权采购、技术选型、个性化维保等服务，帮助客户实现技术合规、降本增效与风险可控。

慧都科技作为Parasoft公司在中国区的官方授权合作伙伴，为国内企业提供Parasoft C/C++test产品的正版授权、定制化部署与全生命周期技术支持与服务。我们致力于助力客户精准贯彻功能安全标准、全面提升软件开发效率、有效管控项目风险，最终构建符合国际标准的高质量软件体系。