Parasoft行業安全解決方案:航空電子
如您需要制定測試解決方案或有相關需求,歡迎與!
Parasoft的開發測試平臺是用于實現遵守航空航天和航空電子行業標準最全面的解決方案。Parasoft強大的開發測試功能幫助企業減少了在遵守航空航天和航空電子設備行業標準上所花的時間和需要,滿足軟件保證的要求,并檢測缺陷和漏洞。我們獨特的策略驅動方式建立了一個可重復的、可監控的和可審核的過程。
Parasoft開發測試符合DO-178B/C合規
Parasoft的軟件開發合規解決方案,包括開發測試工具,如靜態代碼分析、單元測試、代碼審查,以及更多支持DO-178B/C的。我們首開先河的開發測試平臺幫助軟件工程師在航空航天和航空電子設備上,將質量貫穿到他們的代碼,通過:
- 軟件開發管理
- 靜態代碼分析
- 單元測試
- 代碼審查
- 覆蓋分析
- 跟蹤
支持JSF++AV編碼標準
Parasoft的解決方案提供即刻使用的代碼分析,符合洛克希德·馬丁公司的聯合攻擊戰斗機飛行器的C++編碼標準。為了促進快速修復,任何檢測到的編碼標準違規行為會被優先并分配給相應的工程師,直接鏈接到有問題的代碼和規則說明。這個過程不僅支持合規,而且還有助于工程師對開發的標準有更深的了解。
演示的工具資質和保護
自動預防缺陷工具,如Parasoft的C/C++測試,必須確保一致的和準確的驗證和驗證結果合格。Parasoft的專業服務與組織協同工作,證明我們開發測試平臺的所有組件按預期運行,并沒有對其他工具的功能產生不利影響。
信息安全保障支持
Parasoft的功能滿足在2011國防授權法案規定的信息安全保障的要求。功能包括:
- 在整個開發生命周期的自動化軟件漏洞檢測
- 測試Web應用程序的安全性開發
- 自動化的和可審計的流程進行測試和驗證碼
Parasoft策略驅動方法
策略驅動的開發在商業預期與特定的質量實踐之間建立了橋梁,以確保軟件開發團隊避免可能會危及可靠性、安全性和性能的捷徑。開始于定義應用程序的關鍵業務環節,如符合行業標準,并在平臺里輕松設置你的策略。
Parasoft自動地將需求與自動和手動測試、源代碼以及開發任務關聯起來,從而對開發進程前所未有的實時可見性,按需訪問驗證狀態,雙向需求跟蹤。我們集中的報告系統記錄改進并跟蹤狀態,因此團隊知道哪些測試需要重新運行,哪些代碼需要重新審查。
與組織的業務目標相對齊來調整軟件開發活動,如靜態代碼分析、單元測試、同行代碼審查、覆蓋率分析和運行時錯誤檢測,從而降低了軟件開發生命周期相關的風險。其優點包括增加的可追蹤性、問責性,和早期預防缺陷。
選擇了該產品的航空電子和航空客戶
