RM新时代网站-首页

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評(píng)論與回復(fù)
登錄后你可以
  • 下載海量資料
  • 學(xué)習(xí)在線(xiàn)課程
  • 觀(guān)看技術(shù)視頻
  • 寫(xiě)文章/發(fā)帖/加入社區(qū)
會(huì)員中心
創(chuàng)作中心

完善資料讓更多小伙伴認(rèn)識(shí)你,還能領(lǐng)取20積分哦,立即完善>

3天內(nèi)不再提示

代碼靜態(tài)測(cè)試工具Helix QAC 2023.4新發(fā)布

北匯信息POLELINK ? 2024-01-13 12:25 ? 次閱讀

Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規(guī)則覆蓋率。此版本還包括擴(kuò)展的 C++20 語(yǔ)言支持、數(shù)據(jù)流分析的性能改進(jìn)以及整個(gè)產(chǎn)品中的許多產(chǎn)品體驗(yàn)增強(qiáng)功能。

增強(qiáng)對(duì) C++20的 支持
此版本添加了以下語(yǔ)言功能支持:
? 模板參數(shù)列表和函數(shù)聲明的 requires-clause 約束
? 非類(lèi)型約束的縮寫(xiě)函數(shù)模板聲明

通過(guò)緩存提高數(shù)據(jù)流性能
? 通過(guò)求解器緩存縮短增量分析的數(shù)據(jù)流分析時(shí)間
? 對(duì)選定項(xiàng)目的測(cè)試表明,與第二次分析運(yùn)行相比,分析時(shí)間縮短了 50% 以上
? 數(shù)據(jù)流還能夠通過(guò)緩存在函數(shù)超時(shí)期限內(nèi)完成更多分析

增強(qiáng)的 GNU 和 ISO C 算術(shù)類(lèi)型支持
? 改進(jìn)了 QAC 對(duì)文本和算術(shù)類(lèi)型的處理,以顯著改善對(duì)語(yǔ)言中未充分利用的區(qū)域的支持,這些區(qū)域包括復(fù)雜類(lèi)型、供應(yīng)商擴(kuò)展類(lèi)型和具有異常運(yùn)算符的復(fù)雜表達(dá)式

編碼標(biāo)準(zhǔn)覆蓋率(MISRA C++:2023?、HKMC、CERT)

MISRA C++:2023
Helix QAC 發(fā)布了 MISRA C++:2023 規(guī)則的 100% 執(zhí)行覆蓋率,并為 2023.3 和 2023.4 提供了新的 MCPP 合規(guī)模塊。

更新的合規(guī)性模塊
? HKMC映射更新
? 添加了嚴(yán)重性、優(yōu)先級(jí)和級(jí)別的 CERT 類(lèi)別
? 改進(jìn)了 MISRA C:2023 合規(guī)性模塊規(guī)則的日語(yǔ)翻譯
? 改進(jìn)選定標(biāo)準(zhǔn)的執(zhí)行:
? MISRA C:2023 規(guī)則 9.3、10.3、10.5
? AUTOSAR規(guī)則A3-8-1。AV-1-2
? MISRA C++ 規(guī)則 6-2-2

框架
? 改進(jìn)了對(duì)宏擴(kuò)展和模板實(shí)例化歷史記錄的跟蹤,以幫助診斷問(wèn)題
? 增強(qiáng)的基于注釋的抑制引擎,允許每行有多個(gè)偏差原因

提高產(chǎn)品體驗(yàn)
支持具有自動(dòng) CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64

Visual Studio Code IDE 插件
? 改進(jìn)了 VS Code 插件以支持遠(yuǎn)程分析器執(zhí)行

Visual Studio 和 Eclipse IDE 插件
? 總體穩(wěn)定性改進(jìn)

Validate
? 支持從 CLI 和 GUI 創(chuàng)建Validate項(xiàng)目

CLI
? 新的 qacli 視圖 選項(xiàng),用于輸出規(guī)則沖突詳細(xì)信息
? 增強(qiáng)了 %K 類(lèi)別說(shuō)明符,以便更輕松地映射到規(guī)則
? 不存在 HOME 環(huán)境變量的故障

GUI
? 項(xiàng)目列表中的新上下文菜單項(xiàng),用于打開(kāi)項(xiàng)目位置
? 樹(shù)視圖面板中的文件名搜索
? 新的上下文菜單項(xiàng),用于打開(kāi)所選文件的預(yù)處理源
? 從源碼跳轉(zhuǎn)到預(yù)處理的源文件

Helix QAC 2023.4 中的重要更改
合規(guī)性模塊目錄更改
從 Helix QAC 2023.4 開(kāi)始,該工具不再?gòu)呐f的“PRQA”目錄中讀取合規(guī)性模塊。合規(guī)性模塊將僅從等效的“Perforce”文件目錄中讀取。

以下是現(xiàn)已過(guò)時(shí)的文件目錄:
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini

