基于模型的靜態(tài)測試工具M(jìn)XAM

嵌入式軟件測試

型號： MXAM

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

MXAM簡介

MES是一家專注于為嵌入式軟件提供高質(zhì)量開發(fā)工具和服務(wù)的高科技公司，尤其在基于模型的開發(fā)領(lǐng)域具有顯著影響力。MXAM（Model Examiner）是一款由MES開發(fā)的專業(yè)工具，專為MATLAB/Simulink環(huán)境下的基于模型的設(shè)計(jì)和開發(fā)提供靜態(tài)分析和驗(yàn)證。MXAM旨在幫助工程師和開發(fā)團(tuán)隊(duì)確保他們的模型遵守既定的建模規(guī)范、行業(yè)標(biāo)準(zhǔn)（如MISRA，MAB，Targetlink等）、以及特定項(xiàng)目的定制化規(guī)則，從而提升模型質(zhì)量和軟件安全性。

北匯信息作為MES的中國合作伙伴，將幫助中國客戶借助MXAM提升嵌入式開發(fā)軟件的模型質(zhì)量。

1. 模型靜態(tài)分析

MXAM應(yīng)用各種靜態(tài)分析技術(shù)（如數(shù)據(jù)流分析，控制流分析等）自動(dòng)掃描模型結(jié)構(gòu)以檢測潛在問題，如不恰當(dāng)?shù)男盘栠B接、未初始化的信號、零除及平方根的負(fù)輸入等。

MXAM可以驗(yàn)證模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模標(biāo)準(zhǔn)。MES功能安全文檔歸納總結(jié)了和功能安全相關(guān)的指導(dǎo)規(guī)范，從而使開發(fā)的模型滿足國際安全標(biāo)準(zhǔn)ISO 26262、ISO 25119、IEC 61508以及DO 178B/C的要求。

2. 優(yōu)化模型以防止編碼錯(cuò)誤

在MBD這種開發(fā)模式下，軟件模型是軟件代碼的基礎(chǔ)。優(yōu)化的軟件模型可以提高軟件代碼生成的成功率，從而節(jié)省開發(fā)資源，將有限資源投用到如功能開發(fā)及測試等更迫切需要的地方。

MXAM對于常見的軟件代碼生成工具諸如Embedded Coder、TargetLink以及ASCET提供特定的建模規(guī)范文檔以保障軟件模型質(zhì)量，同時(shí)確保模型配置中診斷及代碼生成項(xiàng)符合規(guī)范，從而能夠保證自動(dòng)生成代碼的高效性。

3. 提供綜合報(bào)告并提供模型修復(fù)建議

MXAM的建模規(guī)范審核結(jié)果非常清晰。如果發(fā)現(xiàn)錯(cuò)誤，MXAM可以直接指出出現(xiàn)錯(cuò)誤的模型部分并給出錯(cuò)誤分析以及修改建議，并且在多數(shù)情況下支持自動(dòng)修復(fù)錯(cuò)誤模型部分。

4. 互動(dòng)式的模型評審

MXAM 中可通過注釋添加個(gè)人的模型違規(guī)意見，從而持續(xù)記錄模型審核及評價(jià)結(jié)果。MXAM 可以全面總結(jié)和記錄手動(dòng)及自動(dòng)建模規(guī)范審查的結(jié)果。

5. 模型重構(gòu)支持

5.1 創(chuàng)建和刪除結(jié)構(gòu)相關(guān)的信號

通過子系統(tǒng)層次結(jié)構(gòu)創(chuàng)建或刪除信號既耗時(shí)又易出錯(cuò)。使用 MoRe 可以通過一個(gè)簡單操作添加或刪除此類信號。通過選擇源端口和目標(biāo)端口，可以自動(dòng)生成或刪除相關(guān)聯(lián)的輸入、輸出和信號線。

5.2 便利地重構(gòu)子系統(tǒng)

MoRe支持在不影響模型功能的前提下快速、輕松地修改分解模型。通過簡單的操作將已連接的功能模塊移入或移出子系統(tǒng)。此外，也可以將一個(gè)子系統(tǒng)劃分為兩個(gè)子系統(tǒng)或?qū)蓚€(gè)子系統(tǒng)合并成一個(gè)系統(tǒng)。

