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

嵌入式軟件測(cè)試

型號(hào)： MXAM

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

MXAM簡(jiǎn)介

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的中國(guó)合作伙伴，將幫助中國(guó)客戶借助MXAM提升嵌入式開發(fā)軟件的模型質(zhì)量。

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

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

MXAM可以驗(yàn)證模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模標(biāo)準(zhǔn)。MES功能安全文檔歸納總結(jié)了和功能安全相關(guān)的指導(dǎo)規(guī)范，從而使開發(fā)的模型滿足國(guó)際安全標(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ā)及測(cè)試等更迫切需要的地方。

MXAM對(duì)于常見的軟件代碼生成工具諸如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)式的模型評(píng)審

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

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

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

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

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

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

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

5.3 生成和分解總線

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

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

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

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

MXAM的靜態(tài)掃描過程完全自動(dòng)化，在完成靜態(tài)測(cè)試之后可以自動(dòng)生成詳細(xì)報(bào)告說(shuō)明模型檢查的結(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ā)的所有測(cè)試活動(dòng)。根據(jù)ISO26262的要求，當(dāng)使用軟件工具進(jìn)行安全相關(guān)的開發(fā)活動(dòng)時(shí)，需要對(duì)使用的軟件工具進(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)品文章方案資料

自動(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)春，重慶，杭州灣，嘉定，廣州

知識(shí)分享 | 敏捷方法在基于模型的軟件開發(fā)項(xiàng)目中的應(yīng)用2025-07-16 16:52

傳統(tǒng)的瀑布式軟件開發(fā)流程存在諸多局限，這使得應(yīng)用敏捷原則變得尤為重要，尤其是面對(duì)復(fù)雜且不斷變化的開發(fā)環(huán)境時(shí)。作為最高效的軟件開發(fā)方法之一，基于模型的開發(fā)（MBD）具有諸多優(yōu)勢(shì)。將敏捷原則融入MBD流程，不僅能幫助開發(fā)團(tuán)隊(duì)實(shí)現(xiàn)更短的反饋周期，更支持增量式開發(fā)，并最終交付更貼近客戶不斷變化需求的高質(zhì)量最終產(chǎn)品。

嵌入式敏捷開發(fā) 軟件開發(fā)
229瀏覽量
CANoe中ADAS功能集介紹2025-07-10 14:55

高級(jí)駕駛輔助系統(tǒng)（ADAS）在汽車中的應(yīng)用日益增長(zhǎng)，為了滿足工程師對(duì)于ADAS的分析、仿真和測(cè)試等功能的需求，CANoe從15.0版本開始提供ADASFeatureSet（ADAS功能集，簡(jiǎn)稱AFS）。AFS作為CANoe基礎(chǔ)功能的一部分，不需要購(gòu)買額外的Option即可使用。同時(shí)，CANoe本身的強(qiáng)大功能和開放接口使得結(jié)合總線通信，集成第三方工具，實(shí)現(xiàn)SI

adas CANoe 駕駛輔助系統(tǒng)
486瀏覽量
從建模規(guī)范到安全合規(guī)：汽車電子工程師不可忽視的靜態(tài)測(cè)試技術(shù)圖譜2025-07-09 10:04

——基于ASPICE與ISO26262的模型質(zhì)量保障深度實(shí)踐作者|小新小編|不吃豬頭肉隨著汽車電動(dòng)化與智能化的不斷深入，基于模型的開發(fā)（Model-BasedDevelopment，MBD）已成為復(fù)雜系統(tǒng)開發(fā)的核心范式。在此背景下，模型靜態(tài)測(cè)試憑借其早期缺陷檢測(cè)能力，以及企業(yè)對(duì)開發(fā)效率、功能安全及ASPICE合規(guī)的日益重視，在汽車電子系統(tǒng)開發(fā)中得到廣泛應(yīng)用。

MBD 汽車電子靜態(tài)測(cè)試
561瀏覽量
【文章轉(zhuǎn)載】CANoe產(chǎn)品體系19版本新功能（下） - 基礎(chǔ)功能與XIL測(cè)試2025-06-25 10:03

新版本持續(xù)為智能電動(dòng)網(wǎng)聯(lián)汽車軟件開發(fā)測(cè)試帶來(lái)全新功能，IDE開發(fā)環(huán)境支持.NET8.0、Python、MATLAB2024b，VisualStudioCode集成測(cè)試開發(fā)和調(diào)試功能，支持Ubuntu24.04部署，虛擬ECU工具vVIRTUALtarget支持Vector協(xié)議棧虛擬化的同時(shí)可工程適配第三方協(xié)議棧虛擬化SIL，高性價(jià)比HIL板卡VIOSyste

CANoe Xil 軟件開發(fā)
238瀏覽量
【資料獲取】ADAS車道輔助系統(tǒng)測(cè)試方法解析2025-06-25 10:02

MdynamiX×AutoMotorundSport聯(lián)合測(cè)試解讀隨著ADAS輔助駕駛技術(shù)在新車中的快速普及，如何科學(xué)、系統(tǒng)地評(píng)估其實(shí)際功能表現(xiàn)，成為行業(yè)關(guān)注焦點(diǎn)。2025年初，德國(guó)權(quán)威汽車雜志《automotorundsport》與測(cè)試評(píng)估機(jī)構(gòu)MdynamiXAG展開合作，對(duì)多款主流量產(chǎn)車的車道輔助系統(tǒng)展開實(shí)地測(cè)試，相關(guān)方法和技術(shù)細(xì)節(jié)已于近期對(duì)外發(fā)布。參與測(cè)

