Parasoft C / C ++ test 10.4.3引入了增強(qiáng)的Automotive Compliance Pack，包括完整覆蓋了AUTOSAR C ++ 14中的必需/自動(dòng)準(zhǔn)則。

我們花了很多時(shí)間和精力為市場上對AUTOSAR C ++的合規(guī)性提供最好的支持，但是Parasoft C / C ++ test 10.4.3不僅與AUTOSAR C ++有關(guān)。我們還通過為最新版本的CWE Top 25 / On The Cusp列表（9月發(fā)布）和OWASP Top 10添加了新的增強(qiáng)規(guī)則集來增強(qiáng)安全合規(guī)性。我們通過添加新的增強(qiáng)了我們的單元測試框架。存根選項(xiàng)，我們添加了更多集成支持，以及更多。繼續(xù)閱讀以獲取更多詳細(xì)信息！慧都科技是parasoft一級(jí)授權(quán)代理商，如果您想購買parasoft產(chǎn)品，請咨詢 ~

汽車法規(guī)遵從性套件，具有100％適用于AUTOSAR C ++ 14的要求/自動(dòng)準(zhǔn)則

在過去的幾個(gè)月中，我在硅谷，歐洲（主要是德國）和日本訪問了許多客戶。在幾乎所有這些地方，客戶和潛在客戶都強(qiáng)調(diào)了與AUTOSOFT作為靜態(tài)分析技術(shù)供應(yīng)商的長期合作關(guān)系對AUTOSAR C ++ 14標(biāo)準(zhǔn)提供連續(xù)靜態(tài)分析支持的重要性。特別是隨著該標(biāo)準(zhǔn)在MISRA的支持下不斷發(fā)展，以支持C ++ 17和C ++ 20。

Parasoft是對AUTOSAR C ++ 14演變做出最快反應(yīng)的，并為該標(biāo)準(zhǔn)中的指南提供了最全面的支持。Parasoft C / C ++ test t的10.4.3版本帶來了一批新的檢查程序，為標(biāo)準(zhǔn)中的必需/自動(dòng)準(zhǔn)則提供了完整的支持。

現(xiàn)在，Parasoft C / C ++ test 及其汽車合規(guī)性軟件包是市場上唯一可提供100％覆蓋所需/自動(dòng)化準(zhǔn)則的解決方案，這些準(zhǔn)則是標(biāo)準(zhǔn)的核心準(zhǔn)則，旨在通過靜態(tài)分析技術(shù)實(shí)施。團(tuán)隊(duì)通常會(huì)使用一部分必需/自動(dòng)準(zhǔn)則來開始部署AUTOSAR C ++ 14合規(guī)性流程，因此對這些準(zhǔn)則的支持至關(guān)重要。您可以在下面的表格中看到該標(biāo)準(zhǔn)的Parasoft覆蓋率的一些統(tǒng)計(jì)信息：

Parasoft AUTOSAR支持除了關(guān)鍵的必需/自動(dòng)準(zhǔn)則之外，AUTOSAR C ++包含規(guī)則的子集，其執(zhí)行只能部分自動(dòng)化或不能自動(dòng)化（非自動(dòng)化）。在許多情況下，靜態(tài)分析可以提供合理水平的支持，即使對于那些不能完全自動(dòng)化的準(zhǔn)則，也可以減輕手動(dòng)代碼審查的負(fù)擔(dān)。我們決定采用這種務(wù)實(shí)的方法，并且我們的AUTOSAR C ++法規(guī)遵從解決方案包括對部分或非自動(dòng)化準(zhǔn)則的支持。

安全合規(guī)包，帶有針對CWE的新增強(qiáng)規(guī)則集

在10.4.3版本中，Parasoft C / C ++ test是市場上第一個(gè)支持由MITER于2019年9月18日發(fā)布的最新版本（3.4版）的CWE Top 25和On The Cusp的工具。在安全世界中，短的周轉(zhuǎn)時(shí)間對于應(yīng)對不斷變化的威脅形勢至關(guān)重要。Parasoft C / C ++ test t實(shí)現(xiàn)了涵蓋CWE 25強(qiáng)和On The Cusp的靜態(tài)分析檢查器，并使組織能夠找到并消除最常見和最嚴(yán)重的安全漏洞。

Parasoft之所以與眾不同，是因?yàn)槲覀儗Π踩缘闹С质侨娴摹Ｎ覀儾粌H支持C / C ++開發(fā)的安全性測試，還支持其他技術(shù)的安全性測試。在最新的Jtest和dotTEST版本中，您可以找到有關(guān)CWE對Java和C＃支持的更多有趣信息。

