什么是DO-178B/C和ED 12 B/C？

DO-178B和DO-178 C（在歐洲稱為ED-12 B/C，為簡單起見在此頁面上稱為DO-178B/C）提供了指導，以供航空航天軟件工程師使用，以確保適航性。FA-178的適航性要求中未明確規定DO-178標準，但它是FAA發布其技術標準訂單（TSO）的批準過程的關鍵組成部分，因此DO-178被視為必不可少的。

通過源代碼分析、單元測試和代碼覆蓋范圍來增強DO-178B/C的合規性

Parasoft C/C++test通過使標準所需的軟件測試方法自動化來幫助用戶降低實現合規性的成本。Parasoft的解決方案包括靜態分析、指標分析、單元測試、代碼覆蓋率和對象/組件覆蓋率，為團隊提供了一種實用的方法來防止、暴露和糾正其功能安全系統中的錯誤。

Parasoft如何幫助實現DO-178B/C合規性

為機載系統開發符合DO-178B/C要求的軟件并非易事，但是Parasoft可以減輕負擔，提供了廣泛的開發測試和驗證工具（編碼標準符合性分析、數據和控制流分析、單元測試、應用程序監控、工作流程組件等）。

Parasoft C/C++test的測試功能，可配置的上下文和報告機制為軟件開發團隊提供了行之有效的工具，可幫助他們實現DO-178B/C的合規性。Parasoft C/C++test用戶可以通過使用高級軟件測試方法節省時間來降低達到DO-178B/C要求的成本。自動生成的報告和儀表板為團隊提供了一種實用的方法來防止、暴露和糾正其軟件中的錯誤，并借助自動工具認證來準備審核所需的文檔。

自動化匯編代碼覆蓋率

Parasoft的Assembly Coverage Tool（ASMTool）滿足DO-178B/C Level A提出的可執行目標代碼建議。ASMTool可以毫不費力地從Executable Object Code生成結構覆蓋率報告。報告結構覆蓋率時，可以很容易地查看對編譯器生成的代碼的了解，這些代碼不能直接追溯到源代碼語句。它還跟蹤開關語句，從而在機器語言指令級別提供對測試執行路徑的全面了解。

ASMTool還支持從軟件集成過程（目標硬件測試）和桌面開發環境（用于單元測試的Parasoft C/C++test）收集結構覆蓋率。

白皮書

開發適用于機載系統的DO-178B/C兼容軟件

Parasoft通過提供一個集成解決方案來減輕合規性負擔，該解決方案可以自動執行DO-178B/C中指定的軟件驗證和確認過程以及軟件質量任務。閱讀本文以了解使用Parasoft C/C++test預防、暴露和糾正錯誤的實用方法。

點擊下載白皮書