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

企業(yè)號介紹

全部
  • 全部
  • 產(chǎn)品
  • 方案
  • 文章
  • 資料
  • 企業(yè)

北匯信息POLELINK

北匯信息始終專注于汽車電子領域的新技術和新產(chǎn)品，秉承“價值創(chuàng)造、共享成功”理念，為整車廠和零部件企業(yè)提供完整的研發(fā)、測試解決方案。

465 內(nèi)容數(shù) 62w+ 瀏覽量 70 粉絲

Helix QAC 企業(yè)級代碼靜態(tài)測試工具

型號： Helix QAC

--- 產(chǎn)品參數(shù) ---

  • 所在地 上海，北京，長春，重慶，杭州灣，嘉定，廣州

--- 產(chǎn)品詳情 ---

前言

隨著現(xiàn)代車輛的智能化發(fā)展（ADAS, Telematics, Infotainment, Cloud Services），車載代碼量呈指數(shù)級增長，代碼靜態(tài)分析的自動化勢在必行，且人們對功能安全的要求日益嚴格，符合行業(yè)編碼規(guī)范是對車載代碼的基礎要求。

 

美國Perforce（PRQA）公司是嵌入式靜態(tài)分析領域公認的行業(yè)領導及先驅，擁有30多年軟件開發(fā)及測試經(jīng)驗，是MISRA編碼委員會創(chuàng)始會員及最具影響力的會員，同時是AUTOSAR組織在代碼靜態(tài)分析領域的唯一會員，負責功能安全軟件架構的相關標準制定工作，參與編寫了C++14編碼指南，制定了AUTOSAR測試方案。

 

Perforce的Helix QAC作為業(yè)內(nèi)為人熟知的自動代碼靜態(tài)分析工具，可以支持MISRA C/C++、AUTOSAR C++、CERT C/C++、CWE C/C++、HICPP、JSF AV C++編碼規(guī)范包，其精準的診斷消息和強大的軟件生命周期管理平臺為全球3000多個整車廠和零部件供應商所信賴。

 

北匯信息作為Perforce的合作伙伴，將為中國客戶提供專業(yè)的靜態(tài)代碼測試解決方案。

 

Helix QAC特性

Helix QAC是靜態(tài)分析領域公認的行業(yè)先驅，旨在幫助開發(fā)和測試人員在Coding階段實現(xiàn)高效的自動化靜態(tài)測試，發(fā)現(xiàn)代碼潛在缺陷，衡量代碼質量，縮減開發(fā)時間，降低開發(fā)成本。Helix QAC包含3部分主體：

 

  • Helix QAC/C++靜態(tài)分析器 可以兼容數(shù)百萬行代碼，高速執(zhí)行靜態(tài)分析；
  • 編碼規(guī)范包 可選組件，配合靜態(tài)分析器實現(xiàn)代碼的合規(guī)性測試；
  • 項目管理平臺Helix QAC Dashboard 全生命周期軟件開發(fā)管理。

 

1、代碼靜態(tài)分析

Helix QAC借助特有的深度數(shù)據(jù)流分析引擎，模擬代碼運行時機制，檢測C/C++語言中會降低代碼復用性、導致功能安全問題、產(chǎn)生網(wǎng)絡安全漏洞的危險代碼結構，最大限度提高代碼檢測覆蓋率，最小化漏報誤報率。

 

Helix QAC目前提供多達4107條診斷消息，其中針對C語言2156條，C++1951條，這意味著對編碼規(guī)范更全面更精準的覆蓋，因為每一條診斷消息都對應具體的編碼規(guī)則，可以有效診斷指針操作、類型轉換、溢出/零除、未定義行為、數(shù)據(jù)流等等問題，并提供在線help，開發(fā)工程師可以根據(jù)help實時修改源碼。

 

圖 1 Helix QAC代碼審查

 

2、度量元指標

度量元是對源代碼某些可量化屬性的度量，每個度量元都從不同角度反映代碼質量，比如復雜性、可讀性、殘留的bug或可測試性等。Helix QAC提供基于函數(shù)以及文件的度量元118個，其中針對C語言65個，C++53個，為企業(yè)制定度量元標準、控制度量元數(shù)值、掌控代碼質量提供強有力的依據(jù)。

 

3、Helix QAC支持的編碼規(guī)范

Helix QAC可以自動遵循以下編碼規(guī)范，并對診斷消息劃分嚴重等級，幫助用戶最先解決嚴重問題，使其軟件符合ISO26262要求。

 

1）MISRA C 2004、MISRA C 2012、MISRA C++ 2008：嵌入式系統(tǒng)最理想的編碼規(guī)范，防止會導致功能安全問題及網(wǎng)絡安全漏洞的錯誤編碼。