adas 測(cè)試輔助系統(tǒng)
154瀏覽量
智駕仿真測(cè)試實(shí)戰(zhàn)之-"虛實(shí)融合：ViL功能測(cè)試"2025-06-18 10:04

作者|潘小編|不吃豬頭肉引言隨著L2及L2+級(jí)智能輔助駕駛技術(shù)的普及，車輛在復(fù)雜場(chǎng)景下的可靠性成為用戶最關(guān)心的問題。但傳統(tǒng)實(shí)車測(cè)試成本高、周期長(zhǎng)、危險(xiǎn)性大！那么如何低成本完成L2+級(jí)智能駕駛系統(tǒng)的功能驗(yàn)證呢？車輛在環(huán)（ViL,Vehicle-in-the-Loop）場(chǎng)地測(cè)試方案通過高精度地圖搭建、多傳感器仿真技術(shù)，解決實(shí)車測(cè)試極端工況危險(xiǎn)、故障難以模擬及Hi

仿真測(cè)試智能駕駛輔助駕駛
1074瀏覽量
CANoe產(chǎn)品體系19版本新特性及新增Option（上）2025-06-11 10:03

新版本持續(xù)助力當(dāng)前車輛E/E架構(gòu)中ECU開發(fā)驗(yàn)證，同時(shí)賦能后續(xù)智能網(wǎng)聯(lián)電動(dòng)車型預(yù)研驗(yàn)證。新版本CANoe產(chǎn)品體系新增數(shù)據(jù)驅(qū)動(dòng)的DDS、車輛互聯(lián)服務(wù)和高效電機(jī)模型庫(kù)，進(jìn)一步支持CANXL、10BASE-T1S和CANFDLight賦能當(dāng)下預(yù)研工作，全面綜合增強(qiáng)全球充電系統(tǒng)的仿真和驗(yàn)證有效支撐新能源車出海，全新的V2X設(shè)備滿足車聯(lián)網(wǎng)測(cè)試驗(yàn)證，滿足SOA架構(gòu)下透?jìng)?

CANoe ecu IDE
1293瀏覽量
新國(guó)標(biāo)車樁兼容難題終破解！兩大測(cè)試系統(tǒng)讓充電無(wú)憂2025-06-11 10:03

隨著新國(guó)充2015+充電標(biāo)準(zhǔn)的發(fā)布，充電樁的快速充電能力和兼容性得到了進(jìn)一步的提升。新樁是否可以繼續(xù)為我們舊車進(jìn)行充電，新車又是否可以兼容舊樁呢？尤其是在不同品牌、不同型號(hào)的電動(dòng)汽車與品牌繁雜的充電樁之間，這一問題更是讓人擔(dān)心。為了解決這一問題，車樁兼容性充電測(cè)試就顯得尤為重要，北匯信息是作為專注于汽車電子測(cè)試領(lǐng)域的企業(yè)，對(duì)整車測(cè)試及單部件測(cè)試有著豐富經(jīng)驗(yàn)，

充電新國(guó)標(biāo) 測(cè)試系統(tǒng)
1089瀏覽量
知識(shí)分享 | 評(píng)估模型架構(gòu)——如何實(shí)現(xiàn)？2025-06-05 11:46

確保良好的模型架構(gòu)對(duì)于開發(fā)安全和可靠的軟件非常重要。本文為您介紹MES Model Examiner? (MXAM)如何優(yōu)化模型架構(gòu)，簡(jiǎn)化復(fù)雜度管理步驟，并最終提升軟件質(zhì)量。

ISO MES 子系統(tǒng)
140瀏覽量
搭建完整的ADAS測(cè)試鏈路，推動(dòng)自動(dòng)駕駛技術(shù)的安全發(fā)展2025-05-30 11:59

隨著全球L3級(jí)自動(dòng)駕駛法規(guī)落地，產(chǎn)業(yè)進(jìn)入規(guī)?；l(fā)展階段。針對(duì)高階自動(dòng)駕駛系統(tǒng)復(fù)雜度與測(cè)試效率的挑戰(zhàn)，北匯信息構(gòu)建覆蓋MIL、SIL、HIL、VIL及實(shí)車的全生命周期測(cè)試鏈路。面對(duì)端到端架構(gòu)與艙駕融合趨勢(shì)，通過世界模型、3D高斯場(chǎng)景重建等技術(shù)提升仿真保真度與場(chǎng)景覆蓋能力，結(jié)合艙駕一體化HIL測(cè)試及功能安全驗(yàn)證體系，解決多模態(tài)交互、數(shù)據(jù)融合與系統(tǒng)集成難題，為自動(dòng)

adas 汽車自動(dòng)駕駛測(cè)試
1578瀏覽量

分布式、域控及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)定性。

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

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

DDS TSN 測(cè)試
651瀏覽量
汽車智能座艙域功能測(cè)試2024-05-10 09:20

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

智能座艙汽車測(cè)試
2.9k瀏覽量
車載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)定性。

控制器車載遠(yuǎn)程監(jiān)控
1.1k瀏覽量
汽車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ù)。

OTA OTA技術(shù) 汽車
1.7k瀏覽量
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ù)之一。北匯信息多年來(lái)一直致力于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)證方法。

TSN
1k瀏覽量
北匯信息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ì)

MES MES系統(tǒng)
901瀏覽量
注塑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ǔ)。

MES MES系統(tǒng)
806瀏覽量
軍工航空航天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)。

MES MES系統(tǒng)
1.2k瀏覽量
汽車行業(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í)管理決策。

MES MES系統(tǒng)
1.3k瀏覽量