在過去幾年里，飛機失事事故頻發，究竟是人為因素，還是軟件質量問題？

2018年10月印尼獅航的墜落事件，189人罹難。

2019年3月，埃塞俄比亞航空公司一架波音737 MAX 8客機在飛往肯尼亞途中墜毀。機上149名乘客和8名機組成員，無人生還。

短短半年時間，同一機型兩次空難，其中一次的失事原因已明確為軟件設計缺陷。第一次事故中，失事飛機的迎角傳感器“數據錯誤”觸發“防失速”自動操作，導致機頭不斷下壓，飛行員多次手動拉升未果，飛機最終墜海。

適航認證對于當今機載軟件的重要性

隨著我國大型商用飛機計劃的實施，主機廠必將明確要求設備供應商提供的設備符合適航要求，取得適航認證是大型商用飛機能否投入商業運營的前提。

DO-178標準作為判斷軟件在機載環境中是否安全可靠的指南，即機載軟件適航認證的標準依據。DO-178強調面向目標，要求軟件必須滿足其級別對應的所有目標，同時要給出足夠的證據表明每一步是如何完成的，同時也要求驗證過程是可以重現的。

DO-178是面向整個軟件生命周期的，把機載軟件生命周期定義為：

怎樣的開發測試平臺才值得信賴？

專為 DO-178合規性打造的Parasoft 開發測試平臺將行業最廣泛的開發測試實踐平臺與 Parasoft開創性的開發項目管理架構結合起來。

這為公司、組織提供了前所未有的對各種C、C++、Java、.NET代碼軟件開發生命周期的過程可見性和可控性。開發測試實踐的功能包括靜態代碼分析、單元測試、代碼覆蓋率分析、同行代碼審查、運行時錯誤檢測和可追溯性。

Parasoft開發測試平臺(DTP)是針對航空航天電子行業標準最全面可用的綜合合規性解決方案。其強大的開發測試能力幫助公司、組織減少遵從航空航天和航天電子行業標準所需要的時間和精力，檢測軟件的缺陷和健壯性，實現保障軟件質量的要求。

告訴我們你的需求

Parasoft如何滿足適航認證

• 行業認證質量包： Parasoft 提供了 DO-178B/C 認證集合，囊括了一系列的文件（函數需求規則說明，工具認證計劃和工具認證規程等）以及使工具具有在 DO-178B/C 項目上使用的資格的一系列測試用例。
  
• 代碼覆蓋率： 對于 C 和 C++來說，這就包括語句、分支、路徑、和 MC/DC覆蓋率。所有支持的覆蓋率都會在GUI界面或代碼監聽報告中高亮顯示 。
  
• 自動化回歸測試：Parasoft的單元測試提供了自動化回歸測試，使團隊能夠方便地進行代碼重測和復審。
  
• 主機、模擬器、目標板上執行測試： Parasoft 單元測試自動化執行完整的測試流程，包括測試用例生成、交叉編譯、部署、執行并將結果（包括覆蓋率）返回到GUI界面，測試執行的順序完全是可定制化的。
  
• 策略確立、應用和監管：Parasoft基于策略的方法確保公司對軟件質量要求的實現，利用自動化架構確保一致的、穩定的策略應用，并通過可見性和可審核性自動化監管政策是否合規。
  
• 數據流分析： Parasoft 數據流分析組件模擬可能的應用程序執行路徑——跨越多個函數和文件，同時確定這些路徑是否會引發一些特定類目的運行時錯誤。       

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

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

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

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

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

申請Parasoft測試試用