2）AUTOSAR C++ 14：為應用現(xiàn)代C++語言編寫安全和任務關鍵型嵌入式系統(tǒng)提供有效指導。

3）CERT C/C++：旨在清除代碼中可能導致網(wǎng)絡安全的編碼慣例以及未定義行為。

4）CWE C/C++：從架構、設計、乃至編碼層面描述代碼中常見的網(wǎng)絡安全問題，可以作為識別、減少、預防漏洞的基線。

 

Helix QAC基于對以上編碼規(guī)范良好的執(zhí)行力和覆蓋度，幫助全球各大整車廠、零部件供應商及其他行業(yè)如航空、軍工、醫(yī)療等領域的企業(yè)提高代碼質量，實現(xiàn)對編碼規(guī)范及相關行業(yè)標準的最佳實踐。

 

圖 2 編碼規(guī)范覆蓋度

 

4、Helix QAC Dashboard

Helix QAC Dashboard是基于網(wǎng)頁端的項目質量管理平臺，可實現(xiàn)異地團隊項目信息共享，核心開發(fā)人員、開發(fā)經(jīng)理、高級管理人員可以在此平臺查看源碼診斷消息、進行基線/版本管理、添加修改注釋、熱力圖快速定位問題源碼、關注代碼質量走勢、設置項目權限、查看代碼合規(guī)情況、定制報告等等，給客戶呈現(xiàn)一種更廣義的質量管理概念。

 

圖 3 Helix QAC Dashboard 自定義窗口

 

圖 4 度量元觀測代碼質量趨勢
 

5、集成環(huán)境

  • IDE集成環(huán)境：Microsoft Visual Studio、Eclipse
  • CI環(huán)境：Jenkins、Jira等通過命令行實現(xiàn)交互

 

6、支持的操作系統(tǒng)

  • Windows
  • Linux

 

7、多樣化的本地報告

  • 合規(guī)報告：給出代碼對編碼規(guī)范的遵循情況，直觀定位問題代碼。
  • 代碼審查報告：總結基于文件和函數(shù)的度量元數(shù)據(jù)、函數(shù)調(diào)用等信息。
  • Metrics數(shù)據(jù)報告：提供XML文件，可用作進一步檢查代碼質量度量的數(shù)據(jù)源。
  • 抑制報告：提供分析工程期間診斷消息的抑制情況。

 

圖 5 Helix QAC本地報告

 

資質認證

Helix QAC得到SGS-TüV SAAR認證，可用于安全相關軟件的開發(fā)，符合IEC 61508（SIL4）， ISO 26262(ASIL D)， EN 50128(SW-SIL4)， IEC 60880以及IEC 62304(Software Safety Class C)標準，幫助客戶用更少的時間完成產(chǎn)品認證。

 

圖 6 資質認證證書

 

客戶列表（部分）

 

 

