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

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

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

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

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

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

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

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

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

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

Dockerized部署

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

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

使用容器可以輕松完成這些以及許多其他繁瑣且耗時的任務(wù)。它們在很多方面都很棒。

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

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

CMake擴展

 CMake可能是管理構(gòu)建和測試，打包軟件并在C/C++領(lǐng)域中部署它的最受歡迎的工具。團隊喜歡CMake，因為它抽象了構(gòu)建目標(biāo)并自動為多個構(gòu)建引擎生成構(gòu)建腳本。同樣重要的是，它可以輕松擴展到大型項目。

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

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

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

促進創(chuàng)作單元測試

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

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

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

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

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

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

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

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

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

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

MISRA C:2012 Amendment 2的更新

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

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

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

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

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

我們收到了多個請求，以幫助實現(xiàn)流程自動化。我們增強的單元測試框架已成功用于測試Linux和LynxOS 178內(nèi)核代碼。

AUTOSAR C++規(guī)則集

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

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

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

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