在2020年推出Parasoft C/C++test的第一個(gè)版本：2020.1！您可能會(huì)注意到版本控制架構(gòu)看起來(lái)有所不同。過(guò)去，所有Parasoft工具都使用遞增編號(hào)進(jìn)行版本控制。從今年開始，所有版本的版本都將包括年份以及該年份的發(fā)行數(shù)量。

在過(guò)去的幾個(gè)月中，我們的團(tuán)隊(duì)花了時(shí)間分析如何增強(qiáng)C/C++測(cè)試以最適合不斷發(fā)展的環(huán)境。我們創(chuàng)建了新功能并增強(qiáng)了現(xiàn)有核心功能。C/C++ 2020.1帶來(lái)了一系列令人興奮的新功能。

支持不斷發(fā)展的開發(fā)環(huán)境

開發(fā)環(huán)境的發(fā)展正在加速。經(jīng)常基于AI的新的，先進(jìn)的系統(tǒng)需要大量的源代碼，而這些源代碼無(wú)法使用與過(guò)去相同的工具，方法和工作流進(jìn)行開發(fā)。借助C/C++test 2020.1，我們旨在適應(yīng)這些演進(jìn)的步伐，并提供了一系列可以做到這一點(diǎn)的產(chǎn)品。

用于靜態(tài)分析的Visual Studio代碼擴(kuò)展

開發(fā)團(tuán)隊(duì)中有一種趨勢(shì)，是從繁重的IDE轉(zhuǎn)向輕量級(jí)和可擴(kuò)展的編輯器。部分原因是對(duì)于傳統(tǒng)的IDE而言，包含數(shù)百萬(wàn)行代碼的大型代碼庫(kù)太難了。

Visual Studio Code是可擴(kuò)展的輕量級(jí)編輯器的絕佳示例。在Stack Overflow的2019年年度開發(fā)人員調(diào)查中，VSCode完全統(tǒng)治了最受歡迎的開發(fā)環(huán)境類別。這就是為什么我很高興為Visual Studio Code編輯器宣布C/C++test靜態(tài)分析擴(kuò)展的原因。

如果您使用VSCode進(jìn)行開發(fā)，則不再需要離開自己喜歡的編輯器后面進(jìn)行靜態(tài)分析，查看結(jié)果或修復(fù)報(bào)告的違規(guī)情況。

也許您正在嘗試實(shí)現(xiàn)MISRA或AUTOSAR C++的合規(guī)性？所有這些都可以通過(guò)VSCode完成。

可以在C/C++test標(biāo)準(zhǔn)發(fā)行版（vsix文件）中找到VSCode的C/C++test擴(kuò)展名，或從Visual Studio Code Marketplace訪問(wèn)。您可以在我們即將發(fā)布的VSCode博客文章中了解有關(guān)擴(kuò)展功能的更多信息。

Dockerized部署

軟件工具的容器化部署是開發(fā)團(tuán)隊(duì)的新主張。您可以：

• 無(wú)縫支持新的編譯器版本。
• 向庫(kù)提供安全補(bǔ)丁。
• 即時(shí)提供25位新開發(fā)人員。

使用容器可以輕松完成這些以及許多其他繁瑣且耗時(shí)的任務(wù)。它們?cè)诤芏喾矫娑己馨簟?

C/C++test 2020.1的發(fā)行版提供了一系列增強(qiáng)功能，使這些功能易于與Docker容器一起使用。

C/C++test支持容器中部署的所有編譯器以及容器中Parasoft C/C++test工具本身的部署。請(qǐng)留意我們即將發(fā)布的有關(guān)容器化的博客文章，以獲取有關(guān)如何在容器化環(huán)境中部署C/C++test的詳細(xì)信息。同時(shí)，請(qǐng)觀看我們的網(wǎng)絡(luò)研討會(huì)，嵌入式開發(fā)工具鏈的容器化部署。

CMake擴(kuò)展

CMake可能是管理構(gòu)建和測(cè)試，打包軟件并在C/C++領(lǐng)域中部署它的最受歡迎的工具。團(tuán)隊(duì)喜歡CMake，因?yàn)樗橄罅藰?gòu)建目標(biāo)并自動(dòng)為多個(gè)構(gòu)建引擎生成構(gòu)建腳本。同樣重要的是，它可以輕松擴(kuò)展到大型項(xiàng)目。

Parasoft C/C++test 2020.1提供了CMake擴(kuò)展，從而簡(jiǎn)化了將自動(dòng)軟件測(cè)試引入構(gòu)建過(guò)程的過(guò)程。

靜態(tài)分析還可以通過(guò)CMake生成的compile-info JSON文件輕松集成。在文章“將Parasoft C/C++test與CMake結(jié)合使用以進(jìn)行靜態(tài)分析”中了解如何操作。

現(xiàn)在使使用CMake進(jìn)行C/C++測(cè)試單元測(cè)試變得更加容易。可以在CMakeLists.txt文件中定義自動(dòng)生成必要的測(cè)試基礎(chǔ)結(jié)構(gòu)的特殊單元測(cè)試目標(biāo)，該文件具有C/C++test擴(kuò)展隨附的專用功能。請(qǐng)參閱有關(guān)將Parasoft C/C++test與CMake一起用于單元測(cè)試的文章。

促進(jìn)創(chuàng)作單元測(cè)試

