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

---

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

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

通過(guò)在SDLC中盡早消除缺陷來(lái)提高效率

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

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

“Selex被Parasoft的靜態(tài)分析的精確分析和易用性吸引了?！?/span>

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

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

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

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

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

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