--- 產(chǎn)品參數(shù) ---
- 所在地 上海,北京,長春,重慶,杭州灣,嘉定,廣州
--- 產(chǎn)品詳情 ---
前言
隨著現(xiàn)代車輛的智能化發(fā)展(ADAS, Telematics, Infotainment, Cloud Services),車載代碼量呈指數(shù)級增長,代碼靜態(tài)分析的自動化勢在必行,且人們對功能安全的要求日益嚴格,符合行業(yè)編碼規(guī)范是對車載代碼的基礎(chǔ)要求。
美國Perforce(PRQA)公司是嵌入式靜態(tài)分析領(lǐng)域公認的行業(yè)領(lǐng)導及先驅(qū),擁有30多年軟件開發(fā)及測試經(jīng)驗,是MISRA編碼委員會創(chuàng)始會員及最具影響力的會員,同時是AUTOSAR組織在代碼靜態(tài)分析領(lǐng)域的唯一會員,負責功能安全軟件架構(gòu)的相關(guān)標準制定工作,參與編寫了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)分析領(lǐng)域公認的行業(yè)先驅(qū),旨在幫助開發(fā)和測試人員在Coding階段實現(xiàn)高效的自動化靜態(tài)測試,發(fā)現(xiàn)代碼潛在缺陷,衡量代碼質(zhì)量,縮減開發(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)絡(luò)安全漏洞的危險代碼結(jié)構(gòu),最大限度提高代碼檢測覆蓋率,最小化漏報誤報率。
Helix QAC目前提供多達4107條診斷消息,其中針對C語言2156條,C++1951條,這意味著對編碼規(guī)范更全面更精準的覆蓋,因為每一條診斷消息都對應具體的編碼規(guī)則,可以有效診斷指針操作、類型轉(zhuǎn)換、溢出/零除、未定義行為、數(shù)據(jù)流等等問題,并提供在線help,開發(fā)工程師可以根據(jù)help實時修改源碼。

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

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

圖 3 Helix QAC Dashboard 自定義窗口

圖 4 度量元觀測代碼質(zhì)量趨勢
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ī)范的遵循情況,直觀定位問題代碼。
- 代碼審查報告:總結(jié)基于文件和函數(shù)的度量元數(shù)據(jù)、函數(shù)調(diào)用等信息。
- Metrics數(shù)據(jù)報告:提供XML文件,可用作進一步檢查代碼質(zhì)量度量的數(shù)據(jù)源。
- 抑制報告:提供分析工程期間診斷消息的抑制情況。

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

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