生產(chǎn)性單元測(cè)試的創(chuàng)建一直是一個(gè)挑戰(zhàn)。符合功能安全標(biāo)準(zhǔn)要求高質(zhì)量的軟件，這推動(dòng)了對(duì)影響和產(chǎn)生高代碼覆蓋率統(tǒng)計(jì)信息的測(cè)試套件的需求。團(tuán)隊(duì)需要單元測(cè)試用例，以幫助他們實(shí)現(xiàn)100％的代碼覆蓋率。

說(shuō)起來(lái)容易做起來(lái)難。分析代碼中的分支，并試圖找出未涵蓋某些代碼部分的原因，這繼續(xù)竊取了開發(fā)團(tuán)隊(duì)的精力。

Parasoft創(chuàng)新解決了問(wèn)題

C/C++test的發(fā)行版引入了全新的功能，可幫助解決代碼中的覆蓋空白。 Parasoft發(fā)現(xiàn)了如何使用高級(jí)靜態(tài)代碼分析（數(shù)據(jù)和控制流分析）來(lái)查找執(zhí)行未發(fā)現(xiàn)代碼的特定行所需的輸入?yún)?shù)的值。

選擇要覆蓋的代碼行，Coverage Advisor將告訴您需要哪些輸入值，全局變量和外部調(diào)用來(lái)激發(fā)代碼并獲得覆蓋率。

Parasoft在2020年嵌入式世界（Embedded World 2020）活動(dòng)中展示了此功能，并受到與會(huì)人員以及參觀我們展位的行業(yè)從業(yè)者的好評(píng)。

基于機(jī)器學(xué)習(xí)的靜態(tài)分析結(jié)果自動(dòng)排序

采用靜態(tài)分析的最大挑戰(zhàn)之一是如何區(qū)分重要違規(guī)和次要違規(guī)。關(guān)鍵問(wèn)題應(yīng)首先解決。低優(yōu)先級(jí)或嘈雜的發(fā)現(xiàn)應(yīng)被忽略，或者應(yīng)將反應(yīng)推遲到關(guān)鍵結(jié)果得到解決為止。

在C/C++test 2020.1版本中，Parasoft引入了基于AI和ML的創(chuàng)新功能，以通過(guò)自動(dòng)優(yōu)先級(jí)排序功能增強(qiáng)靜態(tài)分析。該功能通過(guò)從開發(fā)人員與靜態(tài)分析結(jié)果的交互中學(xué)習(xí)來(lái)擴(kuò)展Parasoft的DTP核心功能，并應(yīng)用經(jīng)過(guò)訓(xùn)練的模型來(lái)自動(dòng)對(duì)新發(fā)現(xiàn)的違規(guī)進(jìn)行優(yōu)先級(jí)排序。

該創(chuàng)新使組織可以通過(guò)減少軟件質(zhì)量上的人工來(lái)立即提高生產(chǎn)率。努力并確保他們將寶貴的時(shí)間花在最重要的事情上。

MISRA C:2012 Amendment 2的更新

MISRA C：2012仍然是最流行的C編程語(yǔ)言編碼標(biāo)準(zhǔn)。它最近進(jìn)行了更新以支持C語(yǔ)言的發(fā)展。MISRA C:2012 Amendment 2現(xiàn)在支持編碼標(biāo)準(zhǔn)C11和C18。

Amendment 2采用了限制性方法，并禁止使用新的語(yǔ)言擴(kuò)展，這些擴(kuò)展對(duì)安全性的影響尚未得到全面分析，因此有新的指導(dǎo)原則。預(yù)計(jì)將來(lái)會(huì)有更具體的指南。

Parasoft是第一個(gè)支持MISRA C:2012 Amendment 2的供應(yīng)商。C/C++test 2020.1的發(fā)行版涵蓋了整套新指南。

增強(qiáng)的單元測(cè)試框架，以更好地支持內(nèi)核級(jí)代碼的測(cè)試

具有各種傳感器和執(zhí)行器的嵌入式設(shè)備變得越來(lái)越復(fù)雜，驅(qū)動(dòng)程序的源代碼也越來(lái)越復(fù)雜。許多團(tuán)隊(duì)都在努力建立測(cè)試流程，以使他們能夠驗(yàn)證其項(xiàng)目的功能安全性。

我們收到了多個(gè)請(qǐng)求，以幫助實(shí)現(xiàn)流程自動(dòng)化。我們?cè)鰪?qiáng)的單元測(cè)試框架已成功用于測(cè)試Linux和LynxOS 178內(nèi)核代碼。

AUTOSAR C++規(guī)則集

Parasoft C/C++test為所需的自動(dòng)化指南提供了100％的覆蓋率，并且在支持AUTOSAR C++編碼標(biāo)準(zhǔn)方面處于領(lǐng)先地位。Parasoft繼續(xù)致力于部分自動(dòng)化類別的一些檢查器。

這是標(biāo)準(zhǔn)的類別，不能完全用靜態(tài)分析代替（根據(jù)準(zhǔn)則的性質(zhì)），但是該工具有足夠的空間來(lái)幫助您并減少手動(dòng)開銷。 Parasoft C/C++test 2020.1版本為最重要的C++編碼標(biāo)準(zhǔn)帶來(lái)了五個(gè)新的檢查器。

為C/C++test 2020.2做準(zhǔn)備

在當(dāng)前的全球健康危機(jī)中，我們所有人都經(jīng)歷了一個(gè)難得的歷史時(shí)刻。 Parasoft的員工在其家庭辦公室努力工作，以成功交付具有我們承諾的所有功能的C/C++test 2020.1版本。我們將繼續(xù)保持專注，并已著手開發(fā)下一個(gè)版本。 2020.2將于10月發(fā)布。敬請(qǐng)關(guān)注！