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

具體MISRA C,MISRA C 2004&MISRA C++2008編碼標(biāo)準(zhǔn)支持

Parasoft核心的靜態(tài)分析功能提供了即刻使用的對MISRA C，MISRA C 2004和MISRA C++ 2008標(biāo)準(zhǔn)的支持。為了快速審查和促進(jìn)快速矯正，每個(gè)被檢測到的違規(guī)都會(huì)按照優(yōu)先級排列，并被指派給對該違規(guī)負(fù)責(zé)的開發(fā)者，并且在他/她的集成開發(fā)環(huán)境里使用一個(gè)鏈接，直接指向問題代碼和規(guī)則描述。

汽車集團(tuán)工業(yè)領(lǐng)導(dǎo)力

• Parasoft和工業(yè)界領(lǐng)導(dǎo)集團(tuán)一起將質(zhì)量推入汽車軟件開發(fā)流程中。
• AUTOSAR：Parasoft正和AUTOSAR一起開發(fā)和建立一個(gè)為汽車界E/E架構(gòu)的事實(shí)上的開放工業(yè)標(biāo)準(zhǔn)。對于在AUTOSAR標(biāo)準(zhǔn)下開發(fā)電子控制單元軟件的企業(yè)來說，Parasoft C/C++test是工業(yè)界的首選方案。
• GENIVI Alliance：Parasoft正在參與GENIVI聯(lián)盟，推進(jìn)開源車載信息娛樂開發(fā)平臺。另外，Parasoft全面地開發(fā)管理系統(tǒng)幫助車載信息娛樂開發(fā)者遵守這些規(guī)范和測量他們的軟件產(chǎn)品，以實(shí)現(xiàn)GENIVI準(zhǔn)則清單。
• TüV SüD：Parasoft C/C++test 通過了TüV SüD的認(rèn)證，滿足ICE61508和ISO26262的軟件開發(fā)安全要求。

使用Parasoft Development Testing滿足ISO26262 ASIL

Parasoft的開發(fā)測試平臺幫助工程師將質(zhì)量融入他們的應(yīng)用。這是通過以下各項(xiàng)來完成的：

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

如需詳細(xì)了解Parasoft如何解決ASIL和ISO26262中所列功能安全方面的要求，請閱讀我們的ISO26262白皮書和ASIL白皮書。如需詳細(xì)了解，為了達(dá)到IEC61508標(biāo)準(zhǔn)定義的每個(gè)SIL安全綜合水平，Parasoft如何解決這些需求，請閱讀我們的白皮書Satisfying SIL Requirements: Ensure Functional Safety of E/E/PE Safety-Related Systems。

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

策略驅(qū)動(dòng)開發(fā)構(gòu)建了商業(yè)預(yù)期和特定的質(zhì)量實(shí)踐的橋梁，保證軟件開發(fā)團(tuán)隊(duì)規(guī)避那些可能危害可靠性、安全性和性能的捷徑。從定義應(yīng)用的關(guān)鍵業(yè)務(wù)方面開始，例如滿足工業(yè)標(biāo)準(zhǔn)，在平臺上方便地建立您的策略。

Parasoft自動(dòng)關(guān)聯(lián)需求和自動(dòng)/手動(dòng)測試、源代碼、開發(fā)任務(wù)，以達(dá)到前所未有的對開發(fā)流程的實(shí)時(shí)可見性，請求式獲取驗(yàn)證狀態(tài)，雙向需求可追蹤性。

根據(jù)企業(yè)商業(yè)目標(biāo)，減少您軟件開發(fā)生命周期內(nèi)的風(fēng)險(xiǎn)，調(diào)整軟件開發(fā)活動(dòng)，例如靜態(tài)代碼分析、單元測試、同行代碼審查、覆蓋分析和運(yùn)行時(shí)錯(cuò)誤檢測。其帶來的好處包括增加可追蹤性，可追責(zé)性和早期缺陷防范，這將幫助您避免昂貴的召回和訴訟，或者損害市場地位。