軍工行業(yè)案例：SELEX利用Parasoft自動化錯(cuò)誤預(yù)防提升開發(fā)效率

---

SELEX Sistemi Integrati是FINMECCANICA SpA公司，設(shè)計(jì)、實(shí)施和銷售用于國土保護(hù)、防空雷達(dá)系統(tǒng)、戰(zhàn)場管理、海軍防御、空中和機(jī)場交通管理以及沿海和海上監(jiān)視的大型系統(tǒng)。該公司擁有約4200名員工，擁有50年的經(jīng)驗(yàn)，在150個(gè)國家/地區(qū)擁有客戶。

通過使用Parasoft測試平臺，SELEX現(xiàn)在可以在SDLC的早期消除軟件缺陷。通過減少過程后期測試所需的時(shí)間，這可以釋放資源，以便更快速地滿足關(guān)鍵業(yè)務(wù)需求，同時(shí)按時(shí)按預(yù)算完成項(xiàng)目。

通過在SDLC中盡早消除缺陷來提高效率

“大約20年前，我們開始與Parasoft合作，并使用其Insure++內(nèi)存錯(cuò)誤檢測工具，”SELEX產(chǎn)品軟件驗(yàn)證和驗(yàn)證主管Daniele De Nicola解釋說。“我們在一個(gè)關(guān)鍵項(xiàng)目中正在努力解決一個(gè)難以捉摸的問題。考慮到問題的嚴(yán)重性和項(xiàng)目的重要性，我們需要一個(gè)可以在運(yùn)行時(shí)公開內(nèi)存泄漏的工具，并且需要快速使用。經(jīng)過研究，我們發(fā)現(xiàn)Parasoft被認(rèn)為是同類產(chǎn)品中最有效的工具。我們對該工具的初步經(jīng)驗(yàn)證實(shí)了這一點(diǎn)。一整天的支持就是我們開始所需要的。從那時(shí)起，我們的生活就變得不一樣了！”

SELEX堅(jiān)決致力于優(yōu)化內(nèi)部流程，因此決定專注于在SDLC早期消除缺陷。為此，他們求助于Parasoft的針對C，C++和Java應(yīng)用程序的開發(fā)測試平臺。De Nicola解釋說，之所以被Parasoft的靜態(tài)分析所吸引，是因?yàn)槠洹皽?zhǔn)確的分析和易用性”。流分析如何將它們指出關(guān)鍵的運(yùn)行時(shí)缺陷而不要求他們實(shí)際執(zhí)行代碼，這給他們留下了特別深刻的印象。

“Selex被Parasoft的靜態(tài)分析的精確分析和易用性吸引了。”

在概念驗(yàn)證期間，Parasoft產(chǎn)品一次被迅速集成到組織的項(xiàng)目中。產(chǎn)品立即展示了其價(jià)值。De Nicola表示：“這確實(shí)提高了我們軟件組件的穩(wěn)定性。我們的發(fā)展方式發(fā)生了一場革命，使我們獲得了寶貴的時(shí)間專注于其他方面。”

多年來，Parasoft的解決方案已在SELEX上全面部署。實(shí)際上，SELEX的軟件質(zhì)量令人印象深刻，以至于其次級供應(yīng)商和合作伙伴開始懷疑開發(fā)人員如何取得長足發(fā)展。SELEX的員工得知SELEX驚人的質(zhì)量成就的秘訣后，便開始在自己的組織中部署Parasoft產(chǎn)品。

實(shí)際結(jié)果：通過減少開發(fā)時(shí)間，降低成本和資源來提高可靠性De Nicola自豪地與大家分享，通過與Parasoft的合作，SELEX大大提高了代碼的穩(wěn)定性、重用性和可維護(hù)性（根據(jù)ISO 9127）。它還為驗(yàn)證過程增加了自動化和可視性的新水平。

“Parasoft技術(shù)確實(shí)提高了我們軟件組件的穩(wěn)定性。

我們的發(fā)展方式發(fā)生了一場革命，使我們獲得了寶貴的時(shí)間專注于其他方面。”

多年來，管理層注意到開發(fā)成本、時(shí)間和資源方面的效率提高。將來，該部門計(jì)劃優(yōu)化其總體軟件開發(fā)流程，以確保他們盡可能一致，高效地交付高質(zhì)量的軟件。他們已經(jīng)在探索Parasoft Concerto如何擴(kuò)展現(xiàn)有解決方案以支持該目標(biāo)。