航空行業案例：為航空公司提供航空電子系統，通過DO-178C標準驗證

---

Parasoft是構建高質量軟件的最佳解決方案。從開發到質量檢查，Parasoft的技術通過集成靜態和運行時分析，單元、功能和API測試，以及服務虛擬化，在不犧牲質量和安全性的情況下加快軟件交付，節約交付成本。

那么Parasoft究竟能夠運用在哪些領域？是否對于您的項目有幫助呢？本文小編給大家帶來一個真實案例——國防和航空航天工業的領導者，提供安全、可靠的航空電子系統，DO-178C標準驗證。（PDF版點擊此處下載）

>>如果您想使用Parasoft測試是否滿足項目要求，可聯系客服或填寫表單申請試用。

---

企業背景

國防和航空航天工業的領導者，在八十多年的時間里一直在建造軍用和民用航空飛機。在這段時間里，他們從建造機電系統發展到為各種平臺設計和開發先進的硬件和軟件航空系統。在過去的50年里，航空電子組一直在培養一種實現、維護和提供安全、可靠的航空系統的發展文化。

這家領先的航空電子公司制造的部件包括具有最高安全關鍵要求的飛行控制和執行系統。該公司專門為飛機態勢安全和意識、無線電和音頻管理、數據采集和機載計算機系統創建符合DO-178C標準的航空電子系統。此外，他們還制造溫度和振動傳感器。

挑戰

該公司面臨著圍繞編碼標準的兩個主要挑戰：

• 納入編碼標準以符合DO-178C并通過審計。
  
• 找到一個可定制的測試工具來執行其公司的規則和標準。

遵守DO-178C標準

目前，公司必須按照最嚴格的航空電子工藝標準，即RTCA DO-178C DAL A來設計、開發和測試他們的飛行控制系統。DO-178C的部分驗證和確認階段要求應用靜態代碼分析和使用編碼標準。使用編碼標準來遵守DO-178C是至關重要的。

測試自定義編碼標準

對于如何編寫代碼，航空電子公司有自己的最佳實踐和高標準。因此，軟件開發團隊根據多年來積累的成熟的編碼實踐建立并部署了自己的編碼標準，并以現有的行業標準（如MISRA C和ISO C90）對其進行了擴充。

采用這些定制的標準，可以避免導致不需要的和不可預測的行為的編碼結構。

為了提高他們的代碼審查過程的效率，該團隊需要一個工具來自動化并協助執行代碼分析和編碼執行。對該工具的其他要求包括：

• 執行所有自定義編碼規則和指南。
• 團隊盡職調查的文件，以供以后審計 ? 可追溯性，這也是 DO-178C 所要求的。

解決方案

由于需要完全定制編碼標準規則集，這家航空電子行業的領導者選擇了Parasoft C/C++測試解決方案，為其安全關鍵型軟件自動進行編碼標準分析、審查和執行。他們依靠Parasoft對MISRA C、DO-178C以及其自身定制的規則集的支持。

定制編碼標準和自動化測試的目的是為了提高整體開發效率，使代碼更容易審查、調試、更新和維護。

該公司還需要一個能夠整合到他們的安全關鍵開發流程的解決方案。Parasoft C/C++test順利地融入了他們的開發工作流程，使他們的編碼標準和審查過程自動化。

Parasoft的優勢

這家航空電子公司將Parasoft C/C++test實施到他們的安全關鍵軟件開發過程中，產生了顯著的效益。

為開發人員提供持續的反饋。在開發過程中，團隊使用該解決方案來分析正在開發的代碼，并在開發人員工作時獲得直接反饋。他們可以得到關于編碼標準符合性和早期缺陷檢測的即時反饋。

幫助加入新的開發 職員。新人員可以快速了解公司的標準。由于工具的即時支持和反饋，新員工可以快速學習編碼標準。

啟用規則定制。我們的客戶開發了他們自己的靜態分析規則集，以滿足他們的航空航天項目的具體要求。Parasoft C/C++測試規則定制功能是創建這些規則的一個重要特征。

為軟件的長生命周期做準備。在飛機工業中，軟件需要為飛行準備30年或更長時間。這意味著維護和更新是一個重要的設計和實施考慮。知道他們的代碼符合企業標準，意味著對未來的開發者來說，代碼更具有可讀性和可維護性。

鑒定工具。安全關鍵標準要求開發過程中使用的工具符合所開發的產品所隱含的質量標準。在這種情況下，該公司希望根據DO-178C，補充DO-330，軟件工具鑒定考慮因素補充，對Parasoft C/C++test進行鑒定。Parasoft為這一標準和其他標準提供了資格認證套件。和其他標準，這有助于減少執行必要測試和文件的工作量和時間。

和ADAS車隊。

---

Parasoft——領先的自動化測試工具，滿足絕大多數行業標準

Parasoft是一家專門提供軟件測試解決方案的公司，幫助企業打造無缺陷的軟件。

從開發到質量檢查，Parasoft的技術通過集成靜態和運行時分析，單元、功能和API測試，以及服務虛擬化，在不犧牲質量和安全性的情況下加快軟件交付，節約交付成本。

強大的報告和分析功能可幫助用戶快速查明有風險的代碼區域，并了解新代碼更改如何影響其軟件質量，而突破性的技術將人工智能和機器學習添加到軟件測試中，使組織更容易采用和擴展跨開發和測試團隊的有效的軟件測試實踐。

Parasoft針對C/C++、Java、.NET和嵌入式的開發測試都有著30多年的深入研究，很多全國500強企業使用Parasoft的產品實現了軟件快速、高質量的交付。

獲取Parasoft資料或申請試用可加QQ：2867205852