一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

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

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

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

靜態(tài)代碼測(cè)試工具Helix QAC 2023.1更新快訊:主打編碼標(biāo)準(zhǔn)覆蓋率

北匯信息POLELINK ? 2023-04-13 16:44 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

Helix QAC 2023.1 對(duì) MISRA C:2012修訂版4和MISRA C:2023的覆蓋率為100%,對(duì) AUTOSAR C++14的覆蓋率為96%。它還更新了CWE最新版本v4.10的合規(guī)模塊。

在這一版本中Helix QAC和Validate平臺(tái)的集成也有重大改進(jìn),Validate平臺(tái)提供了軟件對(duì)跨工程以及Perforce靜態(tài)分析產(chǎn)品的軟件洞察力。

編碼標(biāo)準(zhǔn)覆蓋范圍(MISRA C:2012修訂版4、MISRA C:2023、AUTOSAR 和 CWE)

MISRA針對(duì)C程序設(shè)計(jì)語(yǔ)言的軟件開(kāi)發(fā)指南。這些指南的目的是促進(jìn)嵌入式系統(tǒng)上下文中的代碼安全性、安全性、可移植性和可靠性。

?100%覆蓋 MISRA C:2012 修訂版4,包括新規(guī)則和 3 條指令以及對(duì)現(xiàn)有指南的更新。

?新的指南涵蓋了額外的C11/18特性,包括對(duì)Threads和Atomics標(biāo)準(zhǔn)庫(kù)的使用,以及對(duì)現(xiàn)有特性的新規(guī)則。

Helix QAC也對(duì)MISRA C:2023有100%的覆蓋度,該指南將以前的修訂、修正和技術(shù)整合為一個(gè)單一的、全面的版本。MISRA C:2023將于今年晚些時(shí)候出版。

AUTOSAR

AUTOSAR C++ 14 的覆蓋率已提高到 96%。

CWE

更新了CWE C 和 CWE C++ 合規(guī)模塊,以與最新版本的 CWE 4.10 保持一致。

Perforce Validate

持續(xù)安全性和代碼合規(guī)性平臺(tái)為嵌入式和關(guān)鍵任務(wù)應(yīng)用提供功能安全性、安全性、可靠性和質(zhì)量保證。

Validate平臺(tái)為整個(gè)組織的代碼庫(kù)提供分析數(shù)據(jù)、趨勢(shì)和配置的集中存儲(chǔ),為所有Perforce Static Analysis產(chǎn)品提供獨(dú)立平臺(tái)。

2023.1 改進(jìn)了 Helix QAC 和Validate平臺(tái)之間的集成。

?將問(wèn)題抑制狀態(tài)與Validate連接的項(xiàng)目同步

?桌面 GUI 和 Eclipse IDE 插件

?最新版本的項(xiàng)目基線支持

?Streams 功能為單個(gè)代碼庫(kù)提供變體、分支和版本的管理和高效報(bào)告

?改進(jìn)了使用Helix QAC桌面工具和Validate之間的Validate和QAC GUI/CLI診斷一致性生成的MISRA合規(guī)報(bào)告

?改進(jìn)了使用 Validate 和 QAC GUI/CLI 生成的 MISRA 合規(guī)性報(bào)告 Helix QAC 桌面工具和驗(yàn)證之間的診斷一致性

?上傳性能改進(jìn)

?WebAPI 功能,用于與 SDLC 中的其他工具和流程集成

提高生命質(zhì)量

CLI

?最新版本工程的Validata基線支持( qacli 基線)

?Validate獨(dú)立的檢查器和忽略功能 ( qacli 上傳)

?抑制同步

GUI

?驗(yàn)證依賴項(xiàng)檢查和忽略能力

?抑制同步到桌面

?MISRA 合規(guī)報(bào)告和標(biāo)準(zhǔn)合規(guī)報(bào)告的改進(jìn)

Eclipse IDE 插件

在IDE插件中Validate的連接支持

RCMA

?分析存儲(chǔ)器的使用和效率的提高

Helix QAC 2023.1中的重要改變

停止使用公告

CCT Generator在2023停止使用

Helix QAC 2023.1將不再支持傳統(tǒng)的獨(dú)立CCT生成工具。

