軍工行業(yè)案例:Thales利用靜態(tài)分析提升軟件效率和質(zhì)量
Thales Italia擁有面向民用和軍事市場的可靠產(chǎn)品和技術(shù)組合。他們提供針對安全和運輸行業(yè)的技術(shù)解決方案(具有鐵路信號傳輸和關(guān)鍵基礎(chǔ)設(shè)施的保護/監(jiān)視方面的專業(yè)知識);在國防部門(具有軍事通信和戰(zhàn)爭電子專業(yè)知識);以及空中交通管理領(lǐng)域(具有著陸、導(dǎo)航和監(jiān)視系統(tǒng)方面的專業(yè)知識)。
通過將Parasoft的開發(fā)測試平臺應(yīng)用于其集成電車軌道管理解決方案項目,然后將其部署到整個自動車輛定位系統(tǒng)部門,Thales Italia減少了30%的缺陷組件率,并顯著提高了應(yīng)用程序性能。
在關(guān)鍵任務(wù)軟件中提高生產(chǎn)力和質(zhì)量
Thales是面向航空、航天、國防、安全和運輸行業(yè)的新技術(shù)的全球領(lǐng)導(dǎo)者。Thales為其集成電車軌道管理解決方案項目部署了Parasoft的Java開發(fā)測試。Parasoft在幫助Thales實現(xiàn)Java軟件質(zhì)量目標方面非常有效,以至于該公司最終在整個自動車輛定位系統(tǒng)(AVLS)系統(tǒng)部門中標準化了開發(fā)測試平臺。結(jié)果,現(xiàn)在可以更快地檢測到軟件缺陷,從而在至關(guān)重要的行業(yè)中提高生產(chǎn)率和質(zhì)量。
Thales多年來一直致力于Parasoft。除使用Parasoft標準化靜態(tài)分析外,該部門還使用它來驗證和優(yōu)化其應(yīng)用程序的數(shù)據(jù)庫連接。最近,Thales開始針對其SOA環(huán)境探索Parasoft的開發(fā)測試解決方案。
最初,Thales吸引了整個團隊或部門中配置、部署和管理標準化規(guī)則集的簡便性。該公司很快開始欣賞Parasoft的其他品質(zhì),包括:
- 多合一開發(fā)測試功能
- 能夠擴展配置其獨特的編碼標準的能力,從而無需進行人工審核
- 易于項目設(shè)置
- 無縫集成到他們的開發(fā)測試環(huán)境中
- 使用數(shù)據(jù)流分析進行運行時錯誤檢測
- Parasoft技術(shù)團隊的及時支持
Parasoft為AVLS系統(tǒng)部門提供了在國外有效和一致地應(yīng)用一套補充性缺陷預(yù)防措施的能力,該功能通過幫助開發(fā)人員在整個代碼泛濫之前解決錯誤,大大提高了生產(chǎn)率。架構(gòu)師可以輕松地采用針對一個代碼庫設(shè)計的規(guī)則和設(shè)置,并通過對新上下文進行必要的調(diào)整和修改將它們應(yīng)用于另一代碼庫。當開發(fā)人員在使用不同技術(shù)的不同環(huán)境中工作時,這一點尤其重要。
“當我們比較采用Parasoft靜態(tài)分析之前和之后的組件中的缺陷率時,我們發(fā)現(xiàn)現(xiàn)在減少了30%的缺陷,”......
只需單擊幾下,即可在幾秒鐘內(nèi)調(diào)整規(guī)則集以適應(yīng)不同的代碼庫。當架構(gòu)師創(chuàng)建新的自定義規(guī)則時,他或她只需將其添加到Parasoft Team Server中,即可從該規(guī)則中將其立即部署到所有開發(fā)人員的桌面安裝中。這使他們能夠大大提高生產(chǎn)率。
Thales還利用了直接在開發(fā)人員工作環(huán)境中報告的詳細結(jié)果。當開發(fā)人員查看靜態(tài)分析測試結(jié)果時,他們可以單擊所報告的違規(guī)行為以輕松訪問規(guī)則文檔,該文檔提供了詳細信息,例如如何修復(fù)錯誤、代碼示例和源引用。這樣可以提高開發(fā)的整體智能,從而持續(xù)提高生產(chǎn)率。
實際結(jié)果:缺陷減少了30%
“Parasoft的最大優(yōu)勢之一就是它教會了我們的工程師如何成為更好的開發(fā)人員?!盇VLS系統(tǒng)產(chǎn)品經(jīng)理Alessandro Orsi說道?!拔覀儼l(fā)現(xiàn)代碼庫中的缺陷越來越少,因為開發(fā)人員正在學習如何編寫更好的Java代碼。隨著開發(fā)人員對現(xiàn)有規(guī)則集的適應(yīng)程度提高,架構(gòu)師逐漸將其擴展以包含更多規(guī)則。如預(yù)期的那樣,這將導(dǎo)致更好的代碼。這是一個循環(huán)的過程?!?
Orsi繼續(xù)說道:“當我們比較采用Parasoft靜態(tài)分析之前和之后的組件中的缺陷率時,我們發(fā)現(xiàn)現(xiàn)在減少了30%的缺陷?!薄叭绻渌?yīng)商能夠提供我們從Parasoft獲得的支持,那么世界將是完美的。我們從Parasoft那里獲得的支持確實非常出色”。