Parasoft開發(fā)測(cè)試案例：幫助SELEX公司提高效率與自動(dòng)化缺陷預(yù)防

在SDLC早期消除缺陷，提高效率

Daniele De Nicola（SELEX產(chǎn)品軟件驗(yàn)證與確認(rèn)主管）說(shuō)：“我們與Parasoft公司的合作開始于20年前，我們使用他們的Insure++ 內(nèi)存錯(cuò)誤檢測(cè)工具。當(dāng)時(shí)我們?cè)谧鲆粋€(gè)很重要的項(xiàng)目，并遇到了一個(gè)很棘手的難題。我們需要一個(gè)可以在運(yùn)行時(shí)揭露內(nèi)存泄露問(wèn)題的工具。考慮到項(xiàng)目的重要性和問(wèn)題的嚴(yán)重性，我們迫切想要找到解決辦法。經(jīng)過(guò)研究，我們發(fā)現(xiàn)Parasoft是同類產(chǎn)品中最有效的工具。我們?cè)谠囉弥?，證實(shí)了這一點(diǎn)。Parasoft為我們帶來(lái)了全新的體驗(yàn)，我們的工作從此變得與眾不同！”

SELEX公司下定決定優(yōu)化內(nèi)部流程，因此決定把重點(diǎn)放在SDLC早期的缺陷消除上。因此，他們將目光轉(zhuǎn)向了Parasoft’s Develoment Testing Platform 的C、C++和Java應(yīng)用程序上。De Nicola說(shuō)，他們對(duì)Parasoft的靜態(tài)分析功能很感興趣，因?yàn)樗治龅臏?zhǔn)確性和易用性。Parasoft不需要執(zhí)行代碼就可以通過(guò)分析找到致命的運(yùn)行缺陷，這一點(diǎn)深深震撼了他們。

在概念驗(yàn)證期間，Parasoft的產(chǎn)品一個(gè)一個(gè)地整合融入組織的項(xiàng)目中。隨后便立即證明了這些產(chǎn)品的價(jià)值所在。De Nicola說(shuō)：“我們的軟件組件的穩(wěn)定性確實(shí)增加了。這就像是軟件開發(fā)里程上的一次革命，為我們節(jié)省了更多的時(shí)間用來(lái)做別的事情?！?

目前，SELEX公司已經(jīng)使用Parasoft解決方案很多年了。SELEX公司的下級(jí)供應(yīng)商與合作伙伴都驚訝于他們?cè)谲浖_發(fā)質(zhì)量上面取得的巨大進(jìn)步。當(dāng)?shù)弥麄兪褂昧薖arasoft之后，也開始引入Parasoft解決方案了。

結(jié)果：提高可靠性，減少開發(fā)時(shí)間、成本和資源

De Nicola表示很高興能與Parasoft進(jìn)行合作，并且SELEX公司在代碼穩(wěn)定性、重用和可維護(hù)性（根據(jù)ISO9127）上有著顯著的改進(jìn)。為自動(dòng)化和可視化的驗(yàn)證過(guò)程開啟了新的視野。

怎樣提高開發(fā)成本、時(shí)間和資源的使用分配效率，是管理者們歷年來(lái)一直關(guān)注的話題。今后，SELEX還會(huì)繼續(xù)優(yōu)化整個(gè)軟件開發(fā)過(guò)程，來(lái)保證軟件的質(zhì)量。他們目前在考慮怎樣使用Parasoft Concerto來(lái)幫助他們達(dá)成這一目標(biāo)。