聲明:本文內(nèi)容及配圖由入駐作者撰寫(xiě)或者入駐合作網(wǎng)站授權(quán)轉(zhuǎn)載。文章觀(guān)點(diǎn)僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場(chǎng)。文章及其配圖僅供工程師學(xué)習(xí)之用,如有內(nèi)容侵權(quán)或者其他違規(guī)問(wèn)題,請(qǐng)聯(lián)系本站處理。 舉報(bào)投訴
  • 嵌入式
    +關(guān)注

    關(guān)注

    5082

    文章

    19104

    瀏覽量

    304800
  • 代碼
    +關(guān)注

    關(guān)注

    30

    文章

    4779

    瀏覽量

    68521
  • 測(cè)試工具
    +關(guān)注

    關(guān)注

    0

    文章

    53

    瀏覽量

    11919
  • 靜態(tài)測(cè)試
    +關(guān)注

    關(guān)注

    0

    文章

    26

    瀏覽量

    6516
收藏 人收藏

    評(píng)論

    相關(guān)推薦

    嵌入軟件單元/集成測(cè)試工具專(zhuān)業(yè)分析

    引言 在現(xiàn)代軟件開(kāi)發(fā)過(guò)程中,單元測(cè)試作為確保代碼質(zhì)量的重要環(huán)節(jié),得到了廣泛的關(guān)注和應(yīng)用。隨著嵌入式系統(tǒng)的復(fù)雜性日益增加,對(duì)高效、可靠的單元測(cè)試工具的需求也愈加迫切。WinAMS作為一款專(zhuān)為嵌入
    的頭像 發(fā)表于 11-19 16:41 ?219次閱讀

    Helix QAC 2024.3新特性速覽

    Helix QAC 2024.3 附帶適用于?Windows?和?Linux?的基于?Qt?的新安裝程序,并增強(qiáng)了對(duì)Validate SAML/OIDC?身份驗(yàn)證的支持。此版本還包括對(duì)某些環(huán)境的 Dataflow 穩(wěn)健性的改進(jìn),以及整個(gè)產(chǎn)品中的許多質(zhì)量增強(qiáng)功能。
    的頭像 發(fā)表于 11-06 15:42 ?247次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.3新特性速覽

    汽車(chē)異構(gòu)硬件平臺(tái)開(kāi)發(fā)如何進(jìn)行靜態(tài)代碼分析

    先進(jìn)的靜態(tài)代碼分析工具,其新版本中引入的多CCT功能為開(kāi)發(fā)人員提供了強(qiáng)大的支持,該功能不僅簡(jiǎn)化了多編譯器環(huán)境下的代碼分析過(guò)程,還可以極大增強(qiáng)代碼
    的頭像 發(fā)表于 10-09 16:15 ?508次閱讀
    汽車(chē)異構(gòu)硬件平臺(tái)開(kāi)發(fā)如何進(jìn)行<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析

    Perforce靜態(tài)分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進(jìn)和安全增強(qiáng)

    ?和Klocwork的最新版本對(duì)靜態(tài)分析工具進(jìn)行了重大改進(jìn),通過(guò)盡早修復(fù)錯(cuò)誤、降低開(kāi)發(fā)成本和加快發(fā)布速度,使開(kāi)發(fā)團(tuán)隊(duì)實(shí)現(xiàn)左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/CD和左移以
    的頭像 發(fā)表于 10-08 16:22 ?273次閱讀
    Perforce<b class='flag-5'>靜態(tài)</b>分析<b class='flag-5'>工具</b>2024.2新增功能:<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>全新CI/CD集成支持、Klocwork分析引擎改進(jìn)和安全增強(qiáng)

    恒訊科技分析:如何測(cè)試海外靜態(tài)IP服務(wù)的穩(wěn)定性和速度?

    測(cè)試海外靜態(tài)IP服務(wù)的穩(wěn)定性和速度可以通過(guò)以下步驟進(jìn)行: 1、選擇測(cè)試工具:使用網(wǎng)絡(luò)測(cè)試工具,如ping命令、traceroute(或 racert)、網(wǎng)絡(luò)速度
    的頭像 發(fā)表于 08-14 14:58 ?334次閱讀

    代碼靜態(tài)測(cè)試工具Klocwork 2024.2新發(fā)布

    Klocwork 2024.2 為現(xiàn)代?C/C++?分析引擎引入了顯著的準(zhǔn)確性和性能改進(jìn)。此版本還包括增強(qiáng)的安全性和身份驗(yàn)證功能以及改進(jìn)的用戶(hù)體驗(yàn),以及?MISRA??和?CERT?規(guī)則集改進(jìn)、Java?語(yǔ)言增強(qiáng)功能以及?Kotlin?的新?CWE?映射。
    的頭像 發(fā)表于 08-06 12:16 ?256次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b>Klocwork 2024.2<b class='flag-5'>新發(fā)布</b>

    代碼靜態(tài)測(cè)試工具Helix QAC 2024.2新發(fā)

    Helix QAC 2024.2 帶來(lái)了新的特性和功能,為開(kāi)發(fā)過(guò)程增加了靈活的選項(xiàng)。用戶(hù)使用新的 CI 分析通過(guò) Validate 獲得完整的 CI 集成支持,從而輕松管理 CI/CD 更改分析結(jié)果并加快測(cè)試反饋速度,并使用新的
    的頭像 發(fā)表于 08-05 17:40 ?342次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b><b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.2<b class='flag-5'>新發(fā)</b>

    DevOps中的質(zhì)量門(mén)工作原理,以及靜態(tài)代碼分析Klocwork和Perforce Helix QAC在質(zhì)量門(mén)中的實(shí)踐應(yīng)用

    如何使用靜態(tài)代碼分析工具(如Klocwork 和 Helix QAC)實(shí)現(xiàn)質(zhì)量門(mén)。 什么是質(zhì)量門(mén)? 質(zhì)量門(mén)是在IT或開(kāi)發(fā)項(xiàng)目中實(shí)施的檢查點(diǎn),
    的頭像 發(fā)表于 07-29 15:12 ?387次閱讀

    新品發(fā)布 | 多通道車(chē)載以太網(wǎng)仿真測(cè)試工具

    新品發(fā)布Newproductsrelease隨著汽車(chē)電子技術(shù)的快速發(fā)展,車(chē)載以太網(wǎng)仿真測(cè)試工具在汽車(chē)行業(yè)中的應(yīng)用廣泛且重要,它們主要用于測(cè)試、驗(yàn)證和優(yōu)化車(chē)載以太網(wǎng)系統(tǒng)的性能、可靠性和兼容性。同星智能
    的頭像 發(fā)表于 07-27 08:21 ?904次閱讀
    新品<b class='flag-5'>發(fā)布</b> | 多通道車(chē)載以太網(wǎng)仿真<b class='flag-5'>測(cè)試工具</b>

    CAN總線(xiàn)測(cè)試工具的主要功能

    CAN總線(xiàn)測(cè)試工具是用于測(cè)試CAN(Controller Area Network)總線(xiàn)通信的軟件或硬件工具,其功能豐富且多樣化。以下是CAN總線(xiàn)測(cè)試工具的主要功能,以分點(diǎn)表示和歸納:
    的頭像 發(fā)表于 06-25 16:02 ?1051次閱讀

    探討AI編寫(xiě)代碼技術(shù),以及提高代碼質(zhì)量的關(guān)鍵:靜態(tài)代碼分析工具Perforce Helix QAC &amp; Klocwork

    令軟件開(kāi)發(fā)人員夜不能寐的事情比比皆是。如今,他們最關(guān)心的問(wèn)題不再是如何用自己喜歡的語(yǔ)言(C、C++、Erlang、Java 等)表達(dá)最新的算法,而是人工智能(AI)。 本文中,我們將介紹AI編寫(xiě)代碼
    的頭像 發(fā)表于 06-05 14:10 ?395次閱讀

    代碼靜態(tài)測(cè)試工具 Helix QAC 2024.1版新功能解讀

    Helix QAC 2024.1改進(jìn)了對(duì)C++20和C23語(yǔ)言特性的支持,并增加了分析使用多個(gè)編譯器的項(xiàng)目的新功能。此外,Validate增強(qiáng)了對(duì)于搜索功能和角色權(quán)限的用戶(hù)體驗(yàn),并且包括一個(gè)
    的頭像 發(fā)表于 04-25 12:32 ?597次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b> <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.1版新功能解讀

    嵌入軟件單元測(cè)試工具的作用

    測(cè)試單元進(jìn)行測(cè)試,來(lái)驗(yàn)證其是否按照設(shè)計(jì)要求正常工作。 嵌入軟件單元測(cè)試工具能夠提高開(kāi)發(fā)人員的工作效率和軟件質(zhì)量。首先,它可以幫助開(kāi)發(fā)人員快速地發(fā)現(xiàn)代碼中的錯(cuò)誤和問(wèn)題。通過(guò)自動(dòng)化
    的頭像 發(fā)表于 04-23 15:31 ?428次閱讀
    嵌入軟件單元<b class='flag-5'>測(cè)試工具</b>的作用

    Helix QAC—軟件靜態(tài)測(cè)試工具

    Helix QAC是Perforce公司(原PRQA公司)產(chǎn)品,主要用于C/C++代碼的自動(dòng)化靜態(tài)分析工作,可以提供編碼規(guī)則以及信息安全相關(guān)檢查、
    的頭像 發(fā)表于 01-10 17:35 ?654次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>—軟件<b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b>

    網(wǎng)絡(luò)安全測(cè)試工具有哪些類(lèi)型

    可以分為以下幾大類(lèi)型: 漏洞掃描器 漏洞掃描器是一類(lèi)常見(jiàn)的網(wǎng)絡(luò)安全測(cè)試工具,用于檢測(cè)系統(tǒng)、網(wǎng)絡(luò)和應(yīng)用程序中存在的各種漏洞和安全風(fēng)險(xiǎn)。這些工具通過(guò)自動(dòng)化掃描和分析目標(biāo)系統(tǒng)中的配置和代碼,查找已知的漏洞,并生成詳
    的頭像 發(fā)表于 12-25 15:00 ?1280次閱讀
    RM新时代网站-首页