logo Parasoft 案例研究(二) 我也要发布文档

航空行业案例:英国QinetiQ使用Parasoft将问题减少了75%


QinetiQ Space N.V.是英国QinetiQ的比利时航天部门,该公司专门从事在航空航天,电力推进,微重力研究仪器,机器人系统,空间安全,太空探索,遥感和小型卫星系统等恶劣环境中部署的高可靠性产品的开发。



挑战:面临严酷的太空环境

QinetiQ Space管理从概念到在轨操作的高可靠性太空产品的开发。为了实现这一目标,电子和软件工程(ESE)部门的工程师致力于倾听,理解和响应客户的需求对于嵌入式软件开发,团队成员专门研究安全关键的软件应用程序,包括引导加载程序,低级设备驱动程序,通信协议,系统服务和实时应用程序软件。


为了管理在恶劣的空间环境中使用的大量软件以及部署的这些安全关键系统的复杂性,管理层确定了对质量控制工具的需求,以防止产品质量下降或客户满意度下降该组织选择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 C / C ++ test

如今,QinetiQ嵌入式软件团队主要使用Parasoft C / C ++ test来执行MISRA C / C ++静态代码分析,设计和执行软件单元测试,测量测试覆盖率,根据项目需求配置编码规则(即软件重要性)。 ),对源代码执行指标收集,并报告单元测试结果和测试覆盖率。
Parasoft C / C ++测试工具套件已在QinetiQ使用了多年,并已应用于嵌入式软件开发,范围从用于国际空间站的盒子大小的科学仪器到小型自主运行的卫星。Parasoft C / C ++ test工具套件易于集成并升级到QinetiQ的现有软件开发环境中。


结果:减少75%的问题

QinetiQ软件团队提供了高质量,可靠且“首次使用”的软件产品,这意味着该产品必须根据其规格在一个偏远的,有时是无法进入的空间环境中安全,可靠地运行。

在产品开发过程中应用了演化生命周期来实现这一目标,在后续项目审查里程碑中,将实现并展示产品质量的提高。 当卫星硬件位于启动器顶部时,必须准备好软件并进行验证。QinetiQ通过监视开发过程中的软件问题报告(SPR)的数量来衡量使用Parasoft C / C ++ test的价值。 自从将Parasoft C / C ++ test集成到他们的软件开发过程以来,他们发现在软件开发过程中发出的SPR大大减少了-降低了大约75%。


自我验证


Parasoft C / C ++ test的集成还使开发团队能够自我验证软件代码的质量。自我验证是一项重要资产,因为它隐式地利用了软件质量,同时由于进行了中间验证和发布周期后需要解决的错误较少,因此需要更少的开发时间。因此,QinetiQ的总体开发成本得以降低,并且部署后其产品中未发现任何缺陷,从而提高了产品质量。 (请注意,关键的软件开发要求严格的产品验证,因此“无缺陷”表示:100%的单元测试覆盖率,100%的需求验证覆盖率,通过故障注入进行的专用软件安全测试以及独立软件验证/验证(ISVV)。)

Parasoft C / C ++ test的集成还使产品保证经理能够获取客观的软件过程指标,这对于向QinetiQ的客户展示其软件产品的发展非常有用。这样可以建立客户信心,改善长期合作关系,并增强未来的业务实力。


以上就是Parasoft C / C ++ test在航天领域的实施案例,除了航天领域,parasoft还在金融、教育、医疗等等行业都有应用,您是否感兴趣呢?如果您有任何疑问或需求,请随时联系慧都客服,我们很高兴为您提供查询和咨询。

获取Parasoft资料或申请试用可加QQ:2867205852