那曲檬骨新材料有限公司

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

代碼靜態測試工具Helix QAC 2023.4新發布

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

Helix QAC 2023.4 為新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023? 規則覆蓋率。此版本還包括擴展的 C++20 語言支持、數據流分析的性能改進以及整個產品中的許多產品體驗增強功能。

增強對 C++20的 支持
此版本添加了以下語言功能支持:
? 模板參數列表和函數聲明的 requires-clause 約束
? 非類型約束的縮寫函數模板聲明

通過緩存提高數據流性能
? 通過求解器緩存縮短增量分析的數據流分析時間
? 對選定項目的測試表明,與第二次分析運行相比,分析時間縮短了 50% 以上
? 數據流還能夠通過緩存在函數超時期限內完成更多分析

增強的 GNU 和 ISO C 算術類型支持
? 改進了 QAC 對文本和算術類型的處理,以顯著改善對語言中未充分利用的區域的支持,這些區域包括復雜類型、供應商擴展類型和具有異常運算符的復雜表達式

編碼標準覆蓋率(MISRA C++:2023?、HKMC、CERT)

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

更新的合規性模塊
? HKMC映射更新
? 添加了嚴重性、優先級和級別的 CERT 類別
? 改進了 MISRA C:2023 合規性模塊規則的日語翻譯
? 改進選定標準的執行:
? MISRA C:2023 規則 9.3、10.3、10.5
? AUTOSAR規則A3-8-1。AV-1-2
? MISRA C++ 規則 6-2-2

框架
? 改進了對宏擴展和模板實例化歷史記錄的跟蹤,以幫助診斷問題
? 增強的基于注釋的抑制引擎,允許每行有多個偏差原因

提高產品體驗
支持具有自動 CCT 生成功能的其他編譯器
? Synopsys Metaware
? Cadence Tensilica
? TI C6000系列
? Qualcomm Hexagon
? Clang 15
? Embarcadero BCC64

Visual Studio Code IDE 插件
? 改進了 VS Code 插件以支持遠程分析器執行

Visual Studio 和 Eclipse IDE 插件
? 總體穩定性改進

Validate
? 支持從 CLI 和 GUI 創建Validate項目

CLI
? 新的 qacli 視圖 選項,用于輸出規則沖突詳細信息
? 增強了 %K 類別說明符,以便更輕松地映射到規則
? 不存在 HOME 環境變量的故障

GUI
? 項目列表中的新上下文菜單項,用于打開項目位置
? 樹視圖面板中的文件名搜索
? 新的上下文菜單項,用于打開所選文件的預處理源
? 從源碼跳轉到預處理的源文件

Helix QAC 2023.4 中的重要更改
合規性模塊目錄更改
從 Helix QAC 2023.4 開始,該工具不再從舊的“PRQA”目錄中讀取合規性模塊。合規性模塊將僅從等效的“Perforce”文件目錄中讀取。

以下是現已過時的文件目錄:
? %LOCALAPPDATA%\PRQA\installed_components.in
? %PROGRAMDATA%\PRQA\installed_components.ini
? ${HOME}/.config/PRQA/installed_components.ini
? /etc/prqa.d/installed_components.ini

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 嵌入式
    +關注

    關注

    5092

    文章

    19177

    瀏覽量

    307673
  • 代碼
    +關注

    關注

    30

    文章

    4825

    瀏覽量

    69049
  • 測試工具
    +關注

    關注

    0

    文章

    57

    瀏覽量

    11970
  • 靜態測試
    +關注

    關注

    0

    文章

    26

    瀏覽量

    6547
