國防和航空航天業的領軍企業，八十多年來一直致力于軍用和民用航空器的制造。在此期間，從構建機電系統發展到為各種平臺設計和開發先進的硬件和軟件航空系統。在過去的 50 年里，其航空電子部門持續秉持一種開發文化，旨在實現、維護并交付安全、可靠且安全的航空系統。

>>點擊獲取Parasoft C/C++test試用

這家領先的航空電子公司專注于開發符合DO-178C標準的航空電子系統，涵蓋飛機態勢感知、無線電與音頻管理、數據采集及機載計算機系統等領域。在軟件開發中，引入了Parasoft C/C++test——一套用于靜態代碼分析、單元測試和覆蓋度驗證的自動化測試平臺，以確保代碼符合DO-178C等航空安全標準。所制造的組件包括飛行控制與驅動系統等最高安全關鍵等級設備，并向其他OEM廠商提供相關系統。

挑戰

該公司面在編碼標準方面面臨的兩大主要挑戰。

1.   引入編碼標準以符合 DO-178C 要求并通過審計。

2.   尋找可自定義的測試工具來執行其公司規則和標準。

符合 DO-178C 標準

目前，該公司必須按照最嚴格的航空電子過程標準 RTCA DO-178C DAL A 來設計、開發和測試其飛行控制系統。DO-178C 驗證和確認階段要求進行靜態代碼分析并使用編碼標準。采用編碼標準來符合 DO-178C 至關重要。

滿足航空認證機構的要求是最重要的。如果系統未通過 DO-178C 附帶的審計要求并獲得認證，則不允許交付系統。這些審計義務旨在確保安全。他們驗證了所有 DO-178C 要求的滿足情況，并證明團隊遵循了健全的軟件開發實踐，并且測試結果合格。

測試自定義編碼標準

這家航空電子公司對于如何編寫代碼有其自身的最佳實踐和高標準。因此，軟件開發團隊基于多年積累的成熟編碼實踐，構建并部署了自家的編碼標準，并輔以 MISRA C 和 ISO C90 等現有行業標準。

采用這些自定義標準可以避免導致不良的和不可預測行為的編碼結構。還確保所有項目和組的代碼具備以下特性：

• 可讀性
• 一致性
• 可維護性
• 可測試性
• 安全性
• 保障性
• 可靠性

為了提高代碼審查流程的效率，需要一種工具來自動化并協助執行代碼分析和編碼規范檢查。其中要求包括：

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

挑戰在于找到一款允許公司自定義編碼規則和指南的測試工具。該公司需要的解決方案不僅僅是開箱即用的功能。

解決方案

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

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

航空電子公司還需要一個能集成到其安全關鍵開發流程中的解決方案。Parasoft C/C++test可無縫集成到其開發工作流程中，自動化其編碼標準和審查流程。

解決方案優勢

該航空電子公司將Parasoft C/C++test實施到其安全關鍵軟件開發過程中，取得了顯著效益：

• 向開發人員提供持續反饋。
• 自動執行代碼審查過程。
• 啟用規則自定義。
• 為長生命周期軟件做好準備。
• 工具鑒定

結果

隨著 Parasoft C/C++test 完全集成到軟件開發流程中，航空電子公司創建了一個自定義的靜態程序分析規則集，用以根據其專注于安全關鍵的編碼標準來評估全公司范圍的軟件。

通過將工具和流程納入開發工作流程的一部分，他們可以在編碼過程中立即獲得反饋，有助于開發人員遵守自定義標準并幫助新開發人員快速上手。

通過將Parasoft C/C++test深度融合至開發流程，該航空電子系統構建起一套自動化、可定制且符合DO-178C最高安全要求的代碼質量保障體系。這一解決方案已成為其開發流程中不可或缺的關鍵組成部分，確保持續交付安全、可靠的航空系統。

關于慧都

慧都是一家行業數字化解決方案公司，專注于軟件、石油與工業領域，以深入的業務理解和行業經驗，幫助企業實現智能化轉型與持續競爭優勢。在軟件工程領域，我們提供開發控件、研發管理、代碼開發、部署運維等軟件開發全鏈路所需的產品，提供正版授權采購、技術選型、個性化維保等服務，幫助客戶實現技術合規、降本增效與風險可控。

慧都科技作為Parasoft公司在中國區的官方授權合作伙伴，為國內企業提供Parasoft C/C++test產品的正版授權、定制化部署與全生命周期技術支持與服務。我們致力于助力客戶精準貫徹功能安全標準、全面提升軟件開發效率、有效管控項目風險，最終構建符合國際標準的高質量軟件體系。