・龙智ALM方案      ・Perforce      ・Atlassian      ・JetBrains      ・IC-Manage

Selex ES如何确保手动和自动编程的质量

Selex ES是Finmeccanica集团的一部分,是航空航天和国防工业中电子和信息技术的领导者。 他们的产品包括导航和通信系统。Selex需要在他们的系统中拥有可靠的代码,他们使用Helix QAC实现C和C ++ 。

Helix QAC 帮助 Selex......

  • 提高代码质量

  • 缩短开发时间

  • 为他们的工作流程增加效率

非常有效...

Selex ES软件工程主管Ian Anderson 说:“为了实现 C和C ++,我们的开发团队广泛采用了Helix QAC ,并证明它非常有效。”

为什么Selex需要可靠的代码

Selex是为航空航天和国防工业开发系统,质量至关重要, 他们的代码必须可靠。

使用编码标准是可靠代码的关键。 Selex选择实施MISRA规则的子集,其中包含一些公司特定的扩展。 虽然MISRA是专为汽车行业设计的,但其规则集使其成为航空航天和国防的理想选择。

Selex开始寻找这样的工具:

  • 识别缺陷和危险的语言用法。

  • 确保MISRA合规。

  • 尽量减少误报 。

  • 强制执行样式(例如,命名约定和物理布局)。

  • 通过“幻影检查”提高可见度。

  • 帮助开发者采用最佳实践 。

  • 报告代码质量指标。

他们在Helix QAC上找到了它。

使用Helix QAC的一致且可靠的代码

Helix QAC帮助Selex更快地提供一致,可靠的代码。 他们不再依赖于手动代码审查或者审阅者的知识和能力。

他们的代码质量得到了显著提高。 因为代码开始时质量更高,所以现在动态测试更快更容易。

Selex开始在C语言的手写代码上使用Helix QAC,他们也已将Helix QAC扩展为C ++自动编程。

自动编程也符合

Selex ES的一项关键战略计划是增加基于IBM Rational Rhapsody的模型驱动设计(MDD)的采用。 作为其中的一部分,他们希望在不同项目中重用自动生成的代码。

首先,他们进行了手动代码检查以验证自动生成代码的质量。 但是手动代码检查耗时,不一致且资源密集。

添加Helix QAC也帮助他们确保自动生成代码的一致质量。

Selex ES软件工程主管Ian Anderson 说:“推出Rhapsody和自动生成的代码是Selex ES的关键战略计划。Helix QAC提供了一种有效的方法来验证自动生成代码的质量。”

这个怎么运作

Selex在Rhapsody中创建模型。 通过集成他们可以在Rhapsody中运行分析。 这将使用生成的C ++文件创建Helix QAC项目。 Helix QAC自动启动并加载项目以进行分析,然后开发人员可以选择要分析的文件。

Selex对其自动生成的C ++代码进行与其手动C代码相同的深入诊断。

加快发展可靠的代码。

通过使用Helix QAC,Selex:

  • 加快开发时间。

  • 确保一致,可靠的代码。

  • 符合编码标准。