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

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

挑战

随着产品中软件使用量和复杂度的持续增长，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%的软件问题，更是通过自动化质量检查持续提升代码可靠性。