MoRe支持子系統(tǒng)接口的修改。例如，您可以通過對話框在外部更改子系統(tǒng)的端口順序。

5.3 生成和分解總線

通過使用MoRe可以將已連接的信號輕松、快速地生成總線。這是一個(gè)在修改模型時(shí)常用但耗時(shí)的步驟。在實(shí)現(xiàn)過程中，MoRe 會(huì)自動(dòng)生成需要的Creator、Selector 以及信號線。除此之外，還為總線提供增添信號功能和Selector分解或合并功能。

6. 模型規(guī)則自定義

允許用戶根據(jù)組織內(nèi)部的最佳實(shí)踐或特定標(biāo)準(zhǔn)定義自己的規(guī)則集，并對模型進(jìn)行檢查。

7.支持多種報(bào)告形式

MXAM的靜態(tài)掃描過程完全自動(dòng)化，在完成靜態(tài)測試之后可以自動(dòng)生成詳細(xì)報(bào)告說明模型檢查的結(jié)果，便于追蹤問題的修復(fù)進(jìn)度和審計(jì)目的。MXAM支持的報(bào)告格式包括：HTML、PDF、 EXCEL和XML。

8.資質(zhì)認(rèn)證

MXAM支持ISO26262標(biāo)準(zhǔn)要求產(chǎn)品開發(fā)的所有測試活動(dòng)。根據(jù)ISO26262的要求，當(dāng)使用軟件工具進(jìn)行安全相關(guān)的開發(fā)活動(dòng)時(shí)，需要對使用的軟件工具進(jìn)行資質(zhì)審核。

MXAM 通過了TüV SüD（南德意志技術(shù)監(jiān)督協(xié)會(huì)）認(rèn)證，可用于安全相關(guān)的嵌入式軟件開發(fā)過程，符合ISO 26262、IEC 61508和ISO 25119標(biāo)準(zhǔn)。

客戶列表（部分）

為你推薦

產(chǎn)品文章方案資料

汽車電子電氣架構(gòu)（E/E）實(shí)時(shí)性建模與仿真分析工具2026-01-29 10:58

產(chǎn)品型號：RTaW-Pegase
自動(dòng)駕駛及智能駕駛仿真測試平臺VTD2025-04-28 12:09

產(chǎn)品型號：VTD
基于模型的靜態(tài)測試工具M(jìn)XAM2024-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—嵌入式代碼自動(dòng)化測試工具2022-07-25 16:47

產(chǎn)品型號：VectorCAST 所在地：上海，北京，長春，重慶，杭州灣，嘉定，廣州

車載以太網(wǎng)設(shè)備如何進(jìn)行線束連接2026-03-02 14:11

用戶在使用VN系列設(shè)備時(shí)，不了解接口和線束關(guān)系，導(dǎo)致無法采集以太網(wǎng)數(shù)據(jù)。

以太網(wǎng) 設(shè)備車載以太網(wǎng)
41瀏覽量
CANoe性能問題的處理方法2026-03-02 14:03

用戶在使用CANoe配置時(shí)遇到性能問題（如系統(tǒng)響應(yīng)慢或配置執(zhí)行不順），希望自行采取措施改善情況。性能問題因系統(tǒng)和配置的多樣性而復(fù)雜，通常沒有單一解決方案，可能源于系統(tǒng)資源不足、配置復(fù)雜度過高，或兩者結(jié)合。

CAN CANoe 測量
55瀏覽量
vECU/SIL: OEM從“技術(shù)嘗鮮”到“研發(fā)標(biāo)配”2026-02-26 10:02

01SIL測試——從“嘗試”變?yōu)椤摆厔荨痹谡噺S與供應(yīng)商的項(xiàng)目中，以下場景屢見不鮮：ECU軟件已進(jìn)入跨團(tuán)隊(duì)/公司級的功能聯(lián)調(diào)，硬件板子卻還未到位；算法工程師寫好控制策略，卻找不到真實(shí)環(huán)境進(jìn)行驗(yàn)證；軟硬件均已更新，HIL臺架資源卻需要排隊(duì)等待。過去，這些瓶頸往往只能靠“等”——等硬件、等設(shè)備、等協(xié)調(diào)。但隨著軟件在整車系統(tǒng)中的復(fù)雜度占比持續(xù)攀升，等待直接意味著項(xiàng)

