--- 產品參數(shù) ---
- 所在地 上海,北京,長春,重慶,杭州灣,嘉定,廣州
--- 產品詳情 ---
前言
隨著現(xiàn)代車輛的智能化發(fā)展(ADAS, Telematics, Infotainment, Cloud Services),車載代碼量呈指數(shù)級增長,代碼靜態(tài)分析的自動化勢在必行,且人們對功能安全的要求日益嚴格,符合行業(yè)編碼規(guī)范是對車載代碼的基礎要求。
美國Perforce(PRQA)公司是嵌入式靜態(tài)分析領域公認的行業(yè)領導及先驅,擁有30多年軟件開發(fā)及測試經驗,是MISRA編碼委員會創(chuàng)始會員及最具影響力的會員,同時是AUTOSAR組織在代碼靜態(tài)分析領域的唯一會員,負責功能安全軟件架構的相關標準制定工作,參與編寫了C++14編碼指南,制定了AUTOSAR測試方案。
Perforce的Helix QAC作為業(yè)內為人熟知的自動代碼靜態(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++語言中會降低代碼復用性、導致功能安全問題、產生網絡安全漏洞的危險代碼結構,最大限度提高代碼檢測覆蓋率,最小化漏報誤報率。
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ī)范,防止會導致功能安全問題及網絡安全漏洞的錯誤編碼。
2)AUTOSAR C++ 14:為應用現(xiàn)代C++語言編寫安全和任務關鍵型嵌入式系統(tǒng)提供有效指導。
3)CERT C/C++:旨在清除代碼中可能導致網絡安全的編碼慣例以及未定義行為。
4)CWE C/C++:從架構、設計、乃至編碼層面描述代碼中常見的網絡安全問題,可以作為識別、減少、預防漏洞的基線。
Helix QAC基于對以上編碼規(guī)范良好的執(zhí)行力和覆蓋度,幫助全球各大整車廠、零部件供應商及其他行業(yè)如航空、軍工、醫(yī)療等領域的企業(yè)提高代碼質量,實現(xiàn)對編碼規(guī)范及相關行業(yè)標準的最佳實踐。

圖 2 編碼規(guī)范覆蓋度
4、Helix QAC Dashboard
Helix QAC Dashboard是基于網頁端的項目質量管理平臺,可實現(xiàn)異地團隊項目信息共享,核心開發(fā)人員、開發(fā)經理、高級管理人員可以在此平臺查看源碼診斷消息、進行基線/版本管理、添加修改注釋、熱力圖快速定位問題源碼、關注代碼質量走勢、設置項目權限、查看代碼合規(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ù)調用等信息。
- 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)標準,幫助客戶用更少的時間完成產品認證。

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

