基于模型的靜態(tài)測試工具MXAM

嵌入式軟件測試

型號： MXAM

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

MXAM簡介

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

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

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

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

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

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

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

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

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

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

4. 互動式的模型評審

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

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

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

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

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

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

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

5.3 生成和分解總線

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

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

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

7.支持多種報告形式

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

8.資質(zhì)認證

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

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

客戶列表（部分）

為你推薦

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

汽車電子電氣架構(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 所在地：上海，北京，長春，重慶，杭州灣，嘉定，廣州

功能安全法規(guī)標準（轉(zhuǎn)向和制動最新強規(guī)）解讀：從合規(guī)要求到測試驗證2026-04-15 10:05

作者|黑白小編|CrystalGB17675-2025《汽車轉(zhuǎn)向系基本要求》、GB21670-2025《乘用車制動系統(tǒng)技術(shù)要求及試驗方法》等功能安全強制性國家標準的實施，對車輛轉(zhuǎn)向與制動系統(tǒng)的測試驗證提出了明確要求。本文基于ISO26262功能安全標準框架，系統(tǒng)梳理上述法規(guī)的核心條款與測試要求，探討標準在實車測試中的具體落地方式，為功能安全驗證工作提供技術(shù)參

乘用車功能安全汽車
229瀏覽量
Perforce 靜態(tài)分析現(xiàn)已正式支持 Rust語言！2026-04-08 15:38

您是否正計劃通過 Rust 編程來提升內(nèi)存安全性，卻又擔心它無法覆蓋所有的安全漏洞？Perforce QAC 和 Klocwork 現(xiàn)在已支持分析 Rust 代碼，填補了開源代碼檢查工具在質(zhì)量和治理工具鏈方面的空白。

Rust 靜態(tài)分析
400瀏覽量
知識分享 | ISO 25119標準在農(nóng)業(yè)機械軟件開發(fā)中的應(yīng)用2026-04-08 10:03

知識分享在知識分享欄目中，我們會定期與讀者分享來自MES模賽思的基于模型的軟件開發(fā)相關(guān)Know-How干貨，關(guān)注公眾號，隨時掌握基于模型的軟件設(shè)計的技術(shù)知識。ISO25119標準在農(nóng)業(yè)機械軟件開發(fā)中的應(yīng)用文章內(nèi)容來源：MES模賽思官方網(wǎng)站現(xiàn)代農(nóng)業(yè)和林業(yè)機械已發(fā)展為復(fù)雜且由軟件驅(qū)動的系統(tǒng)。電子控制單元、網(wǎng)絡(luò)化功能以及自主作業(yè)流程在提升效率和生產(chǎn)力的同時，也對功

嵌入式機械軟件開發(fā)
96瀏覽量
智慧儲能BMS全棧測試解決方案2026-04-02 20:34

北匯信息擁有專業(yè)的儲能技術(shù)服務(wù)團隊，多年來已為國內(nèi)多家頭部儲能企業(yè)和中國電科院等儲能測試機構(gòu)提供儲能測試系統(tǒng)和駐地測試服務(wù)，不僅緊跟儲能新舊國標的發(fā)展，也為企業(yè)標準提供定制化方案和服務(wù)，助力儲能行業(yè)更好地發(fā)展。如果您想要了解更多的信息，歡迎聯(lián)系北匯信息。

bms電池儲能測試
2064瀏覽量
知識分享 | 如何通過建模規(guī)范輕松掌控Stateflow開發(fā)2026-03-26 14:27

Stateflow為用戶提供了強大的建模功能，但如果使用不當，也可能帶來風(fēng)險。通過使用MXAM，遵循這些最佳實踐，可以構(gòu)建穩(wěn)健、高效且易于維護的Stateflow模型，并實現(xiàn)與Simulink和TargetLink的無縫集成。

MES 模型汽車
1280瀏覽量
AI 輔助代碼修復(fù)：嵌入式軟件開發(fā)的突破性進展2026-03-26 11:19

憑借 AI 輔助修復(fù)，開發(fā)人員不僅能實現(xiàn)“邊寫邊分析”，還能做到“邊寫邊修復(fù)”。這不僅帶來了更準確、更安全的軟件，還優(yōu)化了缺陷檢測與修復(fù)的左移流程，提升了開發(fā)速度，進而全面增強了嵌入式項目的 DevOps 流程。目前Perforce QAC最新版本已經(jīng)提供AI輔助代碼修復(fù)功能，如需試用，請聯(lián)系北匯信息。

AI 嵌入式軟件
1583瀏覽量
從 HiL 到 vECU SiL：汽車控制器驗證為什么正在加速前移2026-03-26 09:09

HiL 依然重要，但它更適合承擔系統(tǒng)級和硬件相關(guān)問題的最終收斂；而基于 vECU的 SiL，則讓更多軟件驗證工作可以前移到更早階段完成。對于正在推進軟件平臺化、持續(xù)集成和虛擬交付的企業(yè)來說，vECU SiL 已經(jīng)不只是“值得關(guān)注”的方向，而正在成為競爭力的重要組成部分。北匯信息聚焦汽車電子控制器虛擬化與軟件驗證解決方案，支持企業(yè)構(gòu)建從 vECU 生成、SiL

SIL 汽車控制器
1343瀏覽量
【協(xié)會活動】走進大眾汽車（中國）科技—智能化熱管理技術(shù)交流對接會順利舉辦2026-03-24 14:35

3月12日，由上海市交通電子行業(yè)協(xié)會和大眾汽車（中國）科技有限公司、嘉之道汽車共同主辦的走進大眾汽車（中國）科技——智能化熱管理技術(shù)交流對接會在安徽合肥順利舉行?？票鹊?、北匯信息、盾安熱管理、凱晟技術(shù)、南京康尼、美思先端、上海通敏、重慶超力等聚焦于熱管理技術(shù)的企業(yè)參與展覽展示?；顒悠陂g，大眾汽車（中國）科技的技術(shù)研發(fā)與采購團隊親臨展示廳，細致觀摩了各家企業(yè)的

大眾汽車熱管理
1498瀏覽量
北匯信息Test House測試服務(wù)助力中國零部件企業(yè)出海2026-03-18 10:03

在全球汽車產(chǎn)業(yè)日益融合的今天，國內(nèi)汽車零部件制造商正積極拓展海外市場，將高品質(zhì)的產(chǎn)品推向世界舞臺。作為專業(yè)的汽車電子軟件測試服務(wù)商，北匯信息憑借專業(yè)的技術(shù)能力和豐富的行業(yè)經(jīng)驗，在近幾年成功助力眾多國內(nèi)零部件企業(yè)與德國寶馬、大眾，美國福特、通用，日本豐田、本田，韓國現(xiàn)代、起亞等GlobalOEM建立了緊密的合作關(guān)系，為其出口的汽車零部件提供了軟件測試（單元測試

汽車電子測試零部件
1248瀏覽量
基于DYNA4實現(xiàn)攝像頭畸變應(yīng)用2026-03-11 10:03

DYNA4為乘用車和商用車提供各種復(fù)雜的仿真模型，包括車輛動力學(xué)模型、發(fā)動機模型、動力系統(tǒng)模型、電機模型、交通環(huán)境模型和ADAS物理傳感器模型等。由于攝像頭需要同時滿足視場更廣、更近的成像距離、體積更小以及成本更低等多方面要求，鏡頭設(shè)計過程中往往會主動接受一定程度的畸變。較大的畸變有助于實現(xiàn)更大的視場角（FOV）、更緊湊的結(jié)構(gòu)、更高的透光效率以及更低的制造成

仿真光學(xué)系統(tǒng) 攝像頭
8203瀏覽量

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

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

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

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

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

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

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

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

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

在單控制器HIL測試中，通常聚焦于單個控制器的功能是否完善，是否符合設(shè)計需求。隨著新能源汽車功能越來越豐富、越來越智能化，如自動輔助駕駛、駕乘體驗等，均需要由多個域的控制器協(xié)同工作，通過復(fù)雜的信號交互、功能鏈來實現(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)的故障檢測能力和安全響應(yīng)機制。

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

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

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

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

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

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

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

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

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