OEM SIL 整車測試
147瀏覽量
CANape 24新版發(fā)布【下】——標(biāo)定功能完善及ADAS數(shù)采增強(qiáng)2026-02-26 10:02

作者|68小編|Crystal上篇文章我們說到，汽車研發(fā)與測試工作正面臨著嚴(yán)峻挑戰(zhàn)，汽車行業(yè)向電動(dòng)化、智能化與網(wǎng)聯(lián)化加速轉(zhuǎn)型，新能源汽車和自動(dòng)駕駛技術(shù)的飛速發(fā)展，車輛功能與架構(gòu)的復(fù)雜度持續(xù)攀升。Vector推出的CANape24版本，將測量功能升級，數(shù)據(jù)分析優(yōu)化，為工程師提供了更高效、更靈活的一體化測試平臺，成為測試工程的強(qiáng)有力幫手。本篇文章繼續(xù)從標(biāo)定、AD

adas CAN 新能源汽車
525瀏覽量
知識分享 | 關(guān)于工具分類與鑒定：MES模賽思為您助力2026-02-05 10:01

遵循ISO 26262等功能安全標(biāo)準(zhǔn)對于確保軟件的安全性與可靠性至關(guān)重要。在此背景下，工具的合規(guī)性與資格鑒定十分重要。ISO 26262定義了明確的步驟，以確保所使用的軟件工具能夠可靠運(yùn)行并滿足規(guī)范要求。其目標(biāo)是最大限度地降低風(fēng)險(xiǎn)，并確保在安全相關(guān)的開發(fā)項(xiàng)目中保持合規(guī)性。對于這一主題，本文匯集了來自MES模賽思的相關(guān)知識資源。

ISO26262 MES 軟件
3218瀏覽量
DYNA4 R10新特性2026-02-04 10:06

DYNA4為乘用車和商用車提供各種復(fù)雜的仿真模型，包括車輛動(dòng)力學(xué)模型、發(fā)動(dòng)機(jī)模型、動(dòng)力系統(tǒng)模型、電機(jī)模型、ADAS物理傳感器和交通環(huán)境模型等。新版本DYNA4R10在場景建模、OpenSCENARIO支持、工具鏈集成、模型能力以及整體工作流與易用性方面帶來了大量重要升級。本次版本的改進(jìn)重點(diǎn)圍繞ScenarioEngine的能力增強(qiáng)、OpenSCENARIO/

adas 自動(dòng)駕駛
465瀏覽量
【客戶案例】同心致遠(yuǎn)，共贏未來：北匯信息榮獲立昇科技2025年度“科技貢獻(xiàn)獎(jiǎng)”2026-02-04 10:06

2026年1月23日，以“同心致遠(yuǎn)，共贏未來”為主題的立昇科技2025年度供應(yīng)商表彰暨合作發(fā)展大會(huì)在廣州南沙圓滿舉行。北匯信息憑借卓越的技術(shù)貢獻(xiàn)與堅(jiān)實(shí)的服務(wù)支持，在眾多供應(yīng)商中脫穎而出，榮膺大會(huì)頒發(fā)的“科技貢獻(xiàn)獎(jiǎng)”。這一榮譽(yù)不僅是對北匯信息專業(yè)能力的充分肯定，更是雙方深度合作、協(xié)同共進(jìn)的最佳見證。北匯信息作為國內(nèi)領(lǐng)先的汽車電子測試系統(tǒng)及技術(shù)服務(wù)商，始終專注于

汽車電子測試
419瀏覽量
DEKRA德凱攜手云氪技術(shù)、北匯信息助力華域視覺獲得 ISO 26262:2018 汽車功能安全ASIL B產(chǎn)品認(rèn)證證書2026-01-28 10:05