為你推薦

  • 【文章轉載】CANoe產(chǎn)品體系19版本新功能（下） - 基礎功能與XIL測試2025-06-25 10:03

    新版本持續(xù)為智能電動網(wǎng)聯(lián)汽車軟件開發(fā)測試帶來全新功能，IDE開發(fā)環(huán)境支持.NET8.0、Python、MATLAB2024b，VisualStudioCode集成測試開發(fā)和調(diào)試功能，支持Ubuntu24.04部署，虛擬ECU工具vVIRTUALtarget支持Vector協(xié)議棧虛擬化的同時可工程適配第三方協(xié)議棧虛擬化SIL，高性價比HIL板卡VIOSyste
    126瀏覽量

  • 【資料獲取】ADAS車道輔助系統(tǒng)測試方法解析2025-06-25 10:02

    MdynamiX×AutoMotorundSport聯(lián)合測試解讀隨著ADAS輔助駕駛技術在新車中的快速普及，如何科學、系統(tǒng)地評估其實際功能表現(xiàn)，成為行業(yè)關注焦點。2025年初，德國權威汽車雜志《automotorundsport》與測試評估機構MdynamiXAG展開合作，對多款主流量產(chǎn)車的車道輔助系統(tǒng)展開實地測試，相關方法和技術細節(jié)已于近期對外發(fā)布。參與測

  • 智駕仿真測試實戰(zhàn)之-"虛實融合：ViL功能測試"2025-06-18 10:04

    作者|潘小編|不吃豬頭肉引言隨著L2及L2+級智能輔助駕駛技術的普及，車輛在復雜場景下的可靠性成為用戶最關心的問題。但傳統(tǒng)實車測試成本高、周期長、危險性大！那么如何低成本完成L2+級智能駕駛系統(tǒng)的功能驗證呢？車輛在環(huán)（ViL,Vehicle-in-the-Loop）場地測試方案通過高精度地圖搭建、多傳感器仿真技術，解決實車測試極端工況危險、故障難以模擬及Hi

  • CANoe產(chǎn)品體系19版本新特性及新增Option（上）2025-06-11 10:03

    新版本持續(xù)助力當前車輛E/E架構中ECU開發(fā)驗證，同時賦能后續(xù)智能網(wǎng)聯(lián)電動車型預研驗證。新版本CANoe產(chǎn)品體系新增數(shù)據(jù)驅動的DDS、車輛互聯(lián)服務和高效電機模型庫，進一步支持CANXL、10BASE-T1S和CANFDLight賦能當下預研工作，全面綜合增強全球充電系統(tǒng)的仿真和驗證有效支撐新能源車出海，全新的V2X設備滿足車聯(lián)網(wǎng)測試驗證，滿足SOA架構下透傳
    1152瀏覽量

  • 新國標車樁兼容難題終破解！兩大測試系統(tǒng)讓充電無憂2025-06-11 10:03

    隨著新國充2015+充電標準的發(fā)布，充電樁的快速充電能力和兼容性得到了進一步的提升。新樁是否可以繼續(xù)為我們舊車進行充電，新車又是否可以兼容舊樁呢？尤其是在不同品牌、不同型號的電動汽車與品牌繁雜的充電樁之間，這一問題更是讓人擔心。為了解決這一問題，車樁兼容性充電測試就顯得尤為重要，北匯信息是作為專注于汽車電子測試領域的企業(yè)，對整車測試及單部件測試有著豐富經(jīng)驗，

  • 知識分享 | 評估模型架構——如何實現(xiàn)？2025-06-05 11:46

    確保良好的模型架構對于開發(fā)安全和可靠的軟件非常重要。本文為您介紹MES Model Examiner? (MXAM)如何優(yōu)化模型架構，簡化復雜度管理步驟，并最終提升軟件質量。
    113瀏覽量

  • 搭建完整的ADAS測試鏈路，推動自動駕駛技術的安全發(fā)展2025-05-30 11:59

    隨著全球L3級自動駕駛法規(guī)落地，產(chǎn)業(yè)進入規(guī)?；l(fā)展階段。針對高階自動駕駛系統(tǒng)復雜度與測試效率的挑戰(zhàn)，北匯信息構建覆蓋MIL、SIL、HIL、VIL及實車的全生命周期測試鏈路。面對端到端架構與艙駕融合趨勢，通過世界模型、3D高斯場景重建等技術提升仿真保真度與場景覆蓋能力，結合艙駕一體化HIL測試及功能安全驗證體系，解決多模態(tài)交互、數(shù)據(jù)融合與系統(tǒng)集成難題，為自動

  • 面向車載通信的TSN網(wǎng)絡原型——往昔、今朝、明日2025-05-29 11:29

    本文從汽車行業(yè)向“軟件驅動”轉型的背景切入，剖析TSN技術如何以確定性傳輸能力重構車載以太網(wǎng)通信體系?；诒眳R信息的工程實踐，文章系統(tǒng)解答TSN技術定位、場景適配性及必要性判斷等核心問題，揭示其在中央集中式架構下解決分布式實時系統(tǒng)時鐘同步、可靠性及QoS需求的關鍵價值，并指出技術落地需跨越從域架構設計到系統(tǒng)性時間鏈優(yōu)化的認知鴻溝。

  • “斗罷艱險又出發(fā)”——OTA測試回顧與展望2025-05-28 10:36

    在關稅博弈與行業(yè)劇變雙重背景下，國內(nèi)汽車OTA測試技術經(jīng)歷了從拓荒到精進的蛻變。本文通過北匯信息兩代測試方案的演進，剖析了從場景覆蓋到效率革命的轉型邏輯：通過自研平臺實現(xiàn)測試邏輯上移與AI預埋，結合數(shù)據(jù)離線分析重構測試流程，在智能化浪潮中破解測試效率與覆蓋度的悖論，折射出中國汽車工業(yè)在充分競爭下的技術創(chuàng)新突圍之路。
    1275瀏覽量

  • 技術預見者的實踐之路：C-V2X發(fā)展五年記2025-05-27 11:01

    梳理中國C-V2X技術五年發(fā)展歷程，以2019年北匯信息首套測試系統(tǒng)為起點，結合2021年對CSAE 53-2020與157-2020標準的精準預判，驗證了協(xié)作式變道、車路云一體化等場景的技術落地。2024年“車路云一體化”試點城市落地及車載定位國標GB/T 45086發(fā)布，印證了車載定位精度要求的升級。面向未來，聚焦車路云深度協(xié)同、5G-A/6G通信融合，

  • 分布式、域控及SOA架構車身功能測試方案2024-12-27 09:05

    北匯信息推出分布式、域控以及SOA架構的車身功能測試解決方案，支持在實驗室環(huán)境下完成車身單部件、系統(tǒng)級功能自動化測試，可以極大地提升車身功能的可靠性和穩(wěn)定性。

  • TSN和DDS測試解決方案2024-05-10 09:29

    北匯信息提供的TSN/DDS測試系統(tǒng)，測試工具鏈多樣化：提供Vector、TSN Systems、Spirent、臻融科技全套測試解決方案，滿足不同測試場景下的實際需求。
    636瀏覽量

  • 汽車智能座艙域功能測試2024-05-10 09:20

    北匯信息推出座艙域功能測試解決方案，支持在實驗室環(huán)境以及實車環(huán)境下完成座艙域功能測試，不僅可以確保產(chǎn)品質量、提升用戶體驗、保障行車安全，也能降低維護成本、加速產(chǎn)品上市、滿足法規(guī)要求、推動技術創(chuàng)新等。
    2.8k瀏覽量

  • 車載T-Box邏輯功能測試方案2024-04-26 11:19

    北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗Know-How,為客戶提供完整和專業(yè)的T-Box邏輯功能測試解決方案。支持在實驗室環(huán)境及實車環(huán)境下完成T-Box上層邏輯功能測試及實車數(shù)據(jù)分析測試，可以極大地提升T-Box的可靠性和穩(wěn)定性。

  • 汽車OTA通道和壓力測試方案2024-04-25 09:16

    北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗Know-How,為汽車客戶提供完整和專業(yè)的汽車OTA通道測試和壓力測試解決方案，包括測試系統(tǒng)開發(fā)、測試規(guī)范開發(fā)、測試腳本實現(xiàn)及測試實施的全流程服務。
    1.7k瀏覽量

  • TSN網(wǎng)絡設計與驗證咨詢服務2022-09-24 16:59

    TSN通信技術逐步走進汽車行業(yè)的視野，目前國內(nèi)外OEM已積極展開TSN技術預研與儲備工作。伴隨TSN車規(guī)級通信芯片成熟度的提升，TSN必將成為IVN以太網(wǎng)主干網(wǎng)的核心基礎技術之一。北匯信息多年來一直致力于TSN設計與驗證的實踐工作，積累了豐富的TSN項目經(jīng)驗。其間，參與多個國內(nèi)TSN項目，擁有完整的TSN設計、仿真、原型搭建的開發(fā)經(jīng)驗，同時為客戶提供齊備的TSN測試工具鏈與驗證方法。
    TSN
    969瀏覽量

  • 北匯信息MES成功案例及合作伙伴2022-07-19 18:59

    MES成功案例上海汽車制動系統(tǒng)有限公司(SABS)上海汽車制動系統(tǒng)有限公司（簡稱SABS）是德國大陸公司與上海汽車工業(yè)（集團）總公司雙方共同投資組建的企業(yè)。公司主要產(chǎn)品為ABS防抱死制動系統(tǒng)、制動鉗、助力器、傳感器、制動軟管等。其生產(chǎn)涉及機加、電鍍、裝配等三種模式。本著“統(tǒng)一規(guī)劃、分步實施”的原則，SABS逐年分步進行了MES系統(tǒng)建設。系統(tǒng)覆蓋了機加、電鍍、裝配車間。包含：設備集成、SAP集成、計
    888瀏覽量

  • 注塑MES解決方案2022-07-19 18:42

    通過MES系統(tǒng)建設，可以對生產(chǎn)計劃、執(zhí)行過程、生產(chǎn)質量、資源等進行全面的數(shù)字化管控，打破工廠信息孤島的現(xiàn)狀，通過整合工廠數(shù)據(jù)，實現(xiàn)數(shù)據(jù)集中管控與共享，為生產(chǎn)制造經(jīng)營信息提煉提供數(shù)據(jù)基礎。
    795瀏覽量

  • 軍工航空航天MES解決方案2022-07-19 18:30

    軍工航空航天MES解決方案：過建立以MES為核心的生產(chǎn)管理系統(tǒng)，與相關信息系統(tǒng)的集成，形成完整的生產(chǎn)信息化管理平臺，實現(xiàn)信息化建設的目標。
    1.2k瀏覽量

  • 汽車行業(yè)MES解決方案2022-07-19 18:19

    針對汽車生產(chǎn)制造行業(yè)對制造管理系統(tǒng)的管理需求，以及北匯信息在汽車行業(yè)多年的MES實施經(jīng)驗，北信息提供一套成熟的生產(chǎn)信息化管理系統(tǒng)（MES）為生產(chǎn)管理者及企業(yè)管理者提供真實、完整、多視角的評估報告，有效支持各級管理決策。
    1.2k瀏覽量