Helix QA C2021.3中引入的’qainject’工具將取代當(dāng)前的CCT發(fā)生器。因此,使用遺留工具生成的CCT將被棄用,不再受支持。

從QAC軟件包中移除不支持的靜態(tài)CCT

通過(guò)使用帶有’qainject’的自動(dòng)CCT生成,改進(jìn)了對(duì)各種編譯器的構(gòu)建監(jiān)控, 到2023.1,以前包含在Helix QAC軟件包中的大多數(shù)靜態(tài)CCT將被刪除。自動(dòng)生成的與使用靜態(tài)默認(rèn)CCT相比,CCT有望提供更準(zhǔn)確的分析結(jié)果。除了GCC、Visual Studio和通用編譯器之外,所有的靜態(tài)CCT都被移除了。

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

    關(guān)注

    8

    文章

    5692

    瀏覽量

    128799
  • 靜態(tài)
    +關(guān)注

    關(guān)注

    1

    文章

    29

    瀏覽量

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

    關(guān)注

    30

    文章

    4900

    瀏覽量

    70670
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評(píng)論

    相關(guān)推薦
    熱點(diǎn)推薦

    HarmonyOS AI輔助編程工具(CodeGenie)代碼測(cè)試

    本功能從DevEco Studio 5.1.0 Release版本開(kāi)始支持。 根據(jù)選中的ArkTS方法名稱,CodeGenie支持自動(dòng)生成對(duì)應(yīng)單元測(cè)試用例,提升測(cè)試覆蓋率。 在ArkTS文檔中,光標(biāo)
    發(fā)表于 07-14 17:33

    Perforce QAC產(chǎn)品簡(jiǎn)介:面向C/C++的靜態(tài)代碼分析工具(已通過(guò)SO 26262認(rèn)證)

    Perforce QAC專為C/C++開(kāi)發(fā)者打造,支持多種編碼規(guī)范、功能安全標(biāo)準(zhǔn)(ISO 26262)等,廣泛用于汽車、醫(yī)療、嵌入式開(kāi)發(fā)領(lǐng)域,可幫助快速識(shí)別關(guān)鍵缺陷、提升代碼質(zhì)量、實(shí)現(xiàn)
    的頭像 發(fā)表于 07-10 15:57 ?184次閱讀
    Perforce <b class='flag-5'>QAC</b>產(chǎn)品簡(jiǎn)介:面向C/C++的<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>(已通過(guò)SO 26262認(rèn)證)

    Helix QAC 2025.1 重磅發(fā)布!MISRA C:2025? 100%覆蓋

    和服務(wù)器存儲(chǔ)占用。? 編碼規(guī)范支持(MISRA C:2025?、CERT C)? ? MISRA C:2025? 全規(guī)范覆蓋 Helix QAC 2025.1 提供全新的 MC25CM
    的頭像 發(fā)表于 05-13 16:48 ?410次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2025.1 重磅發(fā)布!MISRA C:2025? 100%<b class='flag-5'>覆蓋</b>

    代碼靜態(tài)測(cè)試工具Perforce QAC 2025.1新特性

    Perforce QAC 2025.1實(shí)現(xiàn)了對(duì)新發(fā)布的MISRA C:2025?標(biāo)準(zhǔn)的100%覆蓋,并提供了對(duì)應(yīng)的新合規(guī)模塊。該版本還擴(kuò)展了對(duì)CERT C Level 1建議的覆蓋范圍
    的頭像 發(fā)表于 04-21 15:14 ?344次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態(tài)</b><b class='flag-5'>測(cè)試工具</b>Perforce <b class='flag-5'>QAC</b> 2025.1新特性

    Perforce品牌及產(chǎn)品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態(tài)代碼分析Perforce QAC(原Helix QAC)等

    Perforce推出全新P4平臺(tái)及P4 One客戶端!從廣為人知的“P4”到Helix Core到Perforce P4,此次品牌重塑是一次初心回歸,也是對(duì)開(kāi)發(fā)者和數(shù)字創(chuàng)作團(tuán)隊(duì)需求的深度回應(yīng)。一起來(lái)了解更多吧~
    的頭像 發(fā)表于 03-28 15:04 ?594次閱讀
    Perforce品牌及產(chǎn)品名<b class='flag-5'>更新</b>:涵蓋版本控制Perforce P4(原<b class='flag-5'>Helix</b> Core)、<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析Perforce <b class='flag-5'>QAC</b>(原<b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>)等

    緩沖區(qū)溢出漏洞的原理、成因、類型及最佳防范實(shí)踐(借助Perforce 的Klocwork/Hleix QAC靜態(tài)代碼分析工具

    本期來(lái)認(rèn)識(shí)軟件漏洞的“??汀薄彌_區(qū)溢出,C/C++開(kāi)發(fā)者尤其要注意!全面了解該漏洞的成因、類型、常見(jiàn)示例,以及如何借助Klocwork、Helix QAC等SAST工具進(jìn)行防護(hù)。
    的頭像 發(fā)表于 03-04 16:39 ?869次閱讀
    緩沖區(qū)溢出漏洞的原理、成因、類型及最佳防范實(shí)踐(借助Perforce 的Klocwork/Hleix <b class='flag-5'>QAC</b>等<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析<b class='flag-5'>工具</b>)

    嵌入式軟件測(cè)試技術(shù)深度研究報(bào)告

    ? ISO 26262要求MC/DC覆蓋率≥99%,但傳統(tǒng)工具依賴人工用例設(shè)計(jì)導(dǎo)致達(dá)標(biāo)周期長(zhǎng)達(dá)8-12個(gè)月?; 汽車電子代碼量年均增長(zhǎng)35%,測(cè)試成本占比從15%攀升至28%?; ?
    的頭像 發(fā)表于 03-03 13:54 ?344次閱讀

    Web端TCP/UDP測(cè)試工具!小白必學(xué)~

    : 02. 終端在代碼里面填上對(duì)應(yīng)的IP:112.125.89.8,TCP端口填上46095,然后打開(kāi)Socket; 03. TCP連接建立后,TCP/UDP web測(cè)試工具會(huì)在界面上顯示連上來(lái)的
    的頭像 發(fā)表于 01-08 18:17 ?1259次閱讀
    Web端TCP/UDP<b class='flag-5'>測(cè)試工具</b>!小白必學(xué)~

    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 ?748次閱讀
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2024.3新特性速覽

    synopsys 的design ware:DW_fpv_div,浮點(diǎn)數(shù)除法器,默認(rèn)32位下,想提升覆蓋率(TMAX),如果用功能case去提升覆蓋率呢?

    公司某個(gè)項(xiàng)目用到了這個(gè)DW:DW_fpv_div,但是scan跑完,這個(gè)模塊覆蓋率只有60%多,現(xiàn)在要我用TMAX軟件,通過(guò)功能去覆蓋,我看了下rpt報(bào)的faults點(diǎn),嘗試去寫了幾個(gè)特殊值去做除法
    發(fā)表于 10-15 18:38

    汽車異構(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 ?864次閱讀
    汽車異構(gòu)硬件平臺(tái)開(kāi)發(fā)如何進(jìn)行<b class='flag-5'>靜態(tài)</b><b class='flag-5'>代碼</b>分析

    利用靜態(tài)檢查工具完善功能安全中測(cè)試覆蓋率

    在功能安全中測(cè)試覆蓋率是比較重要的概念,也是在驗(yàn)證過(guò)程中通常需要花費(fèi)時(shí)間較多的步驟,如果能借助于靜態(tài)檢查工具的死邏輯查找和聲明、測(cè)試用例自動(dòng)
    的頭像 發(fā)表于 09-05 09:15 ?827次閱讀
    利用<b class='flag-5'>靜態(tài)</b>檢查<b class='flag-5'>工具</b>完善功能安全中<b class='flag-5'>測(cè)試</b><b class='flag-5'>覆蓋率</b>

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

    Speedtest.net)或其他專業(yè)的代理測(cè)試工具。 2、連接到靜態(tài)IP:按照服務(wù)提供商的指示配置你的網(wǎng)絡(luò)設(shè)置,連接到分配給你的海外靜態(tài)IP。 3、進(jìn)行ping測(cè)試:使用ping命令
    的頭像 發(fā)表于 08-14 14:58 ?675次閱讀

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

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

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

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