--- 產(chǎn)品參數(shù) ---
- 所在地 上海,北京,長(zhǎng)春,重慶,杭州灣,嘉定,廣州
--- 產(chǎn)品詳情 ---
前言
隨著現(xiàn)代車輛的智能化發(fā)展(ADAS, Telematics, Infotainment, Cloud Services),車載代碼量呈指數(shù)級(jí)增長(zhǎng),代碼靜態(tài)分析的自動(dòng)化勢(shì)在必行,且人們對(duì)功能安全的要求日益嚴(yán)格,符合行業(yè)編碼規(guī)范是對(duì)車載代碼的基礎(chǔ)要求。
美國(guó)Perforce(PRQA)公司是嵌入式靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)領(lǐng)導(dǎo)及先驅(qū),擁有30多年軟件開發(fā)及測(cè)試經(jīng)驗(yàn),是MISRA編碼委員會(huì)創(chuàng)始會(huì)員及最具影響力的會(huì)員,同時(shí)是AUTOSAR組織在代碼靜態(tài)分析領(lǐng)域的唯一會(huì)員,負(fù)責(zé)功能安全軟件架構(gòu)的相關(guān)標(biāo)準(zhǔn)制定工作,參與編寫了C++14編碼指南,制定了AUTOSAR測(cè)試方案。
Perforce的Helix QAC作為業(yè)內(nèi)為人熟知的自動(dòng)代碼靜態(tài)分析工具,可以支持MISRA C/C++、AUTOSAR C++、CERT C/C++、CWE C/C++、HICPP、JSF AV C++編碼規(guī)范包,其精準(zhǔn)的診斷消息和強(qiáng)大的軟件生命周期管理平臺(tái)為全球3000多個(gè)整車廠和零部件供應(yīng)商所信賴。
北匯信息作為Perforce的合作伙伴,將為中國(guó)客戶提供專業(yè)的靜態(tài)代碼測(cè)試解決方案。
Helix QAC特性
Helix QAC是靜態(tài)分析領(lǐng)域公認(rèn)的行業(yè)先驅(qū),旨在幫助開發(fā)和測(cè)試人員在Coding階段實(shí)現(xiàn)高效的自動(dòng)化靜態(tài)測(cè)試,發(fā)現(xiàn)代碼潛在缺陷,衡量代碼質(zhì)量,縮減開發(fā)時(shí)間,降低開發(fā)成本。Helix QAC包含3部分主體:
- Helix QAC/C++靜態(tài)分析器 可以兼容數(shù)百萬(wàn)行代碼,高速執(zhí)行靜態(tài)分析;
- 編碼規(guī)范包 可選組件,配合靜態(tài)分析器實(shí)現(xiàn)代碼的合規(guī)性測(cè)試;
- 項(xiàng)目管理平臺(tái)Helix QAC Dashboard 全生命周期軟件開發(fā)管理。
1、代碼靜態(tài)分析
Helix QAC借助特有的深度數(shù)據(jù)流分析引擎,模擬代碼運(yùn)行時(shí)機(jī)制,檢測(cè)C/C++語(yǔ)言中會(huì)降低代碼復(fù)用性、導(dǎo)致功能安全問題、產(chǎn)生網(wǎng)絡(luò)安全漏洞的危險(xiǎn)代碼結(jié)構(gòu),最大限度提高代碼檢測(cè)覆蓋率,最小化漏報(bào)誤報(bào)率。
Helix QAC目前提供多達(dá)4107條診斷消息,其中針對(duì)C語(yǔ)言2156條,C++1951條,這意味著對(duì)編碼規(guī)范更全面更精準(zhǔn)的覆蓋,因?yàn)槊恳粭l診斷消息都對(duì)應(yīng)具體的編碼規(guī)則,可以有效診斷指針操作、類型轉(zhuǎn)換、溢出/零除、未定義行為、數(shù)據(jù)流等等問題,并提供在線help,開發(fā)工程師可以根據(jù)help實(shí)時(shí)修改源碼。