收藏 人收藏

    評論

    相關推薦

    Web端TCP/UDP測試工具!小白必學~

    : 02. 終端在代碼里面填上對應的IP:112.125.89.8,TCP端口填上46095,然后打開Socket; 03. TCP連接建立后,TCP/UDP web測試工具會在界面上顯示連上來的
    的頭像 發表于 01-08 18:17 ?278次閱讀
    Web端TCP/UDP<b class='flag-5'>測試工具</b>!小白必學~

    嵌入軟件單元/集成測試工具專業分析

    引言 在現代軟件開發過程中,單元測試作為確保代碼質量的重要環節,得到了廣泛的關注和應用。隨著嵌入式系統的復雜性日益增加,對高效、可靠的單元測試工具的需求也愈加迫切。WinAMS作為一款專為嵌入
    的頭像 發表于 11-19 16:41 ?298次閱讀

    Helix QAC 2024.3新特性速覽

    Helix QAC 2024.3 附帶適用于?Windows?和?Linux?的基于?Qt?的新安裝程序,并增強了對Validate SAML/OIDC?身份驗證的支持。此版本還包括對某些環境的 Dataflow 穩健性的改進,以及整個產品中的許多質量增強功能。
    的頭像 發表于 11-06 15:42 ?331次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.3新特性速覽

    汽車異構硬件平臺開發如何進行靜態代碼分析

    先進的靜態代碼分析工具,其新版本中引入的多CCT功能為開發人員提供了強大的支持,該功能不僅簡化了多編譯器環境下的代碼分析過程,還可以極大增強代碼
    的頭像 發表于 10-09 16:15 ?587次閱讀
    汽車異構硬件平臺開發如何進行<b class='flag-5'>靜態</b><b class='flag-5'>代碼</b>分析

    Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

    ?和Klocwork的最新版本對靜態分析工具進行了重大改進,通過盡早修復錯誤、降低開發成本和加快發布速度,使開發團隊實現左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/CD和左移以
    的頭像 發表于 10-08 16:22 ?340次閱讀
    Perforce<b class='flag-5'>靜態</b>分析<b class='flag-5'>工具</b>2024.2新增功能:<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

    恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?

    測試海外靜態IP服務的穩定性和速度可以通過以下步驟進行: 1、選擇測試工具:使用網絡測試工具,如ping命令、traceroute(或 racert)、網絡速度
    的頭像 發表于 08-14 14:58 ?406次閱讀

    代碼靜態測試工具Klocwork 2024.2新發布

    Klocwork 2024.2 為現代?C/C++?分析引擎引入了顯著的準確性和性能改進。此版本還包括增強的安全性和身份驗證功能以及改進的用戶體驗,以及?MISRA??和?CERT?規則集改進、Java?語言增強功能以及?Kotlin?的新?CWE?映射。
    的頭像 發表于 08-06 12:16 ?327次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態</b><b class='flag-5'>測試工具</b>Klocwork 2024.2<b class='flag-5'>新發布</b>

    代碼靜態測試工具Helix QAC 2024.2新發

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

    DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用

    如何使用靜態代碼分析工具(如Klocwork 和 Helix QAC)實現質量門。 什么是質量門? 質量門是在IT或開發項目中實施的檢查點,
    的頭像 發表于 07-29 15:12 ?475次閱讀

    新品發布 | 多通道車載以太網仿真測試工具

    新品發布Newproductsrelease隨著汽車電子技術的快速發展,車載以太網仿真測試工具在汽車行業中的應用廣泛且重要,它們主要用于測試、驗證和優化車載以太網系統的性能、可靠性和兼容性。同星智能
    的頭像 發表于 07-27 08:21 ?977次閱讀
    新品<b class='flag-5'>發布</b> | 多通道車載以太網仿真<b class='flag-5'>測試工具</b>

    什么是質量閘門?

    速度。 一些靜態分析工具 —— 像 Klocwork 和 Helix QAC —— 可以在新代碼進入時執行合并請求分析。質量閘門防止您的提交
    的頭像 發表于 07-16 23:11 ?274次閱讀
    什么是質量閘門?

    CAN總線測試工具的主要功能

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

    探討AI編寫代碼技術,以及提高代碼質量的關鍵:靜態代碼分析工具Perforce Helix QAC &amp; Klocwork

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

    代碼靜態測試工具 Helix QAC 2024.1版新功能解讀

    Helix QAC 2024.1改進了對C++20和C23語言特性的支持,并增加了分析使用多個編譯器的項目的新功能。此外,Validate增強了對于搜索功能和角色權限的用戶體驗,并且包括一個
    的頭像 發表于 04-25 12:32 ?674次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態</b><b class='flag-5'>測試工具</b> <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.1版新功能解讀

    嵌入軟件單元測試工具的作用

    測試單元進行測試,來驗證其是否按照設計要求正常工作。 嵌入軟件單元測試工具能夠提高開發人員的工作效率和軟件質量。首先,它可以幫助開發人員快速地發現代碼中的錯誤和問題。通過自動化
    的頭像 發表于 04-23 15:31 ?468次閱讀
    嵌入軟件單元<b class='flag-5'>測試工具</b>的作用
    bet365娱乐场下载| 狮威百家乐官网赌场娱乐网规则 | 百家乐筹码防伪| 紫阳县| 送彩金百家乐官网的玩法技巧和规则 | 百家乐经验博彩正网| 一起游乐棋牌下载| 保时捷百家乐官网娱乐城| 百家乐官网视频麻将| 地理风水24山72局杨公水法| 赌百家乐2号破解| 老k百家乐官网游戏| 百家乐看澳门| 威宁| 大亨百家乐娱乐城| 走地| 风水24山组成| 易胜博娱乐城| 做生意买车白色风水| 六盘水市| 玩百家乐游戏的最高技巧| 百家乐官网怎么才会赢| 缅甸百家乐娱乐| 凤凰县| 赌博百家乐秘籍| 金都国际娱乐| 电脑版百家乐下注技巧| 百家乐官网榄梯打法| 视频百家乐试玩| 玩百家乐官网秘诀| 波音赌场| 玉环县| 百家乐娱乐网真钱游戏| 百家乐官网庄闲符号记| 大发888全部的网站地址| 百家乐官网五湖四海娱乐网 | 百家乐最新首存优惠| 太阳城百家乐官网娱乐开户| 百家乐平预测软件| 百家乐里面的奥妙| 百家乐官网實戰後二穩賺|