為你推薦
-
自動駕駛及智能駕駛仿真測試平臺VTD2025-04-28 12:09
產品型號:VTD -
基于模型的靜態(tài)測試工具MXAM2024-05-16 09:05
產品型號:MXAM -
TC2和TC9線束測試工具2024-05-11 13:48
產品型號:TestPro 型號:TestPro -
PAVELINK.SOA-Converter接口描述語言轉換工具2023-10-19 09:07
產品型號:PAVELINK.SOA-Converter -
DDS 協(xié)議測試套件2023-10-11 13:48
產品型號:DDS Tester -
Klocwork——支持DevOps和功能安全/信息安全的靜態(tài)代碼分析器2022-12-03 18:06
產品型號:Klocwork -
思博倫車載以太網一致性測試2022-07-25 17:08
產品型號:思博倫C50 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州 -
R&S羅德與施瓦茨測試解決方案2022-07-25 16:58
產品型號:R&S羅德與施瓦茨儀表 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州 -
VectorCAST—嵌入式代碼自動化測試工具2022-07-25 16:47
產品型號:VectorCAST 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州 -
TSN汽車時間敏感網絡測試與測量2022-07-25 16:38
產品型號:TSN Tools,TSN Box 所在地:上海,北京,長春,重慶,杭州灣,嘉定,廣州
-
知識分享 | 敏捷方法在基于模型的軟件開發(fā)項目中的應用2025-07-16 16:52
-
CANoe中ADAS功能集介紹2025-07-10 14:55
高級駕駛輔助系統(tǒng)(ADAS)在汽車中的應用日益增長,為了滿足工程師對于ADAS的分析、仿真和測試等功能的需求,CANoe從15.0版本開始提供ADASFeatureSet(ADAS功能集,簡稱AFS)。AFS作為CANoe基礎功能的一部分,不需要購買額外的Option即可使用。同時,CANoe本身的強大功能和開放接口使得結合總線通信,集成第三方工具,實現(xiàn)SI486瀏覽量 -
從建模規(guī)范到安全合規(guī):汽車電子工程師不可忽視的靜態(tài)測試技術圖譜2025-07-09 10:04
-
【文章轉載】CANoe產品體系19版本新功能(下) - 基礎功能與XIL測試2025-06-25 10:03
-
【資料獲取】ADAS車道輔助系統(tǒng)測試方法解析2025-06-25 10:02
MdynamiX×AutoMotorundSport聯(lián)合測試解讀隨著ADAS輔助駕駛技術在新車中的快速普及,如何科學、系統(tǒng)地評估其實際功能表現(xiàn),成為行業(yè)關注焦點。2025年初,德國權威汽車雜志《automotorundsport》與測試評估機構MdynamiXAG展開合作,對多款主流量產車的車道輔助系統(tǒng)展開實地測試,相關方法和技術細節(jié)已于近期對外發(fā)布。參與測154瀏覽量 -
智駕仿真測試實戰(zhàn)之-"虛實融合:ViL功能測試"2025-06-18 10:04
-
CANoe產品體系19版本新特性及新增Option(上)2025-06-11 10:03
-
新國標車樁兼容難題終破解!兩大測試系統(tǒng)讓充電無憂2025-06-11 10:03
隨著新國充2015+充電標準的發(fā)布,充電樁的快速充電能力和兼容性得到了進一步的提升。新樁是否可以繼續(xù)為我們舊車進行充電,新車又是否可以兼容舊樁呢?尤其是在不同品牌、不同型號的電動汽車與品牌繁雜的充電樁之間,這一問題更是讓人擔心。為了解決這一問題,車樁兼容性充電測試就顯得尤為重要,北匯信息是作為專注于汽車電子測試領域的企業(yè),對整車測試及單部件測試有著豐富經驗,1089瀏覽量 -
知識分享 | 評估模型架構——如何實現(xiàn)?2025-06-05 11:46
-
搭建完整的ADAS測試鏈路,推動自動駕駛技術的安全發(fā)展2025-05-30 11:59
-
分布式、域控及SOA架構車身功能測試方案2024-12-27 09:05
-
TSN和DDS測試解決方案2024-05-10 09:29
-
汽車智能座艙域功能測試2024-05-10 09:20
-
車載T-Box邏輯功能測試方案2024-04-26 11:19
北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經驗Know-How,為客戶提供完整和專業(yè)的T-Box邏輯功能測試解決方案。支持在實驗室環(huán)境及實車環(huán)境下完成T-Box上層邏輯功能測試及實車數(shù)據(jù)分析測試,可以極大地提升T-Box的可靠性和穩(wěn)定性。1.1k瀏覽量 -
汽車OTA通道和壓力測試方案2024-04-25 09:16
-
TSN網絡設計與驗證咨詢服務2022-09-24 16:59
TSN通信技術逐步走進汽車行業(yè)的視野,目前國內外OEM已積極展開TSN技術預研與儲備工作。伴隨TSN車規(guī)級通信芯片成熟度的提升,TSN必將成為IVN以太網主干網的核心基礎技術之一。北匯信息多年來一直致力于TSN設計與驗證的實踐工作,積累了豐富的TSN項目經驗。其間,參與多個國內TSN項目,擁有完整的TSN設計、仿真、原型搭建的開發(fā)經驗,同時為客戶提供齊備的TSN測試工具鏈與驗證方法。1k瀏覽量 -
北匯信息MES成功案例及合作伙伴2022-07-19 18:59
MES成功案例上海汽車制動系統(tǒng)有限公司(SABS)上海汽車制動系統(tǒng)有限公司(簡稱SABS)是德國大陸公司與上海汽車工業(yè)(集團)總公司雙方共同投資組建的企業(yè)。公司主要產品為ABS防抱死制動系統(tǒng)、制動鉗、助力器、傳感器、制動軟管等。其生產涉及機加、電鍍、裝配等三種模式。本著“統(tǒng)一規(guī)劃、分步實施”的原則,SABS逐年分步進行了MES系統(tǒng)建設。系統(tǒng)覆蓋了機加、電鍍、裝配車間。包含:設備集成、SAP集成、計901瀏覽量 -
注塑MES解決方案2022-07-19 18:42
通過MES系統(tǒng)建設,可以對生產計劃、執(zhí)行過程、生產質量、資源等進行全面的數(shù)字化管控,打破工廠信息孤島的現(xiàn)狀,通過整合工廠數(shù)據(jù),實現(xiàn)數(shù)據(jù)集中管控與共享,為生產制造經營信息提煉提供數(shù)據(jù)基礎。806瀏覽量 -
軍工航空航天MES解決方案2022-07-19 18:30
軍工航空航天MES解決方案:過建立以MES為核心的生產管理系統(tǒng),與相關信息系統(tǒng)的集成,形成完整的生產信息化管理平臺,實現(xiàn)信息化建設的目標。1.2k瀏覽量 -
汽車行業(yè)MES解決方案2022-07-19 18:19
針對汽車生產制造行業(yè)對制造管理系統(tǒng)的管理需求,以及北匯信息在汽車行業(yè)多年的MES實施經驗,北信息提供一套成熟的生產信息化管理系統(tǒng)(MES)為生產管理者及企業(yè)管理者提供真實、完整、多視角的評估報告,有效支持各級管理決策。1.3k瀏覽量
-
上傳時間:2025-06-08 16:26
0次下載 -
上傳時間:2025-05-30 11:39
-
上傳時間:2025-02-27 14:12
0次下載 -
上傳時間:2024-08-16 14:27
0次下載 -
上傳時間:2024-04-18 22:41
0次下載