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

如您需要制定測試解決方案或有相關(guān)需求，歡迎與！

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

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

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

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

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

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

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

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

信息安全保障支持

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

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

Parasoft策略驅(qū)動方法

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

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

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

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