金融成功案例：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引入的豐富的動態分析功能）。他們可以按照合規性的要求來應用它——幾乎無需額外的努力。