工控網(wǎng)首頁
>

新聞中心

>

新品速遞

>

最新版本的Parasoft C/C++測試工具2024.1現(xiàn)已可用!

最新版本的Parasoft C/C++測試工具2024.1現(xiàn)已可用!

2024/12/16 15:58:42

微信圖片_20241216155905.jpg


New Parasoft C/C++test 2024.1 is now available


新聞亮點:


我們很高興地宣布推出C/C++test 2024.1版本,包含了一系列產(chǎn)品的改進。團隊需要跟上最新的安全編碼指南的變化,因此 Parasoft 進行了更新,以支持以下靜態(tài)分析安全合規(guī):

  • CWE Top 25 + On the Cusp 2023

  • OWASP API Security Top 10 2023

  • DISA ASD STIG 2022-09


增強的靜態(tài)分析

  • 流分析得到了增強,更好地支持現(xiàn)代C++結(jié)構(gòu),包括帶有初始化和結(jié)構(gòu)化綁定的if語句。這些增強功能支持更精確的代碼執(zhí)行模擬,并提高報告結(jié)果的準(zhǔn)確性。

  • 提高了 MISRA C++ 2023 規(guī)則的準(zhǔn)確性。

  • 添加了新的代碼分析規(guī)則來擴展遵從合規(guī)標(biāo)準(zhǔn)的覆蓋范圍。


微信圖片_20241216155910.png


  ?增強的覆蓋率分析

  • 對報告代碼覆蓋率的支持得到了增強。您可以啟用報告模式,在該模式中,會忽略編譯時已知結(jié)果的分支/決策。

微信圖片_20241216155915.png

?編譯器支持

除了這些出色的增強功能外,我們還擴展了支持的編譯器:

  • IAR ARM 9.4 和 9.5

  • HighTec for ARM 8.1

  • HighTec for TriCore 4.9

  • 具有擴展支持級別的 QNX GCC 8

?對IDE的支持

  • 支持最新版本的 Eclipse IDE(2021-09/4.21 - 2024-03/4.31)。

微信圖片_20241216155920.png

  ?其他更新

  • 增強了Bazel 構(gòu)建系統(tǒng)集成?,F(xiàn)在支持收集 Bazel 的代碼覆蓋率。有關(guān)詳細信息,請參閱“與 Bazel 集成”。

    https://docs.parasoft.com/display/CPPTESTPROEC20241/Integrating+with+Bazel 

  • 如果獨立許可證服務(wù)器配置為需要認(rèn)證,那么可以啟用認(rèn)證以連接到它;請參閱“許可和license.network.auth.enabled”。

    https://docs.parasoft.com/display/CPPTESTPROEC20241/Configuring+Localsettings#ConfiguringLocalsettings-license.network.auth.enabled

  • 您可以使用report.xml.param{n}.key和report.xml.param{n}.value設(shè)置來指定要添加到report.xml文件頭的自定義參數(shù)。

  • 可以通過使用 parasoft-instrumentation 覆蓋率注釋來禁用或啟用特定函數(shù)的覆蓋率插樁。請參閱“選擇性禁用覆蓋率插樁”。https://docs.parasoft.com/display/CPPTESTPROEC20241/Disabling+Coverage+Instrumentation+Selectively 

  • 隨附的 JRE 已升級到 17.0.10+7 版本。



升級說明:

為了對C/C++test 2024.1進行許可授權(quán),需要使用DTP或License Server。為了在成功授權(quán)產(chǎn)品后升級到C/C++test 2024.1,您必須先升級到DTP或License Server 2024.1。


聯(lián)系Parasoft,了解更多有關(guān)此版本的信息。

Parasoft | 業(yè)務(wù)咨詢

趙晨怡 Saliha Zhao

Parasoft中國營運總監(jiān)

電話|021-60932819-212

手機|18930203323

郵箱|Saliha.Zhao@parasoft.com


關(guān)于Parasoft

Parasoft通過其AI驅(qū)動的軟件測試平臺和自動化測試解決方案幫助組織持續(xù)提供高質(zhì)量的軟件。Parasoft成熟的技術(shù)支持嵌入式、企業(yè)和物聯(lián)網(wǎng)市場,通過將深度代碼分析和單元測試,Web UI和API測試,以及服務(wù)虛擬化和完整代碼覆蓋率整合到交付管道中,減少了為提供安全、可靠和合規(guī)軟件所需的時間、精力和成本。Parasoft屢獲殊榮的報告和分析儀表板匯集了所有以上所述,提供了集中的質(zhì)量視圖,使組織能夠自信地交付,并在當(dāng)今最具戰(zhàn)略性的生態(tài)系統(tǒng)和開發(fā)計劃中取得成功——信息安全、功能安全、敏捷、DevOps和持續(xù)測試。

微信圖片_20241216155924.gif




審核編輯(
唐楠
)
投訴建議

提交

查看更多評論
其他資訊

查看更多

魔方換電站-靈猴機器人

儲能三大創(chuàng)新產(chǎn)品全球首發(fā) 海辰儲能打開“能源自由·新世界”

南方周末科創(chuàng)力榜單出爐,這家企業(yè)的構(gòu)網(wǎng)黑科技驚艷全場

行業(yè)唯一!海爾智家入選中國企業(yè)社會責(zé)任榜

首個泰國DSC開業(yè)后,海爾智慧樓宇東南亞經(jīng)銷商大會成功舉辦