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

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

• 加快上市時(shí)間

• 自動(dòng)化合規(guī)性

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

新版本能夠做到什么？

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

C/C++test 2023.1亮點(diǎn)：

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

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

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

更多亮點(diǎn)

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

• Atomics (_Atomic, )

• Multi-threading ( )

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

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

• 未使用的對(duì)象

• 短整形

• 鏈?zhǔn)匠跏蓟?

• 可變修改數(shù)組

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

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

開(kāi)發(fā)團(tuán)隊(duì)所使用的流分析的性能顯著提高25%。此外，更少的文件將被排除在分析之外，從而提高結(jié)果的準(zhǔn)確性。

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

申請(qǐng)一個(gè)Demo，看看Parasoft的解決方案如何幫助嵌入式開(kāi)發(fā)團(tuán)隊(duì)遵守最新版本的編碼標(biāo)準(zhǔn)，縮短產(chǎn)品開(kāi)發(fā)時(shí)間，節(jié)省成本。