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：

• 加快开发时间。

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

• 符合编码标准。