軍工行業案例：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如何擴展現有解決方案以支持該目標。