對於航空航天行業的軟件開發來説，DO-178C 是一份不能繞開的標準——它定義了機載軟件從設計、編碼、測試到驗證的核心要求，是 FAA、EASA 等適航機構在認證過程中嚴格審核的軟件規範。

一家負責關鍵航空導航系統的美國聯邦機構（Federal Agency）在為其嵌入式系統獲取 DO-178C 認證的過程中，曾遇到一系列現實挑戰：傳統的工具無法滿足現代開發環境；測試覆蓋率收集過程繁瑣、輸出材料難以整理；不同工具之間缺乏集成，導致工作重複、效率低下。

最終，他們選擇了 Parasoft C/C++test 作為統一的自動化測試解決方案，實現了過程自動化、數據規範化和合規材料的快速產出。

Parasoft免費試用申請，請聯繫慧都科技>>>

挑戰：傳統測試工具“跟不上” DO-178C 的要求

這家聯邦機構的軟件主要用於空中導航輔助系統，其中：

• 有些模塊需要滿足 DAL B，有些達 DAL D 等不同安全等級；

• 需要完整的 靜態分析、單元測試、代碼覆蓋率統計及測試結果記錄；

• 項目採用了 Wind River VxWorks 操作系統，並在 Wind River Workbench 集成開發環境中開發。

他們嘗試過使用舊的代碼覆蓋系統和分散工具鏈，但這些工具：

✅ 與 Wind River 生態不夠兼容
❌ 不能滿足 DO-178C 的嚴格覆蓋率要求
❌ 工具之間缺乏集成，驗證和追溯工作十分耗時

這導致測試與合規證明變成了難啃的“硬骨頭”。

解決方案：一個工具搞定全流程

項目組最終將 Parasoft C/C++test 引入開發流程，用於覆蓋 DO-178C 所需的關鍵測試環節：

✔ 靜態分析

自動檢查源代碼潛在的問題，包括編碼規範、潛在缺陷，提前發現風險。

✔ 單元測試

對每個功能單元進行系統驗證，確保每個模塊在不同輸入條件下表現正確。

✔ 代碼覆蓋率

支持 語句、分支、MC/DC 等多種覆蓋類型統計，並將結果整理成可用作合規審查的材料。

這些功能都集成到一個統一的工具鏈中，減少了多工具之間的切換和手動處理成本。

對項目有什麼改變？

通過引入 Parasoft 這一自動化測試框架，該項目團隊實現了：

• 兼容 Wind River 工具鏈，避免由於手工轉換或格式不匹配導致的數據丟失；

• 自動化產生代碼覆蓋率數據和驗證材料，極大簡化了 DO-178C 審查所需材料的準備；

• 減少重複勞動，提升工程師效率，讓開發、測試和審計流程之間銜接自然順暢。

換句話説，實現 DO-178C 合規不再是“做完才補材料”，而是將驗證貫穿整個開發過程，讓質量和合規一起“流入”開發節奏。

為什麼這個案例值得關注？

在過去，DO-178C 往往意味着大量手工工作、反覆驗證和密集文檔整理，是一種開發之外的“附加任務”。這個聯邦機構的實踐告訴我們：

• 現代嵌入式軟件測試不應靠人工堆積；

• 自動化測試和覆蓋分析是實現高標準合規的核心路徑；

• 工具鏈的集成和流程化能真正提升團隊執行效率和質量保證能力。

對於國內的航空、航天、防務甚至包括汽車、工業控制等安全關鍵行業的軟件團隊來説，這個案例具有現實參考意義——尤其是在面對嚴格行業標準和合規審核時，將自動化測試從“輔助角色”提升為“流程核心”本身，就是一種競爭力提升。

Parasoft免費試用申請，請聯繫慧都科技>>>