在過(guò)去幾年里，飛機(jī)失事事故頻發(fā)，究竟是人為因素，還是軟件質(zhì)量問(wèn)題？

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

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

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

適航認(rèn)證對(duì)于當(dāng)今機(jī)載軟件的重要性

隨著我國(guó)大型商用飛機(jī)計(jì)劃的實(shí)施，主機(jī)廠必將明確要求設(shè)備供應(yīng)商提供的設(shè)備符合適航要求，取得適航認(rèn)證是大型商用飛機(jī)能否投入商業(yè)運(yùn)營(yíng)的前提。

DO-178標(biāo)準(zhǔn)作為判斷軟件在機(jī)載環(huán)境中是否安全可靠的指南，即機(jī)載軟件適航認(rèn)證的標(biāo)準(zhǔn)依據(jù)。DO-178強(qiáng)調(diào)面向目標(biāo)，要求軟件必須滿足其級(jí)別對(duì)應(yīng)的所有目標(biāo)，同時(shí)要給出足夠的證據(jù)表明每一步是如何完成的，同時(shí)也要求驗(yàn)證過(guò)程是可以重現(xiàn)的。

DO-178是面向整個(gè)軟件生命周期的，把機(jī)載軟件生命周期定義為：

怎樣的開(kāi)發(fā)測(cè)試平臺(tái)才值得信賴？

專為 DO-178合規(guī)性打造的Parasoft 開(kāi)發(fā)測(cè)試平臺(tái)將行業(yè)最廣泛的開(kāi)發(fā)測(cè)試實(shí)踐平臺(tái)與 Parasoft開(kāi)創(chuàng)性的開(kāi)發(fā)項(xiàng)目管理架構(gòu)結(jié)合起來(lái)。

這為公司、組織提供了前所未有的對(duì)各種C、C++、Java、.NET代碼軟件開(kāi)發(fā)生命周期的過(guò)程可見(jiàn)性和可控性。開(kāi)發(fā)測(cè)試實(shí)踐的功能包括靜態(tài)代碼分析、單元測(cè)試、代碼覆蓋率分析、同行代碼審查、運(yùn)行時(shí)錯(cuò)誤檢測(cè)和可追溯性。

Parasoft開(kāi)發(fā)測(cè)試平臺(tái)(DTP)是針對(duì)航空航天電子行業(yè)標(biāo)準(zhǔn)最全面可用的綜合合規(guī)性解決方案。其強(qiáng)大的開(kāi)發(fā)測(cè)試能力幫助公司、組織減少遵從航空航天和航天電子行業(yè)標(biāo)準(zhǔn)所需要的時(shí)間和精力，檢測(cè)軟件的缺陷和健壯性，實(shí)現(xiàn)保障軟件質(zhì)量的要求。

告訴我們你的需求

Parasoft如何滿足適航認(rèn)證

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

Parasoft——領(lǐng)先的自動(dòng)化測(cè)試工具，滿足絕大多數(shù)行業(yè)標(biāo)準(zhǔn)

Parasoft是一家專門(mén)提供軟件測(cè)試解決方案的公司，幫助企業(yè)打造無(wú)缺陷的軟件。

從開(kāi)發(fā)到質(zhì)量檢查，Parasoft的技術(shù)通過(guò)集成靜態(tài)和運(yùn)行時(shí)分析，單元、功能和API測(cè)試，以及服務(wù)虛擬化，在不犧牲質(zhì)量和安全性的情況下加快軟件交付，節(jié)約交付成本。

強(qiáng)大的報(bào)告和分析功能可幫助用戶快速查明有風(fēng)險(xiǎn)的代碼區(qū)域，并了解新代碼更改如何影響其軟件質(zhì)量，而突破性的技術(shù)將人工智能和機(jī)器學(xué)習(xí)添加到軟件測(cè)試中，使組織更容易采用和擴(kuò)展跨開(kāi)發(fā)和測(cè)試團(tuán)隊(duì)的有效的軟件測(cè)試實(shí)踐。

Parasoft針對(duì)C/C++、Java、.NET和嵌入式的開(kāi)發(fā)測(cè)試都有著30多年的深入研究，很多全國(guó)500強(qiáng)企業(yè)使用Parasoft的產(chǎn)品實(shí)現(xiàn)了軟件快速、高質(zhì)量的交付。

申請(qǐng)Parasoft測(cè)試試用