圖 1 Helix QAC代碼審查
2、度量元指標(biāo)
度量元是對(duì)源代碼某些可量化屬性的度量,每個(gè)度量元都從不同角度反映代碼質(zhì)量,比如復(fù)雜性、可讀性、殘留的bug或可測(cè)試性等。Helix QAC提供基于函數(shù)以及文件的度量元118個(gè),其中針對(duì)C語(yǔ)言65個(gè),C++53個(gè),為企業(yè)制定度量元標(biāo)準(zhǔn)、控制度量元數(shù)值、掌控代碼質(zhì)量提供強(qiáng)有力的依據(jù)。
3、Helix QAC支持的編碼規(guī)范
Helix QAC可以自動(dòng)遵循以下編碼規(guī)范,并對(duì)診斷消息劃分嚴(yán)重等級(jí),幫助用戶最先解決嚴(yán)重問題,使其軟件符合ISO26262要求。
1)MISRA C 2004、MISRA C 2012、MISRA C++ 2008:嵌入式系統(tǒng)最理想的編碼規(guī)范,防止會(huì)導(dǎo)致功能安全問題及網(wǎng)絡(luò)安全漏洞的錯(cuò)誤編碼。
2)AUTOSAR C++ 14:為應(yīng)用現(xiàn)代C++語(yǔ)言編寫安全和任務(wù)關(guān)鍵型嵌入式系統(tǒng)提供有效指導(dǎo)。
3)CERT C/C++:旨在清除代碼中可能導(dǎo)致網(wǎng)絡(luò)安全的編碼慣例以及未定義行為。
4)CWE C/C++:從架構(gòu)、設(shè)計(jì)、乃至編碼層面描述代碼中常見的網(wǎng)絡(luò)安全問題,可以作為識(shí)別、減少、預(yù)防漏洞的基線。
Helix QAC基于對(duì)以上編碼規(guī)范良好的執(zhí)行力和覆蓋度,幫助全球各大整車廠、零部件供應(yīng)商及其他行業(yè)如航空、軍工、醫(yī)療等領(lǐng)域的企業(yè)提高代碼質(zhì)量,實(shí)現(xiàn)對(duì)編碼規(guī)范及相關(guān)行業(yè)標(biāo)準(zhǔn)的最佳實(shí)踐。

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

圖 3 Helix QAC Dashboard 自定義窗口

圖 4 度量元觀測(cè)代碼質(zhì)量趨勢(shì)
5、集成環(huán)境
- IDE集成環(huán)境:Microsoft Visual Studio、Eclipse
- CI環(huán)境:Jenkins、Jira等通過命令行實(shí)現(xiàn)交互
6、支持的操作系統(tǒng)
- Windows
- Linux
7、多樣化的本地報(bào)告
- 合規(guī)報(bào)告:給出代碼對(duì)編碼規(guī)范的遵循情況,直觀定位問題代碼。
- 代碼審查報(bào)告:總結(jié)基于文件和函數(shù)的度量元數(shù)據(jù)、函數(shù)調(diào)用等信息。
- Metrics數(shù)據(jù)報(bào)告:提供XML文件,可用作進(jìn)一步檢查代碼質(zhì)量度量的數(shù)據(jù)源。
- 抑制報(bào)告:提供分析工程期間診斷消息的抑制情況。

圖 5 Helix QAC本地報(bào)告
資質(zhì)認(rèn)證
Helix QAC得到SGS-TüV SAAR認(rèn)證,可用于安全相關(guān)軟件的開發(fā),符合IEC 61508(SIL4), ISO 26262(ASIL D), EN 50128(SW-SIL4), IEC 60880以及IEC 62304(Software Safety Class C)標(biāo)準(zhǔn),幫助客戶用更少的時(shí)間完成產(chǎn)品認(rèn)證。