除了流行的CWE Top 25和On The Cusp外，最新版本的Parasoft C / C ++ test 還為OWASP Top 10提供了新的規(guī)則集和測試配置，從而取代了傳統(tǒng)的測試配置并提高了檢查程序的準(zhǔn)確性。 。

促進(jìn)醫(yī)療行業(yè)符合UL 2900網(wǎng)絡(luò)安全標(biāo)準(zhǔn)

FDA認(rèn)可UL 2900網(wǎng)絡(luò)安全標(biāo)準(zhǔn)，如果您在醫(yī)療設(shè)備上工作，它是一個(gè)不錯(cuò)的選擇。為了達(dá)到系統(tǒng)所需的網(wǎng)絡(luò)安全級(jí)別，該標(biāo)準(zhǔn)要求您對OWASP Top 10，CWE Top 25和CWE On The Cusp運(yùn)行靜態(tài)分析。在10.4.3版本中，Parasoft C / C ++ test現(xiàn)在支持靜態(tài)分析檢查器的組合，這些檢查器可以針對那些列表的最新版本中包含的弱點(diǎn)自動(dòng)執(zhí)行源代碼掃描，從而使其成為任何組織的絕佳選擇試圖獲得FDA批準(zhǔn)并保護(hù)其產(chǎn)品免受網(wǎng)絡(luò)安全威脅。

存根框架的增強(qiáng)

存根是我們的單元測試框架中最有價(jià)值的功能之一。在每個(gè)版本中，我們都添加了一些新內(nèi)容，以使其變得更好，更容易使用。10.4.3版本為用戶存根提供了一個(gè)附加選項(xiàng)，這些用戶存根默認(rèn)將其配置為在所謂的“代理模式”下工作。

提供了新選項(xiàng)，以最大程度地減少不同開發(fā)人員以不協(xié)調(diào)的方式為其測試用例添加存根的干擾，這可能會(huì)導(dǎo)致測試用例結(jié)果的意外更改。選中新選項(xiàng)后，用戶存根將自動(dòng)檢測是否存在原始功能，并在默認(rèn)情況下調(diào)用它。僅當(dāng)有意提供特定于測試用例的行為時(shí)，存根才會(huì)激活替代行為。使用此選項(xiàng)，開發(fā)人員可以安全地為現(xiàn)有符號(hào)添加存根，而不會(huì)破壞她依賴原始定義的大學(xué)測試用例。此功能的優(yōu)點(diǎn)在于，新的存根可以很聰明地檢測測試二進(jìn)制文件中是否存在原始定義。如果存根函數(shù)的原始定義將從測試二進(jìn)制文件中排除，

支持新環(huán)境！

最后但并非最不重要的一點(diǎn)是，我們非常努力地為新的開發(fā)環(huán)境提供支持。讓我提及10.4.3版本現(xiàn)在支持的一些最重要的環(huán)境：

• 帶C / C ++編譯器的Visual Studio 2019

• GNU GCC 9

• QNX SDP 7.0，具有最新版的Momentics IDE以及適用于x86和Arm的編譯器

• IAR ARM 8.22（功能安全版）

• IAR ARM 8.40

展望未來

最初計(jì)劃將10.4.3版本重點(diǎn)放在單元測試框架的增強(qiáng)上。為了應(yīng)對來自市場的壓力，我們決定更改計(jì)劃。汽車客戶（說實(shí)話，自動(dòng)駕駛?cè)藛T）收到了許多要求，以最終確定對AUTOSAR C ++標(biāo)準(zhǔn)中所需/自動(dòng)指南的支持。隨著自動(dòng)駕駛系統(tǒng)變得越來越成熟，越來越接近發(fā)布，合規(guī)性壓力越來越大。長期以來，市場上沒有支持100％關(guān)鍵準(zhǔn)則的靜態(tài)分析工具。現(xiàn)在，C / C ++ test向市場提供了這種缺少的功能，我們可以將重點(diǎn)轉(zhuǎn)移到單元測試上，并著手進(jìn)行一些令人興奮的增強(qiáng)。我們計(jì)劃發(fā)布下一個(gè)版本的C / C ++ test。

想要了解Parasoft、Parasoft SOAtest、Parasoft Virtualize更多信息或資源的朋友，請

與聯(lián)系，以了解如何在組織中部署Parasoft的自動(dòng)化軟件測試解決方案。