军工行业案例：Thales利用静态分析提升软件效率和质量

---

Thales Italia拥有面向民用和军事市场的可靠产品和技术组合。他们提供针对安全和运输行业的技术解决方案（具有铁路信号传输和关键基础设施的保护/监视方面的专业知识）；在国防部门（具有军事通信和战争电子专业知识）；以及空中交通管理领域（具有着陆、导航和监视系统方面的专业知识）。

通过将Parasoft的开发测试平台应用于其集成电车轨道管理解决方案项目，然后将其部署到整个自动车辆定位系统部门，Thales Italia减少了30％的缺陷组件率，并显着提高了应用程序性能。

在关键任务软件中提高生产力和质量

Thales是面向航空、航天、国防、安全和运输行业的新技术的全球领导者。Thales为其集成电车轨道管理解决方案项目部署了Parasoft的Java开发测试。Parasoft在帮助Thales实现Java软件质量目标方面非常有效，以至于该公司最终在整个自动车辆定位系统（AVLS）系统部门中标准化了开发测试平台。结果，现在可以更快地检测到软件缺陷，从而在至关重要的行业中提高生产率和质量。

Thales多年来一直致力于Parasoft。除使用Parasoft标准化静态分析外，该部门还使用它来验证和优化其应用程序的数据库连接。最近，Thales开始针对其SOA环境探索Parasoft的开发测试解决方案。

最初，Thales吸引了整个团队或部门中配置、部署和管理标准化规则集的简便性。该公司很快开始欣赏Parasoft的其他品质，包括：

• 多合一开发测试功能
• 能够扩展配置其独特的编码标准的能力，从而无需进行人工审核
• 易于项目设置
• 无缝集成到他们的开发测试环境中
• 使用数据流分析进行运行时错误检测
• Parasoft技术团队的及时支持

Parasoft为AVLS系统部门提供了在国外有效和一致地应用一套补充性缺陷预防措施的能力，该功能通过帮助开发人员在整个代码泛滥之前解决错误，大大提高了生产率。架构师可以轻松地采用针对一个代码库设计的规则和设置，并通过对新上下文进行必要的调整和修改将它们应用于另一代码库。当开发人员在使用不同技术的不同环境中工作时，这一点尤其重要。

“当我们比较采用Parasoft静态分析之前和之后的组件中的缺陷率时，我们发现现在减少了30％的缺陷，”......

只需单击几下，即可在几秒钟内调整规则集以适应不同的代码库。当架构师创建新的自定义规则时，他或她只需将其添加到Parasoft Team Server中，即可从该规则中将其立即部署到所有开发人员的桌面安装中。这使他们能够大大提高生产率。

Thales还利用了直接在开发人员工作环境中报告的详细结果。当开发人员查看静态分析测试结果时，他们可以单击所报告的违规行为以轻松访问规则文档，该文档提供了详细信息，例如如何修复错误、代码示例和源引用。这样可以提高开发的整体智能，从而持续提高生产率。

实际结果：缺陷减少了30％

“Parasoft的最大优势之一就是它教会了我们的工程师如何成为更好的开发人员。”AVLS系统产品经理Alessandro Orsi说道。“我们发现代码库中的缺陷越来越少，因为开发人员正在学习如何编写更好的Java代码。随着开发人员对现有规则集的适应程度提高，架构师逐渐将其扩展以包含更多规则。如预期的那样，这将导致更好的代码。这是一个循环的过程。”

Orsi继续说道：“当我们比较采用Parasoft静态分析之前和之后的组件中的缺陷率时，我们发现现在减少了30％的缺陷。”“如果其他供应商能够提供我们从Parasoft获得的支持，那么世界将是完美的。我们从Parasoft那里获得的支持确实非常出色”。