為你推薦
-
汽車電子電氣架構(gòu)(E/E)實時性建模與仿真分析工具2026-01-29 10:58
產(chǎn)品型號:RTaW-Pegase -
自動駕駛及智能駕駛仿真測試平臺VTD2025-04-28 12:09
產(chǎn)品型號:VTD -
基于模型的靜態(tài)測試工具MXAM2024-05-16 09:05
產(chǎn)品型號:MXAM -
TC2和TC9線束測試工具2024-05-11 13:48
產(chǎn)品型號:TestPro 型號:TestPro -
PAVELINK.SOA-Converter接口描述語言轉(zhuǎn)換工具2023-10-19 09:07
產(chǎn)品型號:PAVELINK.SOA-Converter -
DDS 協(xié)議測試套件2023-10-11 13:48
產(chǎn)品型號:DDS Tester -
Klocwork——支持DevOps和功能安全/信息安全的靜態(tài)代碼分析器2022-12-03 18:06
產(chǎn)品型號:Klocwork -
思博倫車載以太網(wǎng)一致性測試2022-07-25 17:08
產(chǎn)品型號:思博倫C50 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州 -
R&S羅德與施瓦茨測試解決方案2022-07-25 16:58
產(chǎn)品型號:R&S羅德與施瓦茨儀表 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州 -
VectorCAST—嵌入式代碼自動化測試工具2022-07-25 16:47
產(chǎn)品型號:VectorCAST 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州
-
MES模型靜態(tài)測試工具更新信息 01/20262026-03-04 19:33
-
車載以太網(wǎng)設(shè)備如何進行線束連接2026-03-02 14:11
用戶在使用VN系列設(shè)備時,不了解接口和線束關(guān)系,導致無法采集以太網(wǎng)數(shù)據(jù)。85瀏覽量 -
CANoe性能問題的處理方法2026-03-02 14:03
-
vECU/SIL: OEM從“技術(shù)嘗鮮”到“研發(fā)標配”2026-02-26 10:02
-
CANape 24新版發(fā)布【下】——標定功能完善及ADAS數(shù)采增強2026-02-26 10:02
-
知識分享 | 關(guān)于工具分類與鑒定:MES模賽思為您助力2026-02-05 10:01
-
DYNA4 R10新特性2026-02-04 10:06
-
【客戶案例】同心致遠,共贏未來:北匯信息榮獲立昇科技2025年度“科技貢獻獎”2026-02-04 10:06
-
CANape 24新版發(fā)布【上】——測量功能升級及數(shù)據(jù)分析優(yōu)化2026-01-28 10:05
在這寒風凜冽的冬日,汽車研發(fā)與測試工作正面臨著嚴峻挑戰(zhàn)。隨著汽車行業(yè)向電動化、智能化與網(wǎng)聯(lián)化加速轉(zhuǎn)型,新能源汽車和自動駕駛技術(shù)的飛速發(fā)展,車輛功能與架構(gòu)的復雜度持續(xù)攀升。在這個關(guān)鍵節(jié)點,作為全球領(lǐng)先的汽車電子測試解決方案供應商,Vector推出了備受矚目的CANape24版本,以一系列創(chuàng)新功能和優(yōu)化升級,為工程師提供了更高效、更靈活的一體化測試平臺。此次功能1563瀏覽量
-
HiL測試系統(tǒng)電氣設(shè)計與集成服務(wù)2025-11-21 17:27
-
CI/CT自動化測試解決方案2025-11-12 16:01
-
高壓環(huán)境數(shù)采方案2025-11-11 17:24
-
儲能類電池管理系統(tǒng)BMS HiL解決方案2025-11-10 14:18
在北匯信息HiL測試環(huán)境中,可以在不依賴于真實電池組的情況下,為儲能BMS提供所需的高壓模擬信號、電芯電壓與溫度傳感器信號、母線電流信號以及上層系統(tǒng)的通訊指令,實現(xiàn)儲能BMS狀態(tài)估算算法、充放電邏輯、熱管理策略及故障診斷與保護機制的全面驗證。1.3k瀏覽量 -
新能源動力域系統(tǒng)級測試系統(tǒng)解決方案2025-11-06 17:52
在單控制器HIL測試中,通常聚焦于單個控制器的功能是否完善,是否符合設(shè)計需求。隨著新能源汽車功能越來越豐富、越來越智能化,如自動輔助駕駛、駕乘體驗等,均需要由多個域的控制器協(xié)同工作,通過復雜的信號交互、功能鏈來實現(xiàn)。因此,多控制聯(lián)調(diào)測試便成為在單控制器HIL測試之后,裝車測試之前對控制器系統(tǒng)級功能驗證的一個重要環(huán)節(jié)。2.3k瀏覽量 -
功能安全實車測試設(shè)備2025-11-04 14:34
隨著智能網(wǎng)聯(lián)汽車技術(shù)快速發(fā)展,功能安全驗證已成為行業(yè)關(guān)注焦點。ISO 26262標準要求通過故障注入測試驗證系統(tǒng)安全機制的有效性,但傳統(tǒng)臺架或仿真測試難以真實反映實車工況表現(xiàn)。針對這一行業(yè)痛點,北匯信息推出基于故障注入技術(shù)的功能安全實車測試設(shè)備。本產(chǎn)品彌補了傳統(tǒng)臺架或仿真環(huán)境的不足,通過在實車環(huán)境中自動化構(gòu)造多層次故障場景,更真實地驗證系統(tǒng)的故障檢測能力和安全響應機制。 -
熱管理控制器TMS HiL解決方案2025-10-24 17:05
北匯信息提供的TMS HiL測試系統(tǒng)支持功能測試、故障診斷等測試,可擴展網(wǎng)絡(luò)測試、診斷刷寫測試;可以模擬極端工況以及電氣故障;模塊化的VT板卡,易于擴展、復用;CANoe豐富的軟硬件接口,支持集成第三方軟硬件 ,基于北匯信息豐富的測試系統(tǒng)搭建和服務(wù)經(jīng)驗,提供真正交鑰匙系統(tǒng)。1.9k瀏覽量 -
分布式、域控及SOA架構(gòu)車身功能測試方案2024-12-27 09:05
北匯信息推出分布式、域控以及SOA架構(gòu)的車身功能測試解決方案,支持在實驗室環(huán)境下完成車身單部件、系統(tǒng)級功能自動化測試,可以極大地提升車身功能的可靠性和穩(wěn)定性。2.5k瀏覽量 -
TSN和DDS測試解決方案2024-05-10 09:29
-
汽車智能座艙域功能測試2024-05-10 09:20
-
上傳時間:2025-10-29 15:47
0次下載 -
上傳時間:2025-06-08 16:26
0次下載 -
上傳時間:2025-05-30 11:39
0次下載 -
上傳時間:2025-02-27 14:12
0次下載 -
上傳時間:2024-08-16 14:27
0次下載 -
上傳時間:2024-08-07 21:39
0次下載 -
上傳時間:2024-04-18 22:41
0次下載