Parasoft是一家專門提供軟件測試解決方案的公司，Parasoft通過其經(jīng)過市場驗證的自動化軟件測試工具集成套件，幫助企業(yè)持續(xù)交付高質量的軟件。Parasoft的技術支持嵌入式、企業(yè)和物聯(lián)網(wǎng)市場，通過將靜態(tài)代碼分析和單元測試、Web UI和API測試等所有內(nèi)容集成到交付管道中，再加上服務虛擬化和完整的代碼覆蓋率，減少了交付安全、可靠和合規(guī)軟件所需的時間、精力和成本。

Parasoft 產(chǎn)品免費試用

Parasoft C/C++新版本發(fā)布

2023年5月31日——嵌入式軟件測試解決方案的全球領導者Parasoft宣布發(fā)布C/C++test 2023.1版本，完全支持MISRA C 2023和MISRA C 2012及其修正案4。MISRA C是軟件開發(fā)C語言安全可靠的，并且最受歡迎的編碼標準。新版本幫助開發(fā)人員自動執(zhí)行靜態(tài)代碼分析和編碼標準合規(guī)性，提高生產(chǎn)力，并縮短了上市時間。最新版本引入了廣泛的新功能和增強功能，旨在：

• 提高整個軟件開發(fā)生命周期的生產(chǎn)力

• 加快上市時間

• 自動化合規(guī)性

• 確保交付安全、可靠和合規(guī)的應用程序

新版本能夠做到什么？

Parasoft C/C++test 2023.1提高了嵌入式開發(fā)人員的生產(chǎn)力，并確保了安全的軟件開發(fā)。

C/C++test 2023.1亮點：

• Parasoft發(fā)布C/C++test 2023.1，為MISRA C 2023提供完整的支持

• C/C++test 2023.1是HIS指標最全面的解決方案，簡化了源代碼復雜性要求的執(zhí)行，并降低了合規(guī)成本

• 團隊的靜態(tài)分析性能提高了25%，從而提高了生產(chǎn)力并降低了開發(fā)成本

更多亮點

隨著 MISRA C 2023 的發(fā)布，開發(fā)人員現(xiàn)在有了確保安全可靠地使用 C11 功能的規(guī)則，例如：

• Atomics (_Atomic, )

• Multi-threading ( )

Parasoft的合規(guī)性報告模塊也已經(jīng)進行了相應的更新，確保Parasoft DTP中提供MISRA合規(guī)性報告，將測試結果整合到智能儀表板、詳細報告和可操作的分析中。這可以讓用戶使用最新版本的MISRA C 2023標準。

C/C++test 2023.1的主要亮點之一是全面和持續(xù)地執(zhí)行安全和合規(guī)編碼標準。MISRA C 2023的加入引入了19條新規(guī)則和3條新指令，這些指令適用在編寫代碼時。這包括關于使用以下工具的進一步指導：

• 未使用的對象

• 短整形

• 鏈式初始化

• 可變修改數(shù)組

使用新版本，您將能夠得到：

Parasoft致力于確保我們的客戶在軟件測試自動化方面獲得最新的技術支持。Parasoft的首席產(chǎn)品官Igor Kirilenko表示：“此版本的C/C++test完全支持最新的MISRA C 2023標準，并包含其他軟件測試自動化解決方案，可以減少工作量和成本，并確保交付安全、可靠和高質量的應用程序。”

開發(fā)團隊所使用的流分析的性能顯著提高25%。此外，更少的文件將被排除在分析之外，從而提高結果的準確性。

C/C++test 2023.1擴展了對DevOps CI/CD工作流程的支持，提供了新的C/C++test Bazel集成包。這種集成使開發(fā)人員能夠無縫地將Parasoft的靜態(tài)分析集成到任何Bazel CI管道中，從而簡化開發(fā)過程。團隊可以簡化基于Bazel的項目的靜態(tài)分析部署，并減少集成和維護工具鏈所需的時間。

申請一個Demo，看看Parasoft的解決方案如何幫助嵌入式開發(fā)團隊遵守最新版本的編碼標準，縮短產(chǎn)品開發(fā)時間，節(jié)省成本。

了解更多有關Parasoft產(chǎn)品咨詢，歡迎咨詢