軍工行業案例：Thales利用靜態分析提升軟件效率和質量

---

Thales Italia擁有面向民用和軍事市場的可靠產品和技術組合。他們提供針對安全和運輸行業的技術解決方案（具有鐵路信號傳輸和關鍵基礎設施的保護/監視方面的專業知識）；在國防部門（具有軍事通信和戰爭電子專業知識）；以及空中交通管理領域（具有著陸、導航和監視系統方面的專業知識）。

通過將Parasoft的開發測試平臺應用于其集成電車軌道管理解決方案項目，然后將其部署到整個自動車輛定位系統部門，Thales Italia減少了30％的缺陷組件率，并顯著提高了應用程序性能。

在關鍵任務軟件中提高生產力和質量

Thales是面向航空、航天、國防、安全和運輸行業的新技術的全球領導者。Thales為其集成電車軌道管理解決方案項目部署了Parasoft的Java開發測試。Parasoft在幫助Thales實現Java軟件質量目標方面非常有效，以至于該公司最終在整個自動車輛定位系統（AVLS）系統部門中標準化了開發測試平臺。結果，現在可以更快地檢測到軟件缺陷，從而在至關重要的行業中提高生產率和質量。

Thales多年來一直致力于Parasoft。除使用Parasoft標準化靜態分析外，該部門還使用它來驗證和優化其應用程序的數據庫連接。最近，Thales開始針對其SOA環境探索Parasoft的開發測試解決方案。

最初，Thales吸引了整個團隊或部門中配置、部署和管理標準化規則集的簡便性。該公司很快開始欣賞Parasoft的其他品質，包括：

• 多合一開發測試功能
• 能夠擴展配置其獨特的編碼標準的能力，從而無需進行人工審核
• 易于項目設置
• 無縫集成到他們的開發測試環境中
• 使用數據流分析進行運行時錯誤檢測
• Parasoft技術團隊的及時支持

Parasoft為AVLS系統部門提供了在國外有效和一致地應用一套補充性缺陷預防措施的能力，該功能通過幫助開發人員在整個代碼泛濫之前解決錯誤，大大提高了生產率。架構師可以輕松地采用針對一個代碼庫設計的規則和設置，并通過對新上下文進行必要的調整和修改將它們應用于另一代碼庫。當開發人員在使用不同技術的不同環境中工作時，這一點尤其重要。

“當我們比較采用Parasoft靜態分析之前和之后的組件中的缺陷率時，我們發現現在減少了30％的缺陷，”......

只需單擊幾下，即可在幾秒鐘內調整規則集以適應不同的代碼庫。當架構師創建新的自定義規則時，他或她只需將其添加到Parasoft Team Server中，即可從該規則中將其立即部署到所有開發人員的桌面安裝中。這使他們能夠大大提高生產率。

Thales還利用了直接在開發人員工作環境中報告的詳細結果。當開發人員查看靜態分析測試結果時，他們可以單擊所報告的違規行為以輕松訪問規則文檔，該文檔提供了詳細信息，例如如何修復錯誤、代碼示例和源引用。這樣可以提高開發的整體智能，從而持續提高生產率。

實際結果：缺陷減少了30％

“Parasoft的最大優勢之一就是它教會了我們的工程師如何成為更好的開發人員。”AVLS系統產品經理Alessandro Orsi說道。“我們發現代碼庫中的缺陷越來越少，因為開發人員正在學習如何編寫更好的Java代碼。隨著開發人員對現有規則集的適應程度提高，架構師逐漸將其擴展以包含更多規則。如預期的那樣，這將導致更好的代碼。這是一個循環的過程。”

Orsi繼續說道：“當我們比較采用Parasoft靜態分析之前和之后的組件中的缺陷率時，我們發現現在減少了30％的缺陷。”“如果其他供應商能夠提供我們從Parasoft獲得的支持，那么世界將是完美的。我們從Parasoft那里獲得的支持確實非常出色”。