近日，DEKRA德凱（以下簡稱為“德凱”）為云氪技術(shù)在車燈領(lǐng)域的重要客戶之一華域視覺的電子后視鏡產(chǎn)品CMS頒發(fā)ISO26262:2018汽車功能安全ASILB產(chǎn)品認(rèn)證證書。該證書標(biāo)志著華域視覺的產(chǎn)品，在云氪技術(shù)提供的深度功能安全咨詢服務(wù)支持下，并結(jié)合北匯信息在功能安全測試與驗(yàn)證工具鏈方面的專業(yè)支撐，以及華域視覺自身卓越的產(chǎn)品開發(fā)能力，已完全具備ISO2626

DEKRA ISO 汽車功能安全
461瀏覽量
CANape 24新版發(fā)布【上】——測量功能升級及數(shù)據(jù)分析優(yōu)化2026-01-28 10:05

在這寒風(fēng)凜冽的冬日，汽車研發(fā)與測試工作正面臨著嚴(yán)峻挑戰(zhàn)。隨著汽車行業(yè)向電動(dòng)化、智能化與網(wǎng)聯(lián)化加速轉(zhuǎn)型，新能源汽車和自動(dòng)駕駛技術(shù)的飛速發(fā)展，車輛功能與架構(gòu)的復(fù)雜度持續(xù)攀升。在這個(gè)關(guān)鍵節(jié)點(diǎn)，作為全球領(lǐng)先的汽車電子測試解決方案供應(yīng)商，Vector推出了備受矚目的CANape24版本，以一系列創(chuàng)新功能和優(yōu)化升級，為工程師提供了更高效、更靈活的一體化測試平臺。此次功能

CAN 數(shù)據(jù)分析測量
1354瀏覽量
SDV域控器日志追蹤與解析技術(shù) – DLT2026-01-21 10:04

從研發(fā)到測試SDV域控制器的調(diào)試日志在汽車軟件復(fù)雜度不斷攀升的今天，對不同核或分區(qū)上運(yùn)行的復(fù)雜軟件進(jìn)行調(diào)試或追蹤極具挑戰(zhàn)性，并且在POSIX系統(tǒng)或車輛上的復(fù)雜軟件進(jìn)行分步調(diào)試往往更具挑戰(zhàn)。所以，如何在SDV域控制器開發(fā)測試環(huán)境中，將應(yīng)用程序、中間件和內(nèi)核日志與時(shí)間戳等信息同步結(jié)合匯聚到同一個(gè)日志流，以便更好服務(wù)軟件工廠或“黑燈”測試工廠，亦或?yàn)樵贫薃I平臺提

DLT SDV 控制器測試
1833瀏覽量

HiL測試系統(tǒng)電氣設(shè)計(jì)與集成服務(wù)2025-11-21 17:27

北匯信息作為汽車電子行業(yè)知名的測試系統(tǒng)集成商，不僅為汽車行業(yè)客戶提供交鑰匙方案和實(shí)施，同時(shí)也能為汽車客戶提供HiL測試系統(tǒng)搭建服務(wù)、實(shí)車數(shù)據(jù)記錄系統(tǒng)搭建等，提供更靈活的合作模式，助力客戶高效推進(jìn)汽車電子研發(fā)與測試工作。

HIL測試電氣設(shè)計(jì)
1.6k瀏覽量
CI/CT自動(dòng)化測試解決方案2025-11-12 16:01

北匯信息可以提供Jenkins、Gitlab Runner CI和自研平臺等的CI/CT整體解決方案，通過CI/CT自動(dòng)化測試執(zhí)行、測試策略定制、測試任務(wù)自動(dòng)調(diào)度、測試系統(tǒng)資源統(tǒng)籌、測試過程閉環(huán)等功能，將頻繁耗時(shí)的工作標(biāo)準(zhǔn)化、開發(fā)-測試流程標(biāo)準(zhǔn)化，從而幫助客戶提升測試覆蓋率、版本質(zhì)量、交付速度和HIL臺架利用率。

汽車軟件自動(dòng)化測試
1.2k瀏覽量
高壓環(huán)境數(shù)采方案2025-11-11 17:24

