金融成功案例：IMA通过静态分析节省了合规性的时间和成本

---

自1961年以来，IMA一直在设计和生产食品和制药行业中用于包装的植入物和设备。IMA产品的特点是个性化程度高，可以满足客户的特定需求，无论是单包装机还是完整的生产工厂。2011年，IMA庆祝成立50周年。如今，它拥有3400多名员工。在意大利、德国、英国、美国、印度和中国遍布22个生产工厂；以及遍布全球的庞大代理商和联属网络。

通过与Parasoft的合作，IMA大大提高了他们遵循制药行业法规所采用的严格质量流程的效率和可审核性。

挑战：减轻遵守制药行业标准的负担

为了开发针对制药市场的解决方案，公司不仅必须遵循非常严格的要求，而且还必须证明他们确实满足了这些严格的期望。为此，他们必须提供证据证明系统是根据生命周期各个阶段实施的最佳实践进行设计、构建和测试的。这些要求适用于软件/系统硬件正变得越来越关键和复杂，这些软件正日益成为此类系统的组成部分。

为了减轻遵守这些严格准则的负担，IMA开始研究可以帮助他们管理软件开发生命周期的产品，尤其是对驱动IMA机械功能的软件的测试和验证。具体来说，他们正在寻求简化以下互补过程：a）根据预定义的标准编写代码，以及 b）验证代码是否成功遵循这些标准。

IMA质量保证经理Beni Fricano解释说：“这是一个过程，如果手动完成，将是艰巨、昂贵、难以记录并产生可争议的结果。毕竟，我们如何证明和记录在数千行代码中，没有一行死代码逃脱了检查？由于用于一台注册机器的软件上的合规性的手动过程不能轻易地重新用于检查另一台机器的软件，因此使这些挑战更加严重。

解决方案：具有健壮、易于配置的灵活规则集的静态分析

为了应对这一挑战，IMA求助于Parasoft。多年前，他们开始使用Parasoft CodeWizard，这是一种静态分析产品，是当前Parasoft C/C++测试产品的前身。产品附带了一组预先配置的规则，可以轻松定制这些规则以适合特定项目和/或行业的需求。

他们喜欢使用和配置工具如此简单，以检查对他们来说很重要的准则。Fricano指出，“锦上添花”是RuleWizard工具，该工具使他们可以修改内置规则，并以图形方式定义他们决定检查的任何自定义编码准则的其他规则。该工具有助于使IMA自动检查其遵循合规性所需遵循的一组专门标准。

从那时起，IMA已迁移到Parasoft C/C++test，该测试通过全面的静态分析（静态代码分析、流分析、指标）、单元测试和运行时错误检测，扩展了基本的Parasoft CodeWizard编码标准检查。

结果：更快、更容易和更好地记录法规遵从性工作

据Fricano称，该解决方案立即带来了价值。“立即将以前艰巨、无聊且难以记录的任务转变为我们可以自动、快速地系统执行的任务。Parasoft的报告可以附加到提供给客户的文档中，以证明任务已完成。与手动创建的报告相比，这绝对没有竞争性。”

“借助Parasoft的解决方案，以前的繁琐、无聊和难以记录的任务被转换为可以自动、快速地系统执行的任务。”

他们一开始使用Parasoft的静态分析，开发人员就赞赏拥有一个易于使用的工具，该工具在单个集成环境中提供了许多功能（静态分析以及Parasoft C/C++test引入的丰富的动态分析功能）。他们可以按照合规性的要求来应用它——几乎无需额外的努力。