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

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

支持不斷發展的開發環境

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

用于靜態分析的Visual Studio代碼擴展

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

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

如果您使用VSCode進行開發，則不再需要離開自己喜歡的編輯器后面進行靜態分析，查看結果或修復報告的違規情況。

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

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

Dockerized部署

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

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

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

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

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

CMake擴展

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

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

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

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

促進創作單元測試

生產性單元測試的創建一直是一個挑戰。符合功能安全標準要求高質量的軟件，這推動了對影響和產生高代碼覆蓋率統計信息的測試套件的需求。團隊需要單元測試用例，以幫助他們實現100％的代碼覆蓋率。

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

Parasoft創新解決了問題

C/C++test的發行版引入了全新的功能，可幫助解決代碼中的覆蓋空白。 Parasoft發現了如何使用高級靜態代碼分析（數據和控制流分析）來查找執行未發現代碼的特定行所需的輸入參數的值。

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

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

基于機器學習的靜態分析結果自動排序

采用靜態分析的最大挑戰之一是如何區分重要違規和次要違規。關鍵問題應首先解決。低優先級或嘈雜的發現應被忽略，或者應將反應推遲到關鍵結果得到解決為止。

在C/C++test 2020.1版本中，Parasoft引入了基于AI和ML的創新功能，以通過自動優先級排序功能增強靜態分析。該功能通過從開發人員與靜態分析結果的交互中學習來擴展Parasoft的DTP核心功能，并應用經過訓練的模型來自動對新發現的違規進行優先級排序。

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

MISRA C:2012 Amendment 2的更新

MISRA C：2012仍然是最流行的C編程語言編碼標準。它最近進行了更新以支持C語言的發展。MISRA C:2012 Amendment 2現在支持編碼標準C11和C18。

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

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

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

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

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

AUTOSAR C++規則集

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

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

為C/C++test 2020.2做準備

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