基于模型的靜態(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ù)（如數(shù)據(jù)流分析，控制流分析等）自動掃描模型結(jié)構(gòu)以檢測潛在問題，如不恰當?shù)男盘栠B接、未初始化的信號、零除及平方根的負輸入等。

MXAM可以驗證模型是否符合MAB、MISRA SL/SF、MISRA TL和 Embedded Coder等建模標準。MES功能安全文檔歸納總結(jié)了和功能安全相關(guān)的指導規(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)相關(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é)果，便于追蹤問題的修復進度和審計目的。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)品文章方案資料

基于模型的靜態(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 所在地：上海，北京，長春，重慶，杭州灣，嘉定，廣州
Helix QAC 企業(yè)級代碼靜態(tài)測試工具2022-07-25 16:16

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

【科普系列】LIN協(xié)議錯誤類型介紹2025-01-02 17:27

了解 LIN總線的錯誤類型對于開發(fā)、測試均具有極大的好處。通過對錯誤類型的全面了解，開發(fā)人員可以提前預測和避免潛在的問題，增強系統(tǒng)的穩(wěn)定性、容錯能力和安全性，從而提升系統(tǒng)整體的可靠性和性能。對于測試人員來說則可以更加從容應對總線測試過程中出現(xiàn)的各種異常情況，提高測試的效率和質(zhì)量。

ecu LIN協(xié)議汽車電子
442瀏覽量
CI/CD方案：推動智能汽車開發(fā)的高效利器2024-12-18 10:03

在智能化和自動駕駛技術(shù)飛速發(fā)展的背景下，汽車軟件開發(fā)的復雜性正以前所未有的速度增長。面對市場對效率、質(zhì)量和快速迭代的高需求，傳統(tǒng)開發(fā)模式已然捉襟見肘。作為提升開發(fā)效率和質(zhì)量的核心工具，CI/CD（持續(xù)集成與持續(xù)交付/部署）方案為汽車行業(yè)帶來了巨大的變革契機。本文將聚焦CI/CD方案在智能汽車領域的核心價值，并探討如何通過標準化的CI/CD流程幫助企業(yè)從容應對

智能汽車自動駕駛靜態(tài)分析
398瀏覽量
設計仿真 | 海克斯康VTD智能駕駛仿真方案—Camera2024-12-17 15:16

基于逼近真實道路場景的視覺環(huán)境，VTD的相機傳感器能夠配置現(xiàn)實世界中真實相機的內(nèi)參外參，模擬鏡頭畸變、CMOS成像、ISP仿真等多種相機成像數(shù)據(jù)。不僅能夠模擬虛擬環(huán)境中的光照、天氣、物體遮擋等因素，還可以還原真實相機的物理特性，更加貼近真實駕駛環(huán)境，從而為自動駕駛測試中傳感器算法提供逼真的圖像數(shù)據(jù)。

仿真傳感器智能駕駛
428瀏覽量
深入解析J1939-73：車輛診斷通信的標準與應用2024-12-11 10:01

SAEJ1939協(xié)議概述SAEJ1939協(xié)議是由美國汽車工程師協(xié)會（SAE，SocietyofAutomotiveEngineers）定義的一種用于重型車輛和工業(yè)設備中的通信協(xié)議，主要應用于車輛和設備之間的實時數(shù)據(jù)交換。J1939基于CAN（ControllerAreaNetwork）總線技術(shù)，使用29bit的擴展標識符和擴展數(shù)據(jù)幀，CAN通信速率為250K

J1939 汽車診斷
705瀏覽量
CANoe對EtherCAT的支持2024-12-05 01:04

EtherCAT（EthernetforControlAutomationTechnology）是一種基于以太網(wǎng)的現(xiàn)場總線技術(shù)，主要用于需要高速、實時通信的工業(yè)自動化領域，例如：機器人控制系統(tǒng)、數(shù)控機床、測試測量設備和汽車產(chǎn)線等。EtherCAT由BeckhoffAutomation公司開發(fā)并成為IEC61158標準，目前由EtherCAT技術(shù)協(xié)會（ETG）

CANoe ethercat 以太網(wǎng) 總線
288瀏覽量
ICMPv6協(xié)議基礎簡介2024-12-05 01:04

在科普介紹文章《IPv6協(xié)議—互聯(lián)網(wǎng)通信協(xié)議第六版》中介紹了IPv6協(xié)議，這次的科普主題是ICMPv6（InternetControlMessageProtocolversion6），它作為IPv6網(wǎng)絡中的核心協(xié)議之一，是網(wǎng)絡通信中不可或缺的一部分。ICMPv6的設計繼承了IPv4中ICMPv4協(xié)議的基本功能，然而，它不僅僅是IPv6中錯誤報告和診斷工具，更

IPv6網(wǎng)絡協(xié)議通信
1576瀏覽量
DDS通信中間件——DCPS規(guī)范(下)2024-11-27 11:47

DDS通信中間件——DCPS規(guī)范(下)本期還是DCPS規(guī)范，填上期沒有聊完的QoS的坑。本系列文章將包括以下內(nèi)容陸續(xù)更新：1.DDS規(guī)范概述2.DCPS規(guī)范解讀3.DDS-XTypes與IDL解讀4.RTPS規(guī)范解讀5.DDS安全規(guī)范解讀6.DDS-RPC規(guī)范解讀7.DDS-TSN規(guī)范解讀8.DDS-XRCE規(guī)范解讀1.概述“數(shù)據(jù)還可以通過靈活的服務質(zhì)量(Q

DDS 中間件通信
255瀏覽量
AI 助力汽車電子測試：落地應用的六大挑戰(zhàn)2024-11-27 11:47

引言：AI的機遇與挑戰(zhàn)自從ChatGPT橫空出世以來，人工智能似乎一夜之間變得無處不在。在日常使用中，我們常常在驚艷與失望之間徘徊：它有時能展現(xiàn)出令人驚嘆的能力，洞察深刻、對答如流，有時卻又犯下令人哭笑不得的錯誤。正如ChatGPT官方頁面的警示語所說：“ChatGPT也可能會犯錯。請核查重要信息。”這提醒我們，盡管AI技術(shù)突飛猛進，但要將其轉(zhuǎn)化為實際生產(chǎn)力

AI 汽車電子測試
834瀏覽量
艙駕融合一體化測試解決方案2024-11-21 01:03

艙駕融合通過軟硬件的深度整合，實現(xiàn)了架構(gòu)簡化、成本優(yōu)化和性能提升，是智能汽車發(fā)展的必然趨勢。然而，這種融合也帶來諸多測試挑戰(zhàn)：ASILB/D不同安全等級的功能共存、跨域資源協(xié)同調(diào)度、系統(tǒng)復雜度顯著提升等。研發(fā)測試過程中，為保證系統(tǒng)的功能正確性、系統(tǒng)穩(wěn)定性及可靠性，需要構(gòu)建一套完整的測試體系。為此，北匯信息推出一套系統(tǒng)仿真測試設備，用于應用功能的測試驗證，結(jié)合

仿真測試測試軟件自動駕駛
689瀏覽量
北匯信息入選CAICV聯(lián)盟“智能網(wǎng)聯(lián)汽車隱形冠軍成長計劃”2024-11-14 14:25

2024年11月11-14日，第三十一屆中國汽車工程學會年會暨展覽會在中國重慶·科學會堂勝利召開。中國智能網(wǎng)聯(lián)汽車產(chǎn)業(yè)創(chuàng)新聯(lián)盟CAICV在此次盛會期間，舉行了“智能網(wǎng)聯(lián)汽車隱形冠軍成長計劃”的發(fā)布，北匯信息有幸成為首批入圍企業(yè)。

V2X 智能網(wǎng)聯(lián) 智能網(wǎng)聯(lián)汽車
887瀏覽量

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

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

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

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

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

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

智能座艙汽車測試
2.4k瀏覽量
車載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)控
676瀏覽量
汽車OTA通道和壓力測試方案2024-04-25 09:16

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

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

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

TSN
719瀏覽量
北匯信息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)
720瀏覽量
注塑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)
667瀏覽量
軍工航空航天MES解決方案2022-07-19 18:30

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

MES MES系統(tǒng)
1k瀏覽量
汽車行業(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)
966瀏覽量