金融成功案例：IMA通過靜態(tài)分析節(jié)省了合規(guī)性的時間和成本

---

自1961年以來，IMA一直在設(shè)計和生產(chǎn)食品和制藥行業(yè)中用于包裝的植入物和設(shè)備。IMA產(chǎn)品的特點(diǎn)是個性化程度高，可以滿足客戶的特定需求，無論是單包裝機(jī)還是完整的生產(chǎn)工廠。2011年，IMA慶祝成立50周年。如今，它擁有3400多名員工。在意大利、德國、英國、美國、印度和中國遍布22個生產(chǎn)工廠；以及遍布全球的龐大代理商和聯(lián)屬網(wǎng)絡(luò)。

通過與Parasoft的合作，IMA大大提高了他們遵循制藥行業(yè)法規(guī)所采用的嚴(yán)格質(zhì)量流程的效率和可審核性。

挑戰(zhàn)：減輕遵守制藥行業(yè)標(biāo)準(zhǔn)的負(fù)擔(dān)

為了開發(fā)針對制藥市場的解決方案，公司不僅必須遵循非常嚴(yán)格的要求，而且還必須證明他們確實(shí)滿足了這些嚴(yán)格的期望。為此，他們必須提供證據(jù)證明系統(tǒng)是根據(jù)生命周期各個階段實(shí)施的最佳實(shí)踐進(jìn)行設(shè)計、構(gòu)建和測試的。這些要求適用于軟件/系統(tǒng)硬件正變得越來越關(guān)鍵和復(fù)雜，這些軟件正日益成為此類系統(tǒng)的組成部分。

為了減輕遵守這些嚴(yán)格準(zhǔn)則的負(fù)擔(dān)，IMA開始研究可以幫助他們管理軟件開發(fā)生命周期的產(chǎn)品，尤其是對驅(qū)動IMA機(jī)械功能的軟件的測試和驗(yàn)證。具體來說，他們正在尋求簡化以下互補(bǔ)過程：a）根據(jù)預(yù)定義的標(biāo)準(zhǔn)編寫代碼，以及 b）驗(yàn)證代碼是否成功遵循這些標(biāo)準(zhǔn)。

IMA質(zhì)量保證經(jīng)理Beni Fricano解釋說：“這是一個過程，如果手動完成，將是艱巨、昂貴、難以記錄并產(chǎn)生可爭議的結(jié)果。畢竟，我們?nèi)绾巫C明和記錄在數(shù)千行代碼中，沒有一行死代碼逃脫了檢查？由于用于一臺注冊機(jī)器的軟件上的合規(guī)性的手動過程不能輕易地重新用于檢查另一臺機(jī)器的軟件，因此使這些挑戰(zhàn)更加嚴(yán)重。

解決方案：具有健壯、易于配置的靈活規(guī)則集的靜態(tài)分析

為了應(yīng)對這一挑戰(zhàn)，IMA求助于Parasoft。多年前，他們開始使用Parasoft CodeWizard，這是一種靜態(tài)分析產(chǎn)品，是當(dāng)前Parasoft C/C++測試產(chǎn)品的前身。產(chǎn)品附帶了一組預(yù)先配置的規(guī)則，可以輕松定制這些規(guī)則以適合特定項(xiàng)目和/或行業(yè)的需求。

他們喜歡使用和配置工具如此簡單，以檢查對他們來說很重要的準(zhǔn)則。Fricano指出，“錦上添花”是RuleWizard工具，該工具使他們可以修改內(nèi)置規(guī)則，并以圖形方式定義他們決定檢查的任何自定義編碼準(zhǔn)則的其他規(guī)則。該工具有助于使IMA自動檢查其遵循合規(guī)性所需遵循的一組專門標(biāo)準(zhǔn)。

從那時起，IMA已遷移到Parasoft C/C++test，該測試通過全面的靜態(tài)分析（靜態(tài)代碼分析、流分析、指標(biāo)）、單元測試和運(yùn)行時錯誤檢測，擴(kuò)展了基本的Parasoft CodeWizard編碼標(biāo)準(zhǔn)檢查。

結(jié)果：更快、更容易和更好地記錄法規(guī)遵從性工作

據(jù)Fricano稱，該解決方案立即帶來了價值?！傲⒓磳⒁郧捌D巨、無聊且難以記錄的任務(wù)轉(zhuǎn)變?yōu)槲覀兛梢宰詣印?span>快速地系統(tǒng)執(zhí)行的任務(wù)。Parasoft的報告可以附加到提供給客戶的文檔中，以證明任務(wù)已完成。與手動創(chuàng)建的報告相比，這絕對沒有競爭性?！?

“借助Parasoft的解決方案，以前的繁瑣、無聊和難以記錄的任務(wù)被轉(zhuǎn)換為可以自動、快速地系統(tǒng)執(zhí)行的任務(wù)。”

他們一開始使用Parasoft的靜態(tài)分析，開發(fā)人員就贊賞擁有一個易于使用的工具，該工具在單個集成環(huán)境中提供了許多功能（靜態(tài)分析以及Parasoft C/C++test引入的豐富的動態(tài)分析功能）。他們可以按照合規(guī)性的要求來應(yīng)用它——幾乎無需額外的努力。