在高電壓環(huán)境下，必不可少需要使用外部的傳感器、采集設(shè)備對高壓環(huán)境下的信號進(jìn)行測量，比如電池包的溫度變化，電芯電壓變化，這些測量會(huì)介入到高壓環(huán)境內(nèi)部，因此數(shù)據(jù)采集設(shè)備本身的絕緣與隔離就至關(guān)重要，這是保證試驗(yàn)人員安全的基礎(chǔ)。本文分享基于Vector CSM的7個(gè)高壓應(yīng)用場景方案。

新能源汽車電動(dòng)汽車
1.4k瀏覽量
儲(chǔ)能類電池管理系統(tǒng)BMS HiL解決方案2025-11-10 14:18

在北匯信息HiL測試環(huán)境中，可以在不依賴于真實(shí)電池組的情況下，為儲(chǔ)能BMS提供所需的高壓模擬信號、電芯電壓與溫度傳感器信號、母線電流信號以及上層系統(tǒng)的通訊指令，實(shí)現(xiàn)儲(chǔ)能BMS狀態(tài)估算算法、充放電邏輯、熱管理策略及故障診斷與保護(hù)機(jī)制的全面驗(yàn)證。

bms系統(tǒng) 電池管理系統(tǒng)
1.2k瀏覽量
新能源動(dòng)力域系統(tǒng)級測試系統(tǒng)解決方案2025-11-06 17:52

在單控制器HIL測試中，通常聚焦于單個(gè)控制器的功能是否完善，是否符合設(shè)計(jì)需求。隨著新能源汽車功能越來越豐富、越來越智能化，如自動(dòng)輔助駕駛、駕乘體驗(yàn)等，均需要由多個(gè)域的控制器協(xié)同工作，通過復(fù)雜的信號交互、功能鏈來實(shí)現(xiàn)。因此，多控制聯(lián)調(diào)測試便成為在單控制器HIL測試之后，裝車測試之前對控制器系統(tǒng)級功能驗(yàn)證的一個(gè)重要環(huán)節(jié)。

新能源
2.3k瀏覽量
功能安全實(shí)車測試設(shè)備2025-11-04 14:34

隨著智能網(wǎng)聯(lián)汽車技術(shù)快速發(fā)展，功能安全驗(yàn)證已成為行業(yè)關(guān)注焦點(diǎn)。ISO 26262標(biāo)準(zhǔn)要求通過故障注入測試驗(yàn)證系統(tǒng)安全機(jī)制的有效性，但傳統(tǒng)臺架或仿真測試難以真實(shí)反映實(shí)車工況表現(xiàn)。針對這一行業(yè)痛點(diǎn)，北匯信息推出基于故障注入技術(shù)的功能安全實(shí)車測試設(shè)備。本產(chǎn)品彌補(bǔ)了傳統(tǒng)臺架或仿真環(huán)境的不足，通過在實(shí)車環(huán)境中自動(dòng)化構(gòu)造多層次故障場景，更真實(shí)地驗(yàn)證系統(tǒng)的故障檢測能力和安全響應(yīng)機(jī)制。

汽車功能安全測試
1.1k瀏覽量
熱管理控制器TMS HiL解決方案2025-10-24 17:05

北匯信息提供的TMS HiL測試系統(tǒng)支持功能測試、故障診斷等測試，可擴(kuò)展網(wǎng)絡(luò)測試、診斷刷寫測試；可以模擬極端工況以及電氣故障；模塊化的VT板卡，易于擴(kuò)展、復(fù)用；CANoe豐富的軟硬件接口，支持集成第三方軟硬件，基于北匯信息豐富的測試系統(tǒng)搭建和服務(wù)經(jīng)驗(yàn)，提供真正交鑰匙系統(tǒng)。

HIL測試熱管理系統(tǒng)
1.9k瀏覽量
分布式、域控及SOA架構(gòu)車身功能測試方案2024-12-27 09:05

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

SOA架構(gòu) 分布式域控制器車身域控制器
2.5k瀏覽量
TSN和DDS測試解決方案2024-05-10 09:29

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

DDS TSN 測試
1k瀏覽量
汽車智能座艙域功能測試2024-05-10 09:20

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

智能座艙汽車測試
3.4k瀏覽量