圖 6 資質(zhì)認(rèn)證證書
客戶列表(部分)

為你推薦
-
自動(dòng)駕駛及智能駕駛仿真測(cè)試平臺(tái)VTD2025-04-28 12:09
產(chǎn)品型號(hào):VTD -
基于模型的靜態(tài)測(cè)試工具M(jìn)XAM2024-05-16 09:05
產(chǎn)品型號(hào):MXAM -
TC2和TC9線束測(cè)試工具2024-05-11 13:48
產(chǎn)品型號(hào):TestPro 型號(hào):TestPro -
PAVELINK.SOA-Converter接口描述語(yǔ)言轉(zhuǎn)換工具2023-10-19 09:07
產(chǎn)品型號(hào):PAVELINK.SOA-Converter -
DDS 協(xié)議測(cè)試套件2023-10-11 13:48
產(chǎn)品型號(hào):DDS Tester -
Klocwork——支持DevOps和功能安全/信息安全的靜態(tài)代碼分析器2022-12-03 18:06
產(chǎn)品型號(hào):Klocwork -
思博倫車載以太網(wǎng)一致性測(cè)試2022-07-25 17:08
產(chǎn)品型號(hào):思博倫C50 所在地:上海,北京,長(zhǎng)春,重慶,杭州灣,嘉定,廣州 -
R&S羅德與施瓦茨測(cè)試解決方案2022-07-25 16:58
產(chǎn)品型號(hào):R&S羅德與施瓦茨儀表 所在地:上海,北京,長(zhǎng)春,重慶,杭州灣,嘉定,廣州 -
VectorCAST—嵌入式代碼自動(dòng)化測(cè)試工具2022-07-25 16:47
產(chǎn)品型號(hào):VectorCAST 所在地:上海,北京,長(zhǎng)春,重慶,杭州灣,嘉定,廣州 -
TSN汽車時(shí)間敏感網(wǎng)絡(luò)測(cè)試與測(cè)量2022-07-25 16:38
產(chǎn)品型號(hào):TSN Tools,TSN Box 所在地:上海,北京,長(zhǎng)春,重慶,杭州灣,嘉定,廣州
-
一個(gè)“守門員”職責(zé)的進(jìn)化---《北匯信息實(shí)車VIT測(cè)試解決方案》點(diǎn)評(píng)2025-05-20 11:09
過去十年,汽車電子測(cè)試的“守門員”——VIT測(cè)試,從SOP前的功能邏輯驗(yàn)證,演化為貫穿研發(fā)全周期的“全域智能防線”。面對(duì)新能源滲透率飆升、EE架構(gòu)向中央計(jì)算轉(zhuǎn)型、代碼量激增等技術(shù)變革,北匯信息以敏捷測(cè)試體系與智能工具鏈應(yīng)對(duì)高算力仿真、跨域協(xié)同等挑戰(zhàn),構(gòu)建覆蓋“需求-開發(fā)-量產(chǎn)”的全域測(cè)試生態(tài)。未來,其“守門”使命將聚焦芯片-系統(tǒng)-整車協(xié)同驗(yàn)證,為自動(dòng)駕駛與車226瀏覽量 -
BMS HIL測(cè)試技術(shù)演進(jìn):高壓架構(gòu)、多域融合與儲(chǔ)能系統(tǒng)應(yīng)用解析2025-05-19 14:56
隨著新能源汽車及儲(chǔ)能系統(tǒng)高壓化、智能化發(fā)展,BMS HIL測(cè)試技術(shù)成為驗(yàn)證電池安全與性能的核心手段。北匯信息基于Vector工具鏈的BMS HIL方案演變,涵蓋400V至800V高壓架構(gòu)升級(jí)、分布式BMS通信適配、國(guó)標(biāo)充電協(xié)議迭代、多域融合協(xié)同測(cè)試等關(guān)鍵技術(shù)挑戰(zhàn),并拓展至儲(chǔ)能BMS主動(dòng)均衡與多系統(tǒng)仿真需求,助力行業(yè)應(yīng)對(duì)能源變革。316瀏覽量 -
戴姆勒電動(dòng)卡車耐久性分析中的車輪力測(cè)量2025-04-23 10:03
在電動(dòng)車輛及新型動(dòng)力系統(tǒng)的耐久性測(cè)試中,精確測(cè)量車輪與路面之間的相互作用力、扭矩及振動(dòng)響應(yīng)至關(guān)重要。DaimlerTruck在其位于德國(guó)W?rth的EVZ研發(fā)測(cè)試中心,針對(duì)eActros進(jìn)行了全面的耐久性測(cè)試,以確保電動(dòng)卡車在復(fù)雜路況下的可靠性。整個(gè)測(cè)試過程中,需要采集作用于車輪141瀏覽量 -
實(shí)時(shí)網(wǎng)絡(luò)的仿真和配置工具RTaW Pegase v4.6.4版本更新2025-04-23 10:03
隨著汽車電子、航空航天及工業(yè)自動(dòng)化等領(lǐng)域?qū)η度胧较到y(tǒng)的實(shí)時(shí)性和可靠性要求不斷提升,復(fù)雜網(wǎng)絡(luò)架構(gòu)的設(shè)計(jì)與驗(yàn)證正面臨前所未有的挑戰(zhàn)。如何在高帶寬、低延遲、強(qiáng)確定性的需求下實(shí)現(xiàn)精準(zhǔn)的性能預(yù)測(cè)與優(yōu)化,成為工程師攻克技術(shù)壁壘的關(guān)鍵。作為嵌入式實(shí)時(shí)網(wǎng)絡(luò)仿真領(lǐng)域的領(lǐng)軍者,法國(guó)國(guó)家信息與自動(dòng)化研究所(INRIA)孵化的RTaW公司,憑借其核心產(chǎn)品RTaW-Pegase,持續(xù)338瀏覽量 -
代碼靜態(tài)測(cè)試工具Perforce QAC 2025.1新特性2025-04-21 15:14
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建議的覆蓋范圍,改進(jìn)了與持續(xù)集成/持續(xù)交付(CI/CD)環(huán)境使用的Perforce Validate平臺(tái)集成的許可機(jī)制。此外,Validate新增了SAML/OIDC群組同步支持,并通過性能193瀏覽量 -
基于VT系統(tǒng)的MCU硬件在環(huán)建模與仿真應(yīng)用分析2025-04-16 10:07
在新能源汽車行業(yè)快速發(fā)展的背景下,電機(jī)控制器(MCU)作為核心部件,其開發(fā)和測(cè)試的重要性日益增加。為了在開發(fā)早期階段快速驗(yàn)證應(yīng)用層算法功能及基礎(chǔ)軟件質(zhì)量,硬件在環(huán)(HIL)測(cè)試技術(shù)應(yīng)運(yùn)而生。本文分析了基于VT系統(tǒng)的MCUHIL建模與仿真應(yīng)用,探討其技術(shù)優(yōu)勢(shì)、實(shí)現(xiàn)路徑及實(shí)踐價(jià)值。采用Vector的VT5838板卡,結(jié)合MATLAB/Simulink和DSPBu -
SOA架構(gòu)開發(fā)小助手PAVELINK.SOA-Converter 2.1.2新版本發(fā)布2025-04-09 10:37
-
2025年德國(guó)市場(chǎng)主流車型ADAS性能評(píng)測(cè)報(bào)告之ACC篇2025-04-09 10:05
2025年初,德國(guó)《AutoMotorSport》雜志與MdynamiXAG合作,共同評(píng)估ADAS的客觀表現(xiàn),更加強(qiáng)調(diào)測(cè)試駕駛中獲得的實(shí)際體驗(yàn)。本期雜志內(nèi)容先從ACC(自適應(yīng)巡航控制系統(tǒng))開始,這些系統(tǒng)負(fù)責(zé)控制與前車的距離,后續(xù)幾期測(cè)試測(cè)試對(duì)象還包括泊車輔助系統(tǒng)和主動(dòng)車道保持系統(tǒng)等。被測(cè)的四款車型包括電動(dòng)車型蔚來ET5Touring、特斯拉ModelY、沃爾 -
如何破解車載定位系統(tǒng)測(cè)試難題?北匯信息仿真解決方案讓驗(yàn)證更高效2025-04-09 10:05
前言"在智能駕駛時(shí)代,當(dāng)車載導(dǎo)航出現(xiàn)定位漂移、輔助駕駛在惡劣天氣下頻繁失效、緊急呼叫服務(wù)響應(yīng)錯(cuò)誤時(shí),背后往往都是車載定位系統(tǒng)的精度問題在作祟。如何確保車輛在動(dòng)態(tài)場(chǎng)景下的亞米級(jí)定位精度?如何在實(shí)驗(yàn)室環(huán)境復(fù)現(xiàn)真實(shí)路況的復(fù)雜測(cè)試場(chǎng)景?這正是車企研發(fā)面臨的核心挑戰(zhàn)。"車載定位車載定位是一種通過衛(wèi)星導(dǎo)航技術(shù)(如GPS、北斗系統(tǒng)等)結(jié)合其他傳感器例如慣導(dǎo)、攝像頭等,實(shí)時(shí)197瀏覽量 -
AI(人工智能)車輛開發(fā)中的主要關(guān)注點(diǎn)2025-04-03 20:45
-
分布式、域控及SOA架構(gòu)車身功能測(cè)試方案2024-12-27 09:05
北匯信息推出分布式、域控以及SOA架構(gòu)的車身功能測(cè)試解決方案,支持在實(shí)驗(yàn)室環(huán)境下完成車身單部件、系統(tǒng)級(jí)功能自動(dòng)化測(cè)試,可以極大地提升車身功能的可靠性和穩(wěn)定性。1.7k瀏覽量 -
TSN和DDS測(cè)試解決方案2024-05-10 09:29
-
汽車智能座艙域功能測(cè)試2024-05-10 09:20
-
車載T-Box邏輯功能測(cè)試方案2024-04-26 11:19
北匯信息基于對(duì)客戶需求規(guī)范、行業(yè)法規(guī)及自身測(cè)試經(jīng)驗(yàn)Know-How,為客戶提供完整和專業(yè)的T-Box邏輯功能測(cè)試解決方案。支持在實(shí)驗(yàn)室環(huán)境及實(shí)車環(huán)境下完成T-Box上層邏輯功能測(cè)試及實(shí)車數(shù)據(jù)分析測(cè)試,可以極大地提升T-Box的可靠性和穩(wěn)定性。932瀏覽量 -
汽車OTA通道和壓力測(cè)試方案2024-04-25 09:16
北匯信息基于對(duì)客戶需求規(guī)范、行業(yè)法規(guī)及自身測(cè)試經(jīng)驗(yàn)Know-How,為汽車客戶提供完整和專業(yè)的汽車OTA通道測(cè)試和壓力測(cè)試解決方案,包括測(cè)試系統(tǒng)開發(fā)、測(cè)試規(guī)范開發(fā)、測(cè)試腳本實(shí)現(xiàn)及測(cè)試實(shí)施的全流程服務(wù)。1.6k瀏覽量 -
TSN網(wǎng)絡(luò)設(shè)計(jì)與驗(yàn)證咨詢服務(wù)2022-09-24 16:59
TSN通信技術(shù)逐步走進(jìn)汽車行業(yè)的視野,目前國(guó)內(nèi)外OEM已積極展開TSN技術(shù)預(yù)研與儲(chǔ)備工作。伴隨TSN車規(guī)級(jí)通信芯片成熟度的提升,TSN必將成為IVN以太網(wǎng)主干網(wǎng)的核心基礎(chǔ)技術(shù)之一。北匯信息多年來一直致力于TSN設(shè)計(jì)與驗(yàn)證的實(shí)踐工作,積累了豐富的TSN項(xiàng)目經(jīng)驗(yàn)。其間,參與多個(gè)國(guó)內(nèi)TSN項(xiàng)目,擁有完整的TSN設(shè)計(jì)、仿真、原型搭建的開發(fā)經(jīng)驗(yàn),同時(shí)為客戶提供齊備的TSN測(cè)試工具鏈與驗(yàn)證方法。912瀏覽量 -
北匯信息MES成功案例及合作伙伴2022-07-19 18:59
MES成功案例上海汽車制動(dòng)系統(tǒng)有限公司(SABS)上海汽車制動(dòng)系統(tǒng)有限公司(簡(jiǎn)稱SABS)是德國(guó)大陸公司與上海汽車工業(yè)(集團(tuán))總公司雙方共同投資組建的企業(yè)。公司主要產(chǎn)品為ABS防抱死制動(dòng)系統(tǒng)、制動(dòng)鉗、助力器、傳感器、制動(dòng)軟管等。其生產(chǎn)涉及機(jī)加、電鍍、裝配等三種模式。本著“統(tǒng)一規(guī)劃、分步實(shí)施”的原則,SABS逐年分步進(jìn)行了MES系統(tǒng)建設(shè)。系統(tǒng)覆蓋了機(jī)加、電鍍、裝配車間。包含:設(shè)備集成、SAP集成、計(jì)846瀏覽量 -
注塑MES解決方案2022-07-19 18:42
通過MES系統(tǒng)建設(shè),可以對(duì)生產(chǎn)計(jì)劃、執(zhí)行過程、生產(chǎn)質(zhì)量、資源等進(jìn)行全面的數(shù)字化管控,打破工廠信息孤島的現(xiàn)狀,通過整合工廠數(shù)據(jù),實(shí)現(xiàn)數(shù)據(jù)集中管控與共享,為生產(chǎn)制造經(jīng)營(yíng)信息提煉提供數(shù)據(jù)基礎(chǔ)。742瀏覽量 -
軍工航空航天MES解決方案2022-07-19 18:30
軍工航空航天MES解決方案:過建立以MES為核心的生產(chǎn)管理系統(tǒng),與相關(guān)信息系統(tǒng)的集成,形成完整的生產(chǎn)信息化管理平臺(tái),實(shí)現(xiàn)信息化建設(shè)的目標(biāo)。1.1k瀏覽量 -
汽車行業(yè)MES解決方案2022-07-19 18:19
針對(duì)汽車生產(chǎn)制造行業(yè)對(duì)制造管理系統(tǒng)的管理需求,以及北匯信息在汽車行業(yè)多年的MES實(shí)施經(jīng)驗(yàn),北信息提供一套成熟的生產(chǎn)信息化管理系統(tǒng)(MES)為生產(chǎn)管理者及企業(yè)管理者提供真實(shí)、完整、多視角的評(píng)估報(bào)告,有效支持各級(jí)管理決策。1.2k瀏覽量
-
上傳時(shí)間:2025-02-27 14:12
0次下載 -
上傳時(shí)間:2025-01-15 12:04
0次下載 -
上傳時(shí)間:2024-08-16 14:27
0次下載 -
上傳時(shí)間:2024-08-08 15:54
0次下載 -
上傳時(shí)間:2024-08-07 21:39
0次下載 -
上傳時(shí)間:2024-04-18 22:41
0次下載 -
上傳時(shí)間:2023-04-11 00:08
7次下載 -
上傳時(shí)間:2023-04-08 21:37
1次下載