军工行业案例：SELEX利用Parasoft自动化错误预防提升开发效率

---

SELEX Sistemi Integrati是FINMECCANICA SpA公司，设计、实施和销售用于国土保护、防空雷达系统、战场管理、海军防御、空中和机场交通管理以及沿海和海上监视的大型系统。该公司拥有约4200名员工，拥有50年的经验，在150个国家/地区拥有客户。

通过使用Parasoft测试平台，SELEX现在可以在SDLC的早期消除软件缺陷。通过减少过程后期测试所需的时间，这可以释放资源，以便更快速地满足关键业务需求，同时按时按预算完成项目。

通过在SDLC中尽早消除缺陷来提高效率

“大约20年前，我们开始与Parasoft合作，并使用其Insure++内存错误检测工具，”SELEX产品软件验证和验证主管Daniele De Nicola解释说。“我们在一个关键项目中正在努力解决一个难以捉摸的问题。考虑到问题的严重性和项目的重要性，我们需要一个可以在运行时公开内存泄漏的工具，并且需要快速使用。经过研究，我们发现Parasoft被认为是同类产品中最有效的工具。我们对该工具的初步经验证实了这一点。一整天的支持就是我们开始所需要的。从那时起，我们的生活就变得不一样了！”

SELEX坚决致力于优化内部流程，因此决定专注于在SDLC早期消除缺陷。为此，他们求助于Parasoft的针对C，C++和Java应用程序的开发测试平台。De Nicola解释说，之所以被Parasoft的静态分析所吸引，是因为其“准确的分析和易用性”。流分析如何将它们指出关键的运行时缺陷而不要求他们实际执行代码，这给他们留下了特别深刻的印象。

“Selex被Parasoft的静态分析的精确分析和易用性吸引了。”

在概念验证期间，Parasoft产品一次被迅速集成到组织的项目中。产品立即展示了其价值。De Nicola表示：“这确实提高了我们软件组件的稳定性。我们的发展方式发生了一场革命，使我们获得了宝贵的时间专注于其他方面。”

多年来，Parasoft的解决方案已在SELEX上全面部署。实际上，SELEX的软件质量令人印象深刻，以至于其次级供应商和合作伙伴开始怀疑开发人员如何取得长足发展。SELEX的员工得知SELEX惊人的质量成就的秘诀后，便开始在自己的组织中部署Parasoft产品。

实际结果：通过减少开发时间，降低成本和资源来提高可靠性De Nicola自豪地与大家分享，通过与Parasoft的合作，SELEX大大提高了代码的稳定性、重用性和可维护性（根据ISO 9127）。它还为验证过程增加了自动化和可视性的新水平。

“Parasoft技术确实提高了我们软件组件的稳定性。

我们的发展方式发生了一场革命，使我们获得了宝贵的时间专注于其他方面。”

多年来，管理层注意到开发成本、时间和资源方面的效率提高。将来，该部门计划优化其总体软件开发流程，以确保他们尽可能一致，高效地交付高质量的软件。他们已经在探索Parasoft Concerto如何扩展现有解决方案以支持该目标。