
發布
注冊
/
登錄嵌入式軟件測試的案例
Mx Suite — ISO 26262 認證的嵌入式軟件一體化測試平臺
Mx Suite是汽車行業內經過大量工程實踐檢驗的嵌入式一體化軟件測試平臺。它使用強大的圖形化方式來設計測試用例輸入、期望輸出和結果容差,通過多種成熟的接口與不同的被測對象進行連接,并提供豐富的報告展示測試結果,為汽車嵌入式軟件測試提供一站式一體化的測試平臺環境。Mx Suite可用于測試Simulink模型、代碼(人工或自動)和連接不同的汽車電子設備等,旨在消除嵌入式軟件的功能缺陷等問題。
Mx Suite主要優勢
? 從軟件測試整個周期來看,Mx Suite能做到MIL/SIL/HIL測試用例復用,測試的計劃、測試用例、測試報告也因平臺的可實現測試質量的管控
? Mx Suite軟件可以圖形化交互式地設計測試用例,靈活組成測試場景進行自動化測試
? Mx Suite具備70+汽車業內主流的軟件接口,可支持符合Autosar協議開發軟件單元測試
? 測試平臺通過功能安全等級認證,對安全等級較高的控制器過產品認證有很大幫助,可進行基于嵌入式一體化平臺的單元測試, 集成測試
Mx Suite 一體化測試平臺
Mx Suite主要由兩部分組成
? Mx-VDev:通用測試平臺
主要包括測試編輯器、測試檢查器、測試執行和報告生成器。
Mx-Vdev 通用測試編輯器和檢查器
Mx-VDev可以導入設備數據和輸出作為測試用例、新建測試用例,調度執行測試用例,評估測試結果,并生成測試報告。它通過強大的自動回歸測試功能,可以在非工作時間進行無人化回歸測試,以便及時獲得測試報告。
? Mx-TransIt:仿真接口編輯器
接口編輯,用于創建測試用例和Simulink模型、軟件代碼、車輛網絡、HIL測試設備和ECU的連接。主要起仿真連接的作用。
展開 現代嵌入式軟件單元測試的全面演進與專業工具的核心價值
一、嵌入式單元測試的歷史演進與技術革新
嵌入式軟件單元測試在過去十五年間經歷了從基礎功能驗證到全面質量保障的深刻變革。2010年前后的測試環境主要依賴宿主機測試和簡單模擬器,而2025年的現代測試體系已經形成了高度智能化的全流程解決方案。
1.1 測試工具的技術躍遷
十五年前的嵌入式單元測試工具以開源框架為主,如Unity、CUnit和Check等,這些工具功能相對單一,主要提供基本的斷言和測試用例管理功能。當時的商業工具較少且功能有限,測試多在開發環境中進行,通過樁和模擬器隔離硬件依賴。
展開 嵌入式軟件開發中專業單元測試工具的必要性
摘要:隨著嵌入式系統在汽車電子、工業控制等安全關鍵領域的廣泛應用,軟件質量與可靠性成為核心挑戰。本文通過分析嵌入式軟件開發的特殊性與單元測試的獨特價值,論證專業單元測試工具的必要性,并以winAMS工具為例,從技術架構、功能優勢、行業實踐三個維度,系統闡述其如何解決傳統測試方法的局限性,為嵌入式軟件開發提供高效、可靠的測試保障。
關鍵詞:嵌入式軟件;單元測試;winAMS;功能安全;測試覆蓋率
一、引言
嵌入式軟件因其運行于資源受限的硬件環境,需滿足實時性、低功耗、高可靠性等嚴苛要求,其開發常面臨交叉編譯、硬件依賴性強、調試接口有限等挑戰。在汽車電子領域,軟件缺陷可能導致嚴重的安全事故,如剎車系統控制邏輯錯誤可能引發車輛失控。因此,嵌入式軟件的單元測試不僅是軟件開發的良好實踐,更是保障人身安全的重要措施。傳統單元測試方法(如源碼插樁、樁函數模擬)在嵌入式場景下存在效率低、精度差、硬件依賴性強等問題,而專業單元測試工具(如winAMS)通過獨特的技術架構,為嵌入式軟件開發提供了高效、可靠的測試解決方案。
二、嵌入式軟件單元測試的必要性
(一)嵌入式軟件的特殊性
嵌入式軟件運行于微控制器、DSP等硬件環境,需滿足以下要求:
實時性:時間敏感型任務(如剎車壓力計算)需在截止期限內完成,否則可能導致系統失效。
資源受限:內存、算力資源有限,需避免內存泄漏、棧溢出等問題。
硬件依賴性強:代碼與硬件接口(如CAN總線、GPIO)緊密耦合,傳統測試需依賴物理設備,效率低下。
(二)單元測試的核心價值
單元測試作為軟件開發過程中的關鍵環節,在嵌入式場景下具有以下核心價值:
缺陷早期捕獲:在代碼編寫階段即可識別邏輯錯誤、邊界條件處理不當等問題,降低后期修復成本。
展開 Tessy — 嵌入式軟件單元測試 / 集成測試工具
Tessy源自戴姆勒 - 奔馳公司的軟件技術實驗室,由德國Hitex公司負責銷售及技術支持服務,是一款專門針對嵌入式軟件進行單元/集成測試的工具。它可以對C/C++代碼進行單元、集成測試,可以自動化搭建測試環境、執行測試、評估測試結果并生成測試報告,其多樣化的測試用例導入生成方式和與測試需求關聯的特色,使Tessy在測試組織和測試管理上也發揮了良好的作用。目前Tessy廣泛應用在汽車電子主流客戶中。
主要特點
在V模型開發中,Tessy主要應用在單元測試和集成測試階段。單元測試通過運行代碼檢測出函數中錯誤,比如算法錯誤、接口問題等;集成測試則在單元測試的基礎上驗證單元之間接口的正確性。基于越早發現bug開發成本越低的原則,在進行代碼功能驗證的過程中,按照V流程右半部分先完成單元測試再進行集成測試的測試順序更為有效。
另外,Tessy也可以滿足各類標準(如ISO26262、IEC61508、EN50128/50129等)對測試的需求,比如Tessy可以滿足ISO26262中各等級對單元/集成測試的要求,當然Tessy本身也通過了TUV的認證,證明該軟件是安全可靠的,可以在安全相關的軟件研發過程中使用。
主要功能
? 自動生成測試環境、一鍵執行及評估結果
Tessy可以自動生成驅動程序、樁函數,幫助測試人員提高單元測試效率。
Tessy支持一鍵執行測試,并自動對測試結果進行評估,可生成多種形式的報告。
? 便捷的測試用例設計方式
除軟件界面手動設計測試用例外,Tessy還支持導入導出多種格式的測試用例。
展開 
Tessy — 嵌入式軟件單元測試/ 集成測試工具
Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執行測試、評估測試結果并生成測試報告。Tessy的目標就是:通過自動化整個測試周期,支持針對C語言的單元測試/集成測試,同時,Tessy也同樣關注測試組織和測試管理。
Tessy軟件源自戴姆勒-奔馳公司的軟件技術實驗室,在戴姆勒-奔馳公司得到廣泛的使用,1997年之后成為專業的軟件測試工具公司Razorcat,由德國Hitex負責全球銷售及技術支持服務。北京經緯恒潤科技作為Hitex/Razorcat公司的中國合作伙伴,將為中國汽車客戶提供Tessy軟件及優秀的軟件測試服務。
產品介紹
在以V模型為例的開發模式中,Tessy主要應用在單元/模塊測試,集成/組件測試。在V模型的開發模式中,單元測試是第一個動態測試活動。通過函數級測試,有效檢查出每一類錯誤,比如算法錯誤、邊界控制錯誤、數據溢出等。通過單元測試,可以盡可能早得發現Bug,防止直到后面的測試過程或者直到用戶那里才被發現。在整個項目開發測試周期中,越早發現Bug越好,事實證明,開展詳盡規范的單元測試能夠有效減少系統測試和回歸測試時間,降低開發成本。
另外,Tessy也可以滿足各類標準(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗證通用原則)對測試的需求,比如ISO26262中各個測試等級中對模塊測試的要求可以使用Tessy來滿足,當然Tessy本身也通過了Tuev的認證,可以在安全相關性的軟件研發過程中被使用。
展開 Tessy—嵌入式軟件單元測試/集成測試工具
產品概述
Tessy源自戴姆勒—奔馳公司的軟件技術實驗室,由德國Hitex公司負責銷售及技術的支持服務,是一款專門針對嵌入式軟件進行單元/集成測試的工具。它可以對C/C++代碼進行單元、集成測試,可以自動化搭建測試環境、執行測試、評估測試結果并生成測試報告,其多樣化的測試用例導入生成方式和與測試需求關聯的特色,使Tessy在測試組織和測試管理上也發揮了良好的作用。目前Tessy被廣泛應用在汽車電子客戶中。
產品介紹
主要特點
在V模型開發中,Tessy主要應用在單元測試和集成測試階段。單元測試通過運行代碼檢測出函數中錯誤,比如算法錯誤、接口問題等;集成測試則在單元測試的基礎上驗證單元之間接口的正確性。基于越早發現bug開發成本越低的原則,在進行代碼功能驗證的過程中,按照V流程右半部分先完成單元測試再進行集成測試的測試順序更為有效。
另外,Tessy也可以滿足各類標準(如ISO26262、IEC61508、EN50128/50129等)對測試的需求。比如Tessy可以滿足ISO26262中各等級對單元/集成測試的要求,當然Tessy本身也通過了TUV的認證,證明該軟件是安全可靠的,可以在安全相關的軟件研發過程中使用。
主要功能
? 自動生成測試環境、一鍵執行及評估結果
Tessy可以自動生成驅動程序、樁函數,幫助測試人員提高單元測試效率。
Tessy支持一鍵執行測試,并自動對測試結果進行評估,可生成多種形式的報告。
展開 嵌入式軟件測試的革新:如何用深度集成工具破解效率與安全的雙重困局?
某頭部芯片廠商已參與beta測試,其反饋顯示AI模塊將深度學習加速器的驗證周期縮短了40%。
結語:在效率與安全的鋼絲上,選擇正確的支點
嵌入式軟件開發的復雜性正呈指數級增長——從單核到多核,從確定式邏輯到AI推理,從功能實現到功能安全。在這一背景下,測試工具已不再是“輔助角色”,而是決定項目成敗的戰略性資產。
winAMS的價值,不僅在于其技術參數的優越性,更在于它重新定義了測試的邊界:讓測試成為開發的自然延伸,而非額外負擔。當工具足夠“懂”開發者的真實需求時,效率與安全的雙重目標便不再是非此即彼的單選題。
或許,這就是為什么一位資深工程師在技術論壇中這樣評價:“用了winAMS后,我們終于不用在深夜手動補測試用例了——它像一位沉默的搭檔,默默扛起了那些重復卻至關重要的工作?!?/span>
展開 嵌入式系統的軟件架構設計!
前言
嵌入式是軟件設計領域的一個分支,它自身的諸多特點決定了系統架構師的選擇,同時它的一些問題又具有相當的通用性,可以推廣到其他的領域。
提起嵌入式軟件設計,傳統的印象是單片機,匯編,高度依賴硬件。傳統的嵌入式軟件開發者往往只關注實現功能本身,而忽視諸如代碼復用,數據和界面分離,可測試性等因素。從而導致嵌入式軟件的質量高度依賴開發者的水平,成敗系之一身。
隨著嵌入式軟硬件的飛速發展,今天的嵌入式系統在功能,規模和復雜度各方面都有了極大的提升。比如,Marvell公司的PXA3xx系列的最高主頻已經達到800Mhz,內建USB,WIFI,2D圖形加速,32位DDR內存。
在硬件上,今天的嵌入式系統已經達到甚至超過了數年前的PC平臺。在軟件方面,完善的操作系統已經成熟,比如Symbian, Linux, WinCE。
基于完善的操作系統,諸如字處理,圖像,視頻,音頻,游戲,網頁瀏覽等各種應用程序層出不窮,其功能性和復雜度比諸PC軟件不遑多讓。原來多選用專用硬件和專用系統的一些商業設備公司也開始轉換思路,以出色而廉價的硬件和完善的操作系統為基礎,用軟件的方式代替以前使用專有硬件實現的功能,從而實現更低的成本和更高的可變更,可維護性。
2.決定架構的因素和架構的影響
架構不是一個孤立的技術的產物,它受多方面因素的影響。同時,一個架構又對軟件開發的諸多方面造成影響。
下面舉一個具體的例子。
摩托車的發動機在出廠前必須通過一系列的測試。在流水線上,發動機被送到每個工位上,由工人進行諸如轉速,噪音,振動等方面的測試。要求實現一個嵌入式設備,具備以下基本功能:
安裝在工位上,工人上班前開啟并登錄。
通過傳感器自動采集測試數據,并顯示在屏幕上。
展開 嵌入式軟件的流程圖制作及解析工具
CasePlayer2 : 適用于嵌入式軟件的說明書制作及解析工具
靜態解析C/C++源代碼自動生成流程圖等文件
適用于各種嵌入式微機用匯編代碼
具有符合編程標準MISRA-C 1998/2004的規范檢查功能,Code Metrics計測功能
適用于掌握以往程序的內容,審閱會議時評估程序等,有利于改善軟件質量的工具
產品概要
CasePlayer2是通過解析ANSI C語言,C++,嵌入式C語言(非ANSI),以及匯編語言的源代碼,制作包括流程圖等的程序說明書的工具。不論是對以往的程序進行邏輯分析,還是為新開發的程序制作說明書,都提供了強有力的支援。作為程序靜態分析功能,包括外部變量參照/代入的列表功能,以及C語言的編程標準[MISRA-C]的規范檢查功能。
只需將程序登記,可以自動生成各種說明書
CasePlayer2是通過分析ANSI C語言,C++,嵌入式C語言(非ANSI),以及匯編語言的源代碼,制作包括流程圖等程序說明書的逆向CASE(computer aided software engineering tool)工具。應用GAIO的主要技術也就是編譯技術,不需要追加其他代碼就可以解析代碼構造,制作各種流程圖。而其他公司的CASE工具往往需要追加代碼才能實現流程圖生成。而且,只需幾秒鐘就可以將數萬行C語言程序轉換成流程圖,具有引以為豪的壓倒性性能。
展開 Ansys基于模型車載嵌入式軟件解決方案
為了應對車載嵌入式軟件復雜性日益增加和安全性不斷提高的挑戰,車載電子單元的制造商和供應商必須遭守汽車主動和被動安全系統的工程標準(如 ISO26262 和 AUTOSAR),同時又有提升研制效率和降低開發成本的壓力。為幫助客戶應對這些痛點及挑戰,Ansys 公司提供了基于模型的面向高安全性應用的車載軟件開發解決方案-Ansys SCADE,使用戶可以基于模型的開發方式,使用內置的自動代碼生成器自動生成符合 ISO26262 ASL D 最高安全標準的代碼,并可以輕松集成到現
有的 AUTOSAR 開發流程中來設計和生成應用軟件組件,從而提高了效率,縮短了車載軟件的迭代和認證時間。
滿足ISO26262的基于模型的車載安全嵌入式軟件解決方案
Ansys SCADE 提供了一套完整的基于模型的開發工具體系,能夠很好的覆蓋電子電器系統的系統設計過程、功能安全分析過程、嵌入式軟件開發與驗證過程。同時,該工具體系完全符合 IS026262 標準中面向安全的電子電器系統的開發要求和過程,支持基于 AUTOSAR 標準的應用層架構設計和軟件組件的開發。
基于模型的支持車載安全嵌入式軟件全生命周期開發的工具鏈
Ansys SCADE 車載安全嵌入式軟件解決方案包含從軟件架構設計、詳細設計、代碼自動生成、軟件單元測試、集成測試、過程追溯以及相應文檔生成的全生命周期的基于模型的開發工具鏈,客戶可根據自生需要選擇單點工具或整套工具鏈。
展開 符合AUTOSAR(AP&CP)的嵌入式系統和軟件設計工具
AUTOSAR集成測試(測試代碼可來源于ASCET、TargetLink、Embeddedcoder及手寫代碼等);
▼可提供“Automatic mode”、“Debugger mode”和“Interactive mode”等測試模式;
▼在實際的AUTOSAR OS、RTE和Service中進行仿真
▼黑白盒測試
▼Debugging、Code Coverage & Profiling
▼支持FMI/FMU標準的聯合仿真,通過將軟件架構實現導出成標準的FMU,用于AUTOSAR功能和被控對象或非AUTOSAR功能之間的跨學科仿真
圖 12-AUTOSAR Builder支持FMI/FMU標準的聯合仿真
圖 13-AUTOSAR Builder Asim仿真功能界面
經緯恒潤
北京市海淀區知春路7號致真大廈D座6層
郵箱:market_dept@hirain.com
網址:www.hirain.com
展開 
招兼職嵌入式軟件架構相關專業講師
招兼職嵌入式軟件架構相關專業講師,短周期的培訓,可周末,如您想掙點外塊,積累資源,充實生活,請聯系我,要求有實際項目經歷,兩年以上項目經歷,表達能力較好,微信15501239699 ,郵件soft@info-soft.cn。
適用于關鍵嵌入式軟件系統的仿真解決方案
適用于關鍵嵌入式軟件系統的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統與軟件開發
嵌入式軟件越來越普遍地用于智能設備,但不完美的代碼可能會導致眾多產品故障。據業界領導者預計,每 1,000 行嵌入式軟件代碼包含 8 個漏洞。為了管理這一質量風險,以及達到更高的軟件認證標準,您需要充分利用嵌入式軟件開發工具和認證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開發和仿真環境,環境內置自動代碼生成器,以加快嵌入式軟件開發項目的速度。系統和軟件工程師利用 ANSYS SCADE 解決方案生動地設計、驗證并自動生成高可靠性要求的關鍵系統和軟件應用。SCADE 解決方案具有較高的可互操作性,并且能夠輕松集成,從而實現開發優化并加強各團隊成員之間的溝通。
展開 直播內容搶先看 | 全自主車載嵌入式軟件平臺開發與集成方案
INTEWORK-EAS-CP:經緯恒潤Classic AUTOSAR解決方案
INTEWORK-CP(AUTOSAR Classic Platform,以下簡稱CP)是經緯恒潤自主研發的Classic AUTOSAR解決方案,包含完整的AUTOSAR工具鏈和嵌入式標準軟件。
?? 產品特點
基于AUTOSAR標準開發,支持AUTOSAR4.x版本,可提供主流OEM定制版本
提供完整的AUTOSAR工具鏈,兼容多種業內主流數據格式,如DBC,LDF,PDX,ODX,ARXML等,支持與第三方AUTOSAR工具鏈無縫集成
提供50多個標準模塊,嵌入式源碼交付,模塊可靈活組合選購
多種License類型來滿足客戶不同的研發和項目需求
開發流程和產品獲得功能安全ASIL-D雙證書,提供完善功能安全文檔和服務,幫助客戶更容易地實現功能安全相關要求
符合CMMI的開發流程,近10年量產經驗,質量可靠有保證
適配主流芯片廠家多款芯片及多種編譯器環境
?? 服務
全項目周期的技術支持服務,貫穿項目售前、啟動、開發、集成、測試、驗收、售后
本地化團隊提供現場集成和培訓服務
多種高效的技術支持方式,包括電話、郵件、視頻會議、現場支持等
維護期內軟件支持升級更新
快速響應,疫情期間進度支持不受影響
根據客戶需求,提供定制化的方案和服務
欲了解更多相關信息,請點擊“本鏈接”報名參加 11月18日-19日云技術研討會 | 合作、高效--下一代汽車電子軟件開發與測試論壇 ,期待您的參與!
展開 ET·ci —持續集成驗證平臺
? 基礎服務與框架模塊
? 定時獲取配置庫上穩定版本代碼以及測試用例,自動進行測試
? 監視配置庫代碼庫/用例庫,識別變更自動進行測試
? 根據一鍵輸入進行自動測試
? 測試流程自動化執行及分析
? 執行監控和過程數據抓取及生成報告并發送信息給相關授權人
? 管理與配置模塊
? 該模塊一般包括項目管理、環境配置和日志管理
? 各集成模塊
? 配置管理工具集成
? 編譯工具集成
? 靜態測試工具集成
? 軟件運行時間評估工具集成
? 單元/集成測試工具集成
? MIL/HIL測試工具
主要功能與優勢
? 軟件開發、測試自動化流程定制,提高軟件質量,縮短軟件研發周期
? 可實現分布式編譯、并行測試、一鍵式部署
? 通過集成軟件開發、測試工具鏈,實現工具自動執行、動態分析
? 采用一定的策略實現對現有資源的統一管理和調度
? 基于同一平臺自動收集過程數據,實現軟件開發過程動態監控與透明化
? 支持持續集成、持續交付、敏捷開發等應用案例
? 一次配置、持續有效、定時啟動、觸發啟動、每日構建、小步快跑、及時糾正
應用&案例
全自動軟件測試調度平臺ET·ci 無論在嵌入式行業還是非嵌入式行業,有很好的應用前景,以下案例是為某控制器開發廠商部署的應用平臺,包含了嵌入式軟件、非嵌入式軟件的測試自動化調度,集成的工具鏈包括:
? 編譯器vc++、gcc
? 配置管理SVN、synergy
? 靜態測試工具鏈QAC、QAC++、QAv
? 單元/集成測試工具Tessy
? 支持linux、windows雙操作系統
? MIL/HIL測試工具Mx-suite等
展開