Parasoft行業(yè)安全解決方案：航空電子

---

Parasoft產(chǎn)品一覽>>

如您需要制定測(cè)試解決方案或有相關(guān)需求，歡迎與我們聯(lián)系！

Parasoft的開發(fā)測(cè)試平臺(tái)是用于實(shí)現(xiàn)遵守航空航天和航空電子行業(yè)標(biāo)準(zhǔn)最全面的解決方案。Parasoft強(qiáng)大的開發(fā)測(cè)試功能幫助企業(yè)減少了在遵守航空航天和航空電子設(shè)備行業(yè)標(biāo)準(zhǔn)上所花的時(shí)間和需要，滿足軟件保證的要求，并檢測(cè)缺陷和漏洞。我們獨(dú)特的策略驅(qū)動(dòng)方式建立了一個(gè)可重復(fù)的、可監(jiān)控的和可審核的過程。

Parasoft開發(fā)測(cè)試符合DO-178B/C合規(guī)

Parasoft的軟件開發(fā)合規(guī)解決方案，包括開發(fā)測(cè)試工具，如靜態(tài)代碼分析、單元測(cè)試、代碼審查，以及更多支持DO-178B/C的。我們首開先河的開發(fā)測(cè)試平臺(tái)幫助軟件工程師在航空航天和航空電子設(shè)備上，將質(zhì)量貫穿到他們的代碼，通過：

• 軟件開發(fā)管理
• 靜態(tài)代碼分析
• 單元測(cè)試
• 代碼審查
• 覆蓋分析
• 跟蹤

支持JSF++AV編碼標(biāo)準(zhǔn)

Parasoft的解決方案提供即刻使用的代碼分析，符合洛克希德·馬丁公司的聯(lián)合攻擊戰(zhàn)斗機(jī)飛行器的C++編碼標(biāo)準(zhǔn)。為了促進(jìn)快速修復(fù)，任何檢測(cè)到的編碼標(biāo)準(zhǔn)違規(guī)行為會(huì)被優(yōu)先并分配給相應(yīng)的工程師，直接鏈接到有問題的代碼和規(guī)則說明。這個(gè)過程不僅支持合規(guī)，而且還有助于工程師對(duì)開發(fā)的標(biāo)準(zhǔn)有更深的了解。

演示的工具資質(zhì)和保護(hù)

自動(dòng)預(yù)防缺陷工具，如Parasoft的C/C++測(cè)試，必須確保一致的和準(zhǔn)確的驗(yàn)證和驗(yàn)證結(jié)果合格。Parasoft的專業(yè)服務(wù)與組織協(xié)同工作，證明我們開發(fā)測(cè)試平臺(tái)的所有組件按預(yù)期運(yùn)行，并沒有對(duì)其他工具的功能產(chǎn)生不利影響。

信息安全保障支持

Parasoft的功能滿足在2011國(guó)防授權(quán)法案規(guī)定的信息安全保障的要求。功能包括：

• 在整個(gè)開發(fā)生命周期的自動(dòng)化軟件漏洞檢測(cè)
• 測(cè)試Web應(yīng)用程序的安全性開發(fā)
• 自動(dòng)化的和可審計(jì)的流程進(jìn)行測(cè)試和驗(yàn)證碼

Parasoft策略驅(qū)動(dòng)方法

策略驅(qū)動(dòng)的開發(fā)在商業(yè)預(yù)期與特定的質(zhì)量實(shí)踐之間建立了橋梁，以確保軟件開發(fā)團(tuán)隊(duì)避免可能會(huì)危及可靠性、安全性和性能的捷徑。開始于定義應(yīng)用程序的關(guān)鍵業(yè)務(wù)環(huán)節(jié)，如符合行業(yè)標(biāo)準(zhǔn)，并在平臺(tái)里輕松設(shè)置你的策略。

Parasoft自動(dòng)地將需求與自動(dòng)和手動(dòng)測(cè)試、源代碼以及開發(fā)任務(wù)關(guān)聯(lián)起來，從而對(duì)開發(fā)進(jìn)程前所未有的實(shí)時(shí)可見性，按需訪問驗(yàn)證狀態(tài)，雙向需求跟蹤。我們集中的報(bào)告系統(tǒng)記錄改進(jìn)并跟蹤狀態(tài)，因此團(tuán)隊(duì)知道哪些測(cè)試需要重新運(yùn)行，哪些代碼需要重新審查。

與組織的業(yè)務(wù)目標(biāo)相對(duì)齊來調(diào)整軟件開發(fā)活動(dòng)，如靜態(tài)代碼分析、單元測(cè)試、同行代碼審查、覆蓋率分析和運(yùn)行時(shí)錯(cuò)誤檢測(cè)，從而降低了軟件開發(fā)生命周期相關(guān)的風(fēng)險(xiǎn)。其優(yōu)點(diǎn)包括增加的可追蹤性、問責(zé)性，和早期預(yù)防缺陷。

選擇了該產(chǎn)品的航空電子和航空客戶