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

嵌入式軟件測試

型號： MXAM

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

MXAM簡介

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

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

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

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

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

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

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

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

3. 提供綜合報告并提供模型修復建議

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

4. 互動式的模型評審

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

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

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

通過子系統(tǒng)層次結(jié)構(gòu)創(chuàng)建或刪除信號既耗時又易出錯。使用 MoRe 可以通過一個簡單操作添加或刪除此類信號。通過選擇源端口和目標端口，可以自動生成或刪除相關聯(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é)果，便于追蹤問題的修復進度和審計目的。MXAM支持的報告格式包括：HTML、PDF、 EXCEL和XML。

8.資質(zhì)認證

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

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

客戶列表（部分）

為你推薦

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

自動駕駛及智能駕駛仿真測試平臺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 所在地：上海，北京，長春，重慶，杭州灣，嘉定，廣州
TSN汽車時間敏感網(wǎng)絡測試與測量2022-07-25 16:38

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

CANoe中ADAS功能集介紹2025-07-10 14:55

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

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

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

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

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

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

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

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

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

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

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

CANoe ecu IDE
1268瀏覽量
新國標車樁兼容難題終破解！兩大測試系統(tǒng)讓充電無憂2025-06-11 10:03

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

充電新國標測試系統(tǒng)
1078瀏覽量
知識分享 | 評估模型架構(gòu)——如何實現(xiàn)？2025-06-05 11:46

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

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

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

adas 汽車自動駕駛測試
1572瀏覽量
面向車載通信的TSN網(wǎng)絡原型——往昔、今朝、明日2025-05-29 11:29

本文從汽車行業(yè)向“軟件驅(qū)動”轉(zhuǎn)型的背景切入，剖析TSN技術如何以確定性傳輸能力重構(gòu)車載以太網(wǎng)通信體系?；诒眳R信息的工程實踐，文章系統(tǒng)解答TSN技術定位、場景適配性及必要性判斷等核心問題，揭示其在中央集中式架構(gòu)下解決分布式實時系統(tǒng)時鐘同步、可靠性及QoS需求的關鍵價值，并指出技術落地需跨越從域架構(gòu)設計到系統(tǒng)性時間鏈優(yōu)化的認知鴻溝。

TSN 網(wǎng)絡車載通信
1269瀏覽量

分布式、域控及SOA架構(gòu)車身功能測試方案2024-12-27 09:05

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

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

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

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

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

智能座艙汽車測試
2.9k瀏覽量
車載T-Box邏輯功能測試方案2024-04-26 11:19

北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗Know-How,為客戶提供完整和專業(yè)的T-Box邏輯功能測試解決方案。支持在實驗室環(huán)境及實車環(huán)境下完成T-Box上層邏輯功能測試及實車數(shù)據(jù)分析測試，可以極大地提升T-Box的可靠性和穩(wěn)定性。

控制器車載遠程監(jiān)控
1.1k瀏覽量
汽車OTA通道和壓力測試方案2024-04-25 09:16

北匯信息基于對客戶需求規(guī)范、行業(yè)法規(guī)及自身測試經(jīng)驗Know-How,為汽車客戶提供完整和專業(yè)的汽車OTA通道測試和壓力測試解決方案，包括測試系統(tǒng)開發(fā)、測試規(guī)范開發(fā)、測試腳本實現(xiàn)及測試實施的全流程服務。

OTA OTA技術汽車
1.7k瀏覽量
TSN網(wǎng)絡設計與驗證咨詢服務2022-09-24 16:59

TSN通信技術逐步走進汽車行業(yè)的視野，目前國內(nèi)外OEM已積極展開TSN技術預研與儲備工作。伴隨TSN車規(guī)級通信芯片成熟度的提升，TSN必將成為IVN以太網(wǎng)主干網(wǎng)的核心基礎技術之一。北匯信息多年來一直致力于TSN設計與驗證的實踐工作，積累了豐富的TSN項目經(jīng)驗。其間，參與多個國內(nèi)TSN項目，擁有完整的TSN設計、仿真、原型搭建的開發(fā)經(jīng)驗，同時為客戶提供齊備的TSN測試工具鏈與驗證方法。

TSN
1k瀏覽量
北匯信息MES成功案例及合作伙伴2022-07-19 18:59

MES成功案例上海汽車制動系統(tǒng)有限公司(SABS)上海汽車制動系統(tǒng)有限公司（簡稱SABS）是德國大陸公司與上海汽車工業(yè)（集團）總公司雙方共同投資組建的企業(yè)。公司主要產(chǎn)品為ABS防抱死制動系統(tǒng)、制動鉗、助力器、傳感器、制動軟管等。其生產(chǎn)涉及機加、電鍍、裝配等三種模式。本著“統(tǒng)一規(guī)劃、分步實施”的原則，SABS逐年分步進行了MES系統(tǒng)建設。系統(tǒng)覆蓋了機加、電鍍、裝配車間。包含：設備集成、SAP集成、計

MES MES系統(tǒng)
899瀏覽量
注塑MES解決方案2022-07-19 18:42

通過MES系統(tǒng)建設，可以對生產(chǎn)計劃、執(zhí)行過程、生產(chǎn)質(zhì)量、資源等進行全面的數(shù)字化管控，打破工廠信息孤島的現(xiàn)狀，通過整合工廠數(shù)據(jù)，實現(xiàn)數(shù)據(jù)集中管控與共享，為生產(chǎn)制造經(jīng)營信息提煉提供數(shù)據(jù)基礎。

MES MES系統(tǒng)
805瀏覽量
軍工航空航天MES解決方案2022-07-19 18:30

軍工航空航天MES解決方案：過建立以MES為核心的生產(chǎn)管理系統(tǒng)，與相關信息系統(tǒng)的集成，形成完整的生產(chǎn)信息化管理平臺，實現(xiàn)信息化建設的目標。

MES MES系統(tǒng)
1.2k瀏覽量
汽車行業(yè)MES解決方案2022-07-19 18:19

針對汽車生產(chǎn)制造行業(yè)對制造管理系統(tǒng)的管理需求，以及北匯信息在汽車行業(yè)多年的MES實施經(jīng)驗，北信息提供一套成熟的生產(chǎn)信息化管理系統(tǒng)（MES）為生產(chǎn)管理者及企業(yè)管理者提供真實、完整、多視角的評估報告，有效支持各級管理決策。

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