嵌入式軟件的案例
適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
適用于關(guān)鍵嵌入式軟件系統(tǒng)的仿真解決方案
http://www.ansys.com/zh-CN/products/embedded-software
嵌入式軟件
嵌入式系統(tǒng)與軟件開發(fā)
嵌入式軟件越來越普遍地用于智能設(shè)備，但不完美的代碼可能會(huì)導(dǎo)致眾多產(chǎn)品故障。據(jù)業(yè)界領(lǐng)導(dǎo)者預(yù)計(jì)，每 1,000 行嵌入式軟件代碼包含 8 個(gè)漏洞。為了管理這一質(zhì)量風(fēng)險(xiǎn)，以及達(dá)到更高的軟件認(rèn)證標(biāo)準(zhǔn)，您需要充分利用嵌入式軟件開發(fā)工具和認(rèn)證代碼生成器。
ANSYS 提供基于模型的嵌入式軟件開發(fā)和仿真環(huán)境，環(huán)境內(nèi)置自動(dòng)代碼生成器，以加快嵌入式軟件開發(fā)項(xiàng)目的速度。系統(tǒng)和軟件工程師利用 ANSYS SCADE 解決方案生動(dòng)地設(shè)計(jì)、驗(yàn)證并自動(dòng)生成高可靠性要求的關(guān)鍵系統(tǒng)和軟件應(yīng)用。SCADE 解決方案具有較高的可互操作性，并且能夠輕松集成，從而實(shí)現(xiàn)開發(fā)優(yōu)化并加強(qiáng)各團(tuán)隊(duì)成員之間的溝通。
展開 嵌入式軟件開發(fā)中專業(yè)單元測(cè)試工具的必要性
摘要：隨著嵌入式系統(tǒng)在汽車電子、工業(yè)控制等安全關(guān)鍵領(lǐng)域的廣泛應(yīng)用，軟件質(zhì)量與可靠性成為核心挑戰(zhàn)。本文通過分析嵌入式軟件開發(fā)的特殊性與單元測(cè)試的獨(dú)特價(jià)值，論證專業(yè)單元測(cè)試工具的必要性，并以winAMS工具為例，從技術(shù)架構(gòu)、功能優(yōu)勢(shì)、行業(yè)實(shí)踐三個(gè)維度，系統(tǒng)闡述其如何解決傳統(tǒng)測(cè)試方法的局限性，為嵌入式軟件開發(fā)提供高效、可靠的測(cè)試保障。
關(guān)鍵詞：嵌入式軟件；單元測(cè)試；winAMS；功能安全；測(cè)試覆蓋率
一、引言
嵌入式軟件因其運(yùn)行于資源受限的硬件環(huán)境，需滿足實(shí)時(shí)性、低功耗、高可靠性等嚴(yán)苛要求，其開發(fā)常面臨交叉編譯、硬件依賴性強(qiáng)、調(diào)試接口有限等挑戰(zhàn)。在汽車電子領(lǐng)域，軟件缺陷可能導(dǎo)致嚴(yán)重的安全事故，如剎車系統(tǒng)控制邏輯錯(cuò)誤可能引發(fā)車輛失控。因此，嵌入式軟件的單元測(cè)試不僅是軟件開發(fā)的良好實(shí)踐，更是保障人身安全的重要措施。傳統(tǒng)單元測(cè)試方法（如源碼插樁、樁函數(shù)模擬）在嵌入式場(chǎng)景下存在效率低、精度差、硬件依賴性強(qiáng)等問題，而專業(yè)單元測(cè)試工具（如winAMS）通過獨(dú)特的技術(shù)架構(gòu)，為嵌入式軟件開發(fā)提供了高效、可靠的測(cè)試解決方案。
二、嵌入式軟件單元測(cè)試的必要性
（一）嵌入式軟件的特殊性
嵌入式軟件運(yùn)行于微控制器、DSP等硬件環(huán)境，需滿足以下要求：
實(shí)時(shí)性：時(shí)間敏感型任務(wù)（如剎車壓力計(jì)算）需在截止期限內(nèi)完成，否則可能導(dǎo)致系統(tǒng)失效。
資源受限：內(nèi)存、算力資源有限，需避免內(nèi)存泄漏、棧溢出等問題。
硬件依賴性強(qiáng)：代碼與硬件接口（如CAN總線、GPIO）緊密耦合，傳統(tǒng)測(cè)試需依賴物理設(shè)備，效率低下。
（二）單元測(cè)試的核心價(jià)值
單元測(cè)試作為軟件開發(fā)過程中的關(guān)鍵環(huán)節(jié)，在嵌入式場(chǎng)景下具有以下核心價(jià)值：
缺陷早期捕獲：在代碼編寫階段即可識(shí)別邏輯錯(cuò)誤、邊界條件處理不當(dāng)?shù)葐栴}，降低后期修復(fù)成本。
展開 Ansys基于模型車載嵌入式軟件解決方案
為了應(yīng)對(duì)車載嵌入式軟件復(fù)雜性日益增加和安全性不斷提高的挑戰(zhàn)，車載電子單元的制造商和供應(yīng)商必須遭守汽車主動(dòng)和被動(dòng)安全系統(tǒng)的工程標(biāo)準(zhǔn)（如 ISO26262 和 AUTOSAR），同時(shí)又有提升研制效率和降低開發(fā)成本的壓力。為幫助客戶應(yīng)對(duì)這些痛點(diǎn)及挑戰(zhàn)，Ansys 公司提供了基于模型的面向高安全性應(yīng)用的車載軟件開發(fā)解決方案-Ansys SCADE，使用戶可以基于模型的開發(fā)方式，使用內(nèi)置的自動(dòng)代碼生成器自動(dòng)生成符合 ISO26262 ASL D 最高安全標(biāo)準(zhǔn)的代碼，并可以輕松集成到現(xiàn)
有的 AUTOSAR 開發(fā)流程中來設(shè)計(jì)和生成應(yīng)用軟件組件，從而提高了效率，縮短了車載軟件的迭代和認(rèn)證時(shí)間。
滿足ISO26262的基于模型的車載安全嵌入式軟件解決方案
Ansys SCADE 提供了一套完整的基于模型的開發(fā)工具體系，能夠很好的覆蓋電子電器系統(tǒng)的系統(tǒng)設(shè)計(jì)過程、功能安全分析過程、嵌入式軟件開發(fā)與驗(yàn)證過程。同時(shí)，該工具體系完全符合 IS026262 標(biāo)準(zhǔn)中面向安全的電子電器系統(tǒng)的開發(fā)要求和過程，支持基于 AUTOSAR 標(biāo)準(zhǔn)的應(yīng)用層架構(gòu)設(shè)計(jì)和軟件組件的開發(fā)。
基于模型的支持車載安全嵌入式軟件全生命周期開發(fā)的工具鏈
Ansys SCADE 車載安全嵌入式軟件解決方案包含從軟件架構(gòu)設(shè)計(jì)、詳細(xì)設(shè)計(jì)、代碼自動(dòng)生成、軟件單元測(cè)試、集成測(cè)試、過程追溯以及相應(yīng)文檔生成的全生命周期的基于模型的開發(fā)工具鏈，客戶可根據(jù)自生需要選擇單點(diǎn)工具或整套工具鏈。
展開 Mx Suite — ISO 26262 認(rèn)證的嵌入式軟件一體化測(cè)試平臺(tái)
Mx Suite是汽車行業(yè)內(nèi)經(jīng)過大量工程實(shí)踐檢驗(yàn)的嵌入式一體化軟件測(cè)試平臺(tái)。它使用強(qiáng)大的圖形化方式來設(shè)計(jì)測(cè)試用例輸入、期望輸出和結(jié)果容差，通過多種成熟的接口與不同的被測(cè)對(duì)象進(jìn)行連接，并提供豐富的報(bào)告展示測(cè)試結(jié)果，為汽車嵌入式軟件測(cè)試提供一站式一體化的測(cè)試平臺(tái)環(huán)境。Mx Suite可用于測(cè)試Simulink模型、代碼（人工或自動(dòng)）和連接不同的汽車電子設(shè)備等，旨在消除嵌入式軟件的功能缺陷等問題。
Mx Suite主要優(yōu)勢(shì)
? 從軟件測(cè)試整個(gè)周期來看，Mx Suite能做到MIL/SIL/HIL測(cè)試用例復(fù)用，測(cè)試的計(jì)劃、測(cè)試用例、測(cè)試報(bào)告也因平臺(tái)的可實(shí)現(xiàn)測(cè)試質(zhì)量的管控
? Mx Suite軟件可以圖形化交互式地設(shè)計(jì)測(cè)試用例，靈活組成測(cè)試場(chǎng)景進(jìn)行自動(dòng)化測(cè)試
? Mx Suite具備70+汽車業(yè)內(nèi)主流的軟件接口，可支持符合Autosar協(xié)議開發(fā)軟件單元測(cè)試
? 測(cè)試平臺(tái)通過功能安全等級(jí)認(rèn)證，對(duì)安全等級(jí)較高的控制器過產(chǎn)品認(rèn)證有很大幫助，可進(jìn)行基于嵌入式一體化平臺(tái)的單元測(cè)試， 集成測(cè)試
Mx Suite 一體化測(cè)試平臺(tái)
Mx Suite主要由兩部分組成
? Mx-VDev：通用測(cè)試平臺(tái)
主要包括測(cè)試編輯器、測(cè)試檢查器、測(cè)試執(zhí)行和報(bào)告生成器。
Mx-Vdev 通用測(cè)試編輯器和檢查器
Mx-VDev可以導(dǎo)入設(shè)備數(shù)據(jù)和輸出作為測(cè)試用例、新建測(cè)試用例，調(diào)度執(zhí)行測(cè)試用例，評(píng)估測(cè)試結(jié)果，并生成測(cè)試報(bào)告。它通過強(qiáng)大的自動(dòng)回歸測(cè)試功能，可以在非工作時(shí)間進(jìn)行無(wú)人化回歸測(cè)試，以便及時(shí)獲得測(cè)試報(bào)告。
? Mx-TransIt：仿真接口編輯器
接口編輯，用于創(chuàng)建測(cè)試用例和Simulink模型、軟件代碼、車輛網(wǎng)絡(luò)、HIL測(cè)試設(shè)備和ECU的連接。主要起仿真連接的作用。
展開 
嵌入式系統(tǒng)的軟件架構(gòu)設(shè)計(jì)！
前言
嵌入式是軟件設(shè)計(jì)領(lǐng)域的一個(gè)分支，它自身的諸多特點(diǎn)決定了系統(tǒng)架構(gòu)師的選擇，同時(shí)它的一些問題又具有相當(dāng)?shù)耐ㄓ眯?，可以推廣到其他的領(lǐng)域。
提起嵌入式軟件設(shè)計(jì)，傳統(tǒng)的印象是單片機(jī)，匯編，高度依賴硬件。傳統(tǒng)的嵌入式軟件開發(fā)者往往只關(guān)注實(shí)現(xiàn)功能本身，而忽視諸如代碼復(fù)用，數(shù)據(jù)和界面分離，可測(cè)試性等因素。從而導(dǎo)致嵌入式軟件的質(zhì)量高度依賴開發(fā)者的水平，成敗系之一身。
隨著嵌入式軟硬件的飛速發(fā)展，今天的嵌入式系統(tǒng)在功能，規(guī)模和復(fù)雜度各方面都有了極大的提升。比如，Marvell公司的PXA3xx系列的最高主頻已經(jīng)達(dá)到800Mhz，內(nèi)建USB,WIFI,2D圖形加速,32位DDR內(nèi)存。
在硬件上，今天的嵌入式系統(tǒng)已經(jīng)達(dá)到甚至超過了數(shù)年前的PC平臺(tái)。在軟件方面，完善的操作系統(tǒng)已經(jīng)成熟，比如Symbian, Linux, WinCE。
基于完善的操作系統(tǒng)，諸如字處理，圖像，視頻，音頻，游戲，網(wǎng)頁(yè)瀏覽等各種應(yīng)用程序?qū)映霾桓F，其功能性和復(fù)雜度比諸PC軟件不遑多讓。原來多選用專用硬件和專用系統(tǒng)的一些商業(yè)設(shè)備公司也開始轉(zhuǎn)換思路，以出色而廉價(jià)的硬件和完善的操作系統(tǒng)為基礎(chǔ)，用軟件的方式代替以前使用專有硬件實(shí)現(xiàn)的功能，從而實(shí)現(xiàn)更低的成本和更高的可變更，可維護(hù)性。
2.決定架構(gòu)的因素和架構(gòu)的影響
架構(gòu)不是一個(gè)孤立的技術(shù)的產(chǎn)物，它受多方面因素的影響。同時(shí)，一個(gè)架構(gòu)又對(duì)軟件開發(fā)的諸多方面造成影響。
下面舉一個(gè)具體的例子。
摩托車的發(fā)動(dòng)機(jī)在出廠前必須通過一系列的測(cè)試。在流水線上，發(fā)動(dòng)機(jī)被送到每個(gè)工位上，由工人進(jìn)行諸如轉(zhuǎn)速，噪音，振動(dòng)等方面的測(cè)試。要求實(shí)現(xiàn)一個(gè)嵌入式設(shè)備，具備以下基本功能:
安裝在工位上，工人上班前開啟并登錄。
通過傳感器自動(dòng)采集測(cè)試數(shù)據(jù)，并顯示在屏幕上。
展開 招兼職嵌入式軟件架構(gòu)相關(guān)專業(yè)講師
招兼職嵌入式軟件架構(gòu)相關(guān)專業(yè)講師，短周期的培訓(xùn)，可周末，如您想掙點(diǎn)外塊，積累資源，充實(shí)生活，請(qǐng)聯(lián)系我，要求有實(shí)際項(xiàng)目經(jīng)歷，兩年以上項(xiàng)目經(jīng)歷，表達(dá)能力較好，微信15501239699 ，郵件soft@info-soft.cn。
Tessy — 嵌入式軟件單元測(cè)試 / 集成測(cè)試工具
Tessy源自戴姆勒 - 奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，由德國(guó)Hitex公司負(fù)責(zé)銷售及技術(shù)支持服務(wù)，是一款專門針對(duì)嵌入式軟件進(jìn)行單元/集成測(cè)試的工具。它可以對(duì)C/C++代碼進(jìn)行單元、集成測(cè)試，可以自動(dòng)化搭建測(cè)試環(huán)境、執(zhí)行測(cè)試、評(píng)估測(cè)試結(jié)果并生成測(cè)試報(bào)告，其多樣化的測(cè)試用例導(dǎo)入生成方式和與測(cè)試需求關(guān)聯(lián)的特色，使Tessy在測(cè)試組織和測(cè)試管理上也發(fā)揮了良好的作用。目前Tessy廣泛應(yīng)用在汽車電子主流客戶中。
主要特點(diǎn)
在V模型開發(fā)中，Tessy主要應(yīng)用在單元測(cè)試和集成測(cè)試階段。單元測(cè)試通過運(yùn)行代碼檢測(cè)出函數(shù)中錯(cuò)誤，比如算法錯(cuò)誤、接口問題等；集成測(cè)試則在單元測(cè)試的基礎(chǔ)上驗(yàn)證單元之間接口的正確性?；谠皆绨l(fā)現(xiàn)bug開發(fā)成本越低的原則，在進(jìn)行代碼功能驗(yàn)證的過程中，按照V流程右半部分先完成單元測(cè)試再進(jìn)行集成測(cè)試的測(cè)試順序更為有效。
另外，Tessy也可以滿足各類標(biāo)準(zhǔn)（如ISO26262、IEC61508、EN50128/50129等）對(duì)測(cè)試的需求，比如Tessy可以滿足ISO26262中各等級(jí)對(duì)單元/集成測(cè)試的要求，當(dāng)然Tessy本身也通過了TUV的認(rèn)證，證明該軟件是安全可靠的，可以在安全相關(guān)的軟件研發(fā)過程中使用。
主要功能
? 自動(dòng)生成測(cè)試環(huán)境、一鍵執(zhí)行及評(píng)估結(jié)果
Tessy可以自動(dòng)生成驅(qū)動(dòng)程序、樁函數(shù)，幫助測(cè)試人員提高單元測(cè)試效率。
Tessy支持一鍵執(zhí)行測(cè)試，并自動(dòng)對(duì)測(cè)試結(jié)果進(jìn)行評(píng)估，可生成多種形式的報(bào)告。
? 便捷的測(cè)試用例設(shè)計(jì)方式
除軟件界面手動(dòng)設(shè)計(jì)測(cè)試用例外，Tessy還支持導(dǎo)入導(dǎo)出多種格式的測(cè)試用例。
展開 這幾個(gè)嵌入式程序架構(gòu)太好用了
前言
在嵌入式軟件開發(fā)，包括單片機(jī)開發(fā)中，軟件架構(gòu)對(duì)于開發(fā)人員是一個(gè)必須認(rèn)真考慮的問題。
軟件架構(gòu)對(duì)于系統(tǒng)整體的穩(wěn)定性和可靠性是非常重要的，一個(gè)合適的軟件架構(gòu)不僅結(jié)構(gòu)清晰，并且便于開發(fā)。
我相信在嵌入式或單片機(jī)軟件開發(fā)的初期大多數(shù)開發(fā)者采用的都是簡(jiǎn)單的前后臺(tái)順序執(zhí)行架構(gòu)(我就是這樣的)。在嵌入式軟件開發(fā)中，程序架構(gòu)主要分為三種，本篇文章將對(duì)這三種程序架構(gòu)做出詳解。
1、軟件架構(gòu)存在的意義
可以說一個(gè)好的程序架構(gòu)，是一個(gè)有經(jīng)驗(yàn)的工程師和一個(gè)初學(xué)者的分水嶺。軟件架構(gòu)對(duì)于開發(fā)人員是友好的，你希望先執(zhí)行什么任務(wù)后執(zhí)行什么任務(wù)，或者這一個(gè)時(shí)間點(diǎn)執(zhí)行什么任務(wù)下一個(gè)執(zhí)行什么任務(wù)，又或者什么事件會(huì)同步到某個(gè)任務(wù)等等，在不同的軟件架構(gòu)下，解決上述問題的具體方法都是有所區(qū)別的。
軟件架構(gòu)對(duì)開發(fā)者最大的幫助是：幫助開發(fā)者掌控整個(gè)工程的框架，當(dāng)你熟練使用其中某一個(gè)程序架構(gòu)后，對(duì)于系統(tǒng)中出現(xiàn)的bug你一定能夠快速的定位并解決。當(dāng)然，我建議要根據(jù)需要選擇合適的軟件架構(gòu)進(jìn)行開發(fā)，具體原因在文章后面會(huì)進(jìn)行介紹。
2、深入介紹三種不同的程序架構(gòu)
三種常用的軟件架構(gòu)有：順序執(zhí)行的前后臺(tái)系統(tǒng)、時(shí)間片輪詢系統(tǒng)和多任務(wù)操作系統(tǒng)。為了讓大家有一個(gè)更為清晰的認(rèn)識(shí)，我分別用三種軟件架構(gòu)對(duì)一個(gè)實(shí)例進(jìn)行介紹說明。這個(gè)實(shí)例如下：它有4個(gè)任務(wù)，這4個(gè)任務(wù)為按鍵掃描、聲光報(bào)警、顯示屏刷新和超聲波測(cè)距。這個(gè)實(shí)例的具體功能是通過按鍵設(shè)置測(cè)量距離的閾值，當(dāng)測(cè)距距離低于設(shè)置的閾值時(shí)，觸發(fā)聲光報(bào)警并且將測(cè)量距離實(shí)時(shí)顯示在顯示屏上(這個(gè)應(yīng)用是汽車倒車?yán)走_(dá)的具體體現(xiàn))。
展開 現(xiàn)代嵌入式軟件單元測(cè)試的全面演進(jìn)與專業(yè)工具的核心價(jià)值
一、嵌入式單元測(cè)試的歷史演進(jìn)與技術(shù)革新
嵌入式軟件單元測(cè)試在過去十五年間經(jīng)歷了從基礎(chǔ)功能驗(yàn)證到全面質(zhì)量保障的深刻變革。2010年前后的測(cè)試環(huán)境主要依賴宿主機(jī)測(cè)試和簡(jiǎn)單模擬器，而2025年的現(xiàn)代測(cè)試體系已經(jīng)形成了高度智能化的全流程解決方案。
1.1 測(cè)試工具的技術(shù)躍遷
十五年前的嵌入式單元測(cè)試工具以開源框架為主，如Unity、CUnit和Check等，這些工具功能相對(duì)單一，主要提供基本的斷言和測(cè)試用例管理功能。當(dāng)時(shí)的商業(yè)工具較少且功能有限，測(cè)試多在開發(fā)環(huán)境中進(jìn)行，通過樁和模擬器隔離硬件依賴。
嵌入式開發(fā)用RTOS的優(yōu)勢(shì)在哪？
使用操作系統(tǒng)所帶來的軟件可模塊化、重用性的提升，也使得我們自己在做軟件開發(fā)時(shí)，可以封裝一套基于操作系統(tǒng)、適合嵌入式的可重用組件，這些組件不僅可以用在自己的項(xiàng)目中，還能開源出來分享給更多有需要的嵌入式開發(fā)者，把軟件的價(jià)值最大化。
個(gè)人感覺這是一件蠻有意義事情，我自己本身也是一名開源極客，也有在 GitHub 上開源一些嵌入式軟件。說實(shí)話在做開源軟件前，能夠深入交流嵌入式軟件的地方非常少，畢竟大家的代碼不是芯片不一樣，就是硬件不一樣，你的代碼給了他，也不一定能運(yùn)行起來。但是自從用了操作系統(tǒng)后，軟件的可重用性提高了，能夠讓更多的人很迅速的用起來我的開源軟件，這個(gè)時(shí)候能夠有更多的人可以一起交流，還接觸到了很多的大牛們，甚至是國(guó)外的朋友。俗話說：水漲船高，我的能力也從此得到了快速的提升。所以總結(jié)下來，有一個(gè)能一起交流嵌入式軟件圈子還是蠻重要的，自己閉門造車，可能都是在重復(fù)造輪子。
常見RTOS對(duì)比
ucos/freertos/RT-Thread，選擇這三款 OS 的原因是，它們的年限都比較長(zhǎng)了，在市面上都蠻有知名度，用過的人比較多，更有說服力。
值得一提的是，在CubeMX工具中有FreeRTOS，支持很方便。如果是STM32開發(fā)的話，F(xiàn)reeRTOS基本是入門RTOS的首選了。
1 基本功能、性能
各家 RTOS 差異很小，可比性并不是很大。
2 易用性/可讀性
這塊 FreeRTOS 應(yīng)該說是最差，奇葩的匈牙利命名法，代碼實(shí)現(xiàn)用了很多宏，可讀性非常差。ucos 可讀性還可以，注釋也很全。這塊做的比較好的是 RT-Thread ，它是類 Linux 的代碼風(fēng)格，面向?qū)ο蟮脑O(shè)計(jì)模式，代碼簡(jiǎn)潔易懂。
展開 Tessy—嵌入式軟件單元測(cè)試/集成測(cè)試工具
產(chǎn)品概述
Tessy源自戴姆勒—奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，由德國(guó)Hitex公司負(fù)責(zé)銷售及技術(shù)的支持服務(wù)，是一款專門針對(duì)嵌入式軟件進(jìn)行單元/集成測(cè)試的工具。它可以對(duì)C/C++代碼進(jìn)行單元、集成測(cè)試，可以自動(dòng)化搭建測(cè)試環(huán)境、執(zhí)行測(cè)試、評(píng)估測(cè)試結(jié)果并生成測(cè)試報(bào)告，其多樣化的測(cè)試用例導(dǎo)入生成方式和與測(cè)試需求關(guān)聯(lián)的特色，使Tessy在測(cè)試組織和測(cè)試管理上也發(fā)揮了良好的作用。目前Tessy被廣泛應(yīng)用在汽車電子客戶中。
產(chǎn)品介紹
主要特點(diǎn)
在V模型開發(fā)中，Tessy主要應(yīng)用在單元測(cè)試和集成測(cè)試階段。單元測(cè)試通過運(yùn)行代碼檢測(cè)出函數(shù)中錯(cuò)誤，比如算法錯(cuò)誤、接口問題等；集成測(cè)試則在單元測(cè)試的基礎(chǔ)上驗(yàn)證單元之間接口的正確性?；谠皆绨l(fā)現(xiàn)bug開發(fā)成本越低的原則，在進(jìn)行代碼功能驗(yàn)證的過程中，按照V流程右半部分先完成單元測(cè)試再進(jìn)行集成測(cè)試的測(cè)試順序更為有效。
另外，Tessy也可以滿足各類標(biāo)準(zhǔn)（如ISO26262、IEC61508、EN50128/50129等）對(duì)測(cè)試的需求。比如Tessy可以滿足ISO26262中各等級(jí)對(duì)單元/集成測(cè)試的要求，當(dāng)然Tessy本身也通過了TUV的認(rèn)證，證明該軟件是安全可靠的，可以在安全相關(guān)的軟件研發(fā)過程中使用。
主要功能
? 自動(dòng)生成測(cè)試環(huán)境、一鍵執(zhí)行及評(píng)估結(jié)果
Tessy可以自動(dòng)生成驅(qū)動(dòng)程序、樁函數(shù)，幫助測(cè)試人員提高單元測(cè)試效率。
Tessy支持一鍵執(zhí)行測(cè)試，并自動(dòng)對(duì)測(cè)試結(jié)果進(jìn)行評(píng)估，可生成多種形式的報(bào)告。
展開 
Tessy — 嵌入式軟件單元測(cè)試/ 集成測(cè)試工具
Tessy是一個(gè)專門針對(duì)嵌入式軟件的C/C++代碼進(jìn)行單元、集成測(cè)試的工具，它可以自動(dòng)化地執(zhí)行測(cè)試、評(píng)估測(cè)試結(jié)果并生成測(cè)試報(bào)告。Tessy的目標(biāo)就是：通過自動(dòng)化整個(gè)測(cè)試周期，支持針對(duì)C語(yǔ)言的單元測(cè)試/集成測(cè)試，同時(shí)，Tessy也同樣關(guān)注測(cè)試組織和測(cè)試管理。
Tessy軟件源自戴姆勒-奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，在戴姆勒-奔馳公司得到廣泛的使用，1997年之后成為專業(yè)的軟件測(cè)試工具公司Razorcat，由德國(guó)Hitex負(fù)責(zé)全球銷售及技術(shù)支持服務(wù)。北京經(jīng)緯恒潤(rùn)科技作為Hitex/Razorcat公司的中國(guó)合作伙伴，將為中國(guó)汽車客戶提供Tessy軟件及優(yōu)秀的軟件測(cè)試服務(wù)。
產(chǎn)品介紹
在以V模型為例的開發(fā)模式中，Tessy主要應(yīng)用在單元/模塊測(cè)試，集成/組件測(cè)試。在V模型的開發(fā)模式中，單元測(cè)試是第一個(gè)動(dòng)態(tài)測(cè)試活動(dòng)。通過函數(shù)級(jí)測(cè)試，有效檢查出每一類錯(cuò)誤，比如算法錯(cuò)誤、邊界控制錯(cuò)誤、數(shù)據(jù)溢出等。通過單元測(cè)試，可以盡可能早得發(fā)現(xiàn)Bug，防止直到后面的測(cè)試過程或者直到用戶那里才被發(fā)現(xiàn)。在整個(gè)項(xiàng)目開發(fā)測(cè)試周期中，越早發(fā)現(xiàn)Bug越好，事實(shí)證明，開展詳盡規(guī)范的單元測(cè)試能夠有效減少系統(tǒng)測(cè)試和回歸測(cè)試時(shí)間，降低開發(fā)成本。
另外，Tessy也可以滿足各類標(biāo)準(zhǔn)（ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗(yàn)證通用原則）對(duì)測(cè)試的需求，比如ISO26262中各個(gè)測(cè)試等級(jí)中對(duì)模塊測(cè)試的要求可以使用Tessy來滿足，當(dāng)然Tessy本身也通過了Tuev的認(rèn)證，可以在安全相關(guān)性的軟件研發(fā)過程中被使用。
展開 嵌入式軟件的流程圖制作及解析工具
CasePlayer2 : 適用于嵌入式軟件的說明書制作及解析工具
靜態(tài)解析C/C++源代碼自動(dòng)生成流程圖等文件
適用于各種嵌入式微機(jī)用匯編代碼
具有符合編程標(biāo)準(zhǔn)MISRA-C 1998/2004的規(guī)范檢查功能，Code Metrics計(jì)測(cè)功能
適用于掌握以往程序的內(nèi)容，審閱會(huì)議時(shí)評(píng)估程序等，有利于改善軟件質(zhì)量的工具
產(chǎn)品概要
CasePlayer2是通過解析ANSI C語(yǔ)言，C++，嵌入式C語(yǔ)言（非ANSI），以及匯編語(yǔ)言的源代碼，制作包括流程圖等的程序說明書的工具。不論是對(duì)以往的程序進(jìn)行邏輯分析，還是為新開發(fā)的程序制作說明書，都提供了強(qiáng)有力的支援。作為程序靜態(tài)分析功能，包括外部變量參照/代入的列表功能，以及C語(yǔ)言的編程標(biāo)準(zhǔn)[MISRA-C]的規(guī)范檢查功能。
只需將程序登記，可以自動(dòng)生成各種說明書
CasePlayer2是通過分析ANSI C語(yǔ)言，C++，嵌入式C語(yǔ)言（非ANSI），以及匯編語(yǔ)言的源代碼，制作包括流程圖等程序說明書的逆向CASE（computer aided software engineering tool）工具。應(yīng)用GAIO的主要技術(shù)也就是編譯技術(shù)，不需要追加其他代碼就可以解析代碼構(gòu)造，制作各種流程圖。而其他公司的CASE工具往往需要追加代碼才能實(shí)現(xiàn)流程圖生成。而且，只需幾秒鐘就可以將數(shù)萬(wàn)行C語(yǔ)言程序轉(zhuǎn)換成流程圖，具有引以為豪的壓倒性性能。
展開 案例分享 | 富世華集團(tuán)：用 MSC Nastran 嵌入式疲勞軟件大幅提高結(jié)果精度
富世華集團(tuán)是全球領(lǐng)先的戶外動(dòng)力產(chǎn)品生產(chǎn)商，該集團(tuán)將 MSC 軟件的 Nastran 嵌入式疲勞（NEF）軟件作為高效優(yōu)化疲勞分析流程的核心。
產(chǎn)品中任何部位的疲勞都是由二沖程發(fā)動(dòng)機(jī)的振動(dòng)引起的，例如電鋸或手持式動(dòng)力切割機(jī)就是由這種發(fā)動(dòng)機(jī)驅(qū)動(dòng)的（圖 1）。在投產(chǎn)之前，一定要徹底了解這一現(xiàn)象。這就是要使用虛擬樣機(jī)來評(píng)估材料可能失效的位置并在相應(yīng)位置加強(qiáng)零件結(jié)構(gòu)保證結(jié)構(gòu)完整。在構(gòu)建虛擬樣機(jī)時(shí)，所建立的裝置系統(tǒng)模型包括發(fā)動(dòng)機(jī)、外殼及周邊部件，例如油箱和蓋板。邊界條件為約束手柄處，系統(tǒng)工作將力傳遞到操作員手上。
圖1.富世華手持式動(dòng)力切割機(jī)
本文重點(diǎn)介紹如何將 MSC 軟件的 Nastran 嵌入式疲勞軟件作為高效優(yōu)化疲勞分析流程的核心。
優(yōu)化后的 Nastran 嵌入式疲勞流程所創(chuàng)建的數(shù)據(jù)量顯著減少，因此不再需要大量的中間結(jié)果文件以及繁瑣的重新導(dǎo)入。
傳統(tǒng)疲勞分析流程
采用 MSC Nastran 進(jìn)行結(jié)構(gòu)振動(dòng)分析是富世華集團(tuán)的長(zhǎng)期傳統(tǒng)。集團(tuán)不斷對(duì)此進(jìn)行改進(jìn)，例如增加模型的復(fù)雜度。
展開 嵌入式軟件測(cè)試的革新：如何用深度集成工具破解效率與安全的雙重困局？
六、未來展望：AI賦能的下一代測(cè)試
winAMS研發(fā)團(tuán)隊(duì)透露，其下一代產(chǎn)品將深度整合AI技術(shù)：
智能用例生成：基于代碼上下文與歷史缺陷庫(kù)，自動(dòng)推導(dǎo)邊界條件用例；
自適應(yīng)模糊測(cè)試：動(dòng)態(tài)調(diào)整輸入變異策略，優(yōu)先探索高風(fēng)險(xiǎn)狀態(tài)空間；
自然語(yǔ)言交互：通過ChatGPT式界面，用自然語(yǔ)言描述測(cè)試需求并自動(dòng)生成腳本。
某頭部芯片廠商已參與beta測(cè)試，其反饋顯示AI模塊將深度學(xué)習(xí)加速器的驗(yàn)證周期縮短了40%。
結(jié)語(yǔ)：在效率與安全的鋼絲上，選擇正確的支點(diǎn)
嵌入式軟件開發(fā)的復(fù)雜性正呈指數(shù)級(jí)增長(zhǎng)——從單核到多核，從確定式邏輯到AI推理，從功能實(shí)現(xiàn)到功能安全。在這一背景下，測(cè)試工具已不再是“輔助角色”，而是決定項(xiàng)目成敗的戰(zhàn)略性資產(chǎn)。
winAMS的價(jià)值，不僅在于其技術(shù)參數(shù)的優(yōu)越性，更在于它重新定義了測(cè)試的邊界：讓測(cè)試成為開發(fā)的自然延伸，而非額外負(fù)擔(dān)。當(dāng)工具足夠“懂”開發(fā)者的真實(shí)需求時(shí)，效率與安全的雙重目標(biāo)便不再是非此即彼的單選題。
或許，這就是為什么一位資深工程師在技術(shù)論壇中這樣評(píng)價(jià)：“用了winAMS后，我們終于不用在深夜手動(dòng)補(bǔ)測(cè)試用例了——它像一位沉默的搭檔，默默扛起了那些重復(fù)卻至關(guān)重要的工作?！?/span>
展開 