Razorcat 的 C/C++ 單元與集成測(cè)試工具 TESSY，現(xiàn)已支持 ABIX HiperSIM 模擬器，可用于基于 MELEXIS MLX16 CPU 的汽車嵌入式軟件的高效、可靠的驗(yàn)證。此次新集成使嵌入式開發(fā)人員和測(cè)試工程師能夠利用Melexis 的 16 位 RISC CPU 架構(gòu)，優(yōu)化嵌入式汽車控制器（如電機(jī)驅(qū)動(dòng)器、壓力傳感器、環(huán)境照明控制系統(tǒng)等）的驗(yàn)證流程，從而顯著提升自動(dòng)化能力。

降低復(fù)雜性，提升自動(dòng)化水平

TESSY 是一款已通過(guò) ISO 26262 功能安全認(rèn)證的強(qiáng)大單元測(cè)試工具，專為汽車領(lǐng)域的關(guān)鍵安全應(yīng)用而設(shè)計(jì)。該測(cè)試平臺(tái)可自動(dòng)完成 C/C++ 代碼的整個(gè)單元測(cè)試流程，包括測(cè)試管理、執(zhí)行、需求追蹤、覆蓋率測(cè)量、報(bào)告生成和可追溯性分析。TESSY 支持測(cè)試團(tuán)隊(duì)高效地設(shè)計(jì)、管理和自動(dòng)生成測(cè)試用例，既可以在用戶友好的 TESSY 圖形界面中生成，也可以在 CI/CD 環(huán)境中全自動(dòng)運(yùn)行；其集成的分類樹編輯器（CTE）提供了一種系統(tǒng)化且易于理解的方式來(lái)創(chuàng)建測(cè)試用例；Hyper Coverage 功能則有助于識(shí)別變體和未覆蓋的代碼，并整合所有測(cè)試結(jié)果，提供完整的覆蓋率視圖。

對(duì)于有嚴(yán)格功能安全要求的汽車軟件開發(fā)項(xiàng)目來(lái)說(shuō)，TESSY 顯著降低了嵌入式軟件測(cè)試的復(fù)雜度，同時(shí)提高了自動(dòng)化水平、代碼質(zhì)量和整體系統(tǒng)的可靠性。

模擬CPU以實(shí)現(xiàn)高效測(cè)試

ABIX HiperSIM 是一種高性能的高速 CPU 模擬器，適用于多種 CPU 架構(gòu)：它能夠讀取 CPU 架構(gòu)描述，快速定制以模擬任何特定處理器，包括 MELEXIS MLX16 內(nèi)核。MELEXIS MLX16 CPU 廣泛應(yīng)用于對(duì)效率和性能有高要求的汽車嵌入式系統(tǒng)，因其具備超低功耗模式、內(nèi)存占用小、直接內(nèi)存訪問(wèn)、用于乘除運(yùn)算的快速協(xié)處理器等特點(diǎn)。

在 TESSY 的單元測(cè)試工作流中無(wú)縫集成 ABIX HiperSIM，為開發(fā)人員和測(cè)試工程師提供了一個(gè)流暢而穩(wěn)定的平臺(tái)。開發(fā)人員可以獲得關(guān)于嵌入式軟件性能和行為更精確的洞察，特別是在復(fù)雜的汽車安全關(guān)鍵型應(yīng)用中。測(cè)試人員可以在 TESSY 中模擬基于 MELEXIS MLX16 的系統(tǒng)，以進(jìn)行詳細(xì)的軟件驗(yàn)證，包括 CPU 及其功耗模式的獨(dú)特行為。ABIX HiperSIM 可輕松適配各種 CPU 架構(gòu)，以創(chuàng)建自定義仿真，其高速仿真特性加快了開發(fā)、驗(yàn)證和調(diào)試過(guò)程，從而縮短產(chǎn)品上市時(shí)間。

“在 Razorcat，我們致力于為客戶提供最佳的自動(dòng)化單元測(cè)試工具，尤其是針對(duì)安全關(guān)鍵型應(yīng)用。如今，支持 ABIX HiperSIM 模擬器的 TESSY，已成為針對(duì)基于 MELEXIS MLX16 的汽車系統(tǒng)進(jìn)行嵌入式軟件開發(fā)和測(cè)試的最佳測(cè)試平臺(tái)?！?/p>

——Razorcat Development GmbH 首席執(zhí)行官 Michael Wittner

“通過(guò)將 ABIX HiperSIM 與 TESSY 集成，我們?yōu)槭褂?MELEXIS MLX16 架構(gòu)開發(fā)汽車嵌入式系統(tǒng)的開發(fā)者提供了更強(qiáng)的信心。在直觀的測(cè)試環(huán)境中模擬復(fù)雜的 CPU 行為和功耗模式，顯著改善并縮短了開發(fā)周期?！?/p>

—— ABIX 首席執(zhí)行官 Günther Nadbath

關(guān)于 ABIX HiperSIM：

ABIX HiperSIM 是一款靈活的 CPU 模擬器，專為多種 CPU 架構(gòu)提供高保真仿真。憑借其直觀的生成工具，它可以快速適配新的架構(gòu)，成為跨平臺(tái)嵌入式軟件驗(yàn)證的重要工具。ABIX HiperSIM 被廣泛應(yīng)用于汽車、工業(yè)和物聯(lián)網(wǎng)等領(lǐng)域，在這些對(duì)精度和性能要求極高的場(chǎng)景中發(fā)揮著重要作用。

關(guān)于 Razorcat &TESSY：

Razorcat 自 1997 年以來(lái)一直致力于嵌入式系統(tǒng)軟件開發(fā)的測(cè)試工具研發(fā)。其單元與集成測(cè)試工具 TESSY 已通過(guò) IEC 61508 和 ISO 26262 認(rèn)證，廣泛應(yīng)用于各行業(yè)領(lǐng)域的關(guān)鍵安全和高質(zhì)量軟件驗(yàn)證項(xiàng)目中。結(jié)合集成測(cè)試環(huán)境（ITE）、測(cè)試操作平臺(tái)（TOP）和測(cè)試用例定義語(yǔ)言（CCDL）等工具，Razorcat 提供了覆蓋整個(gè)測(cè)試流程的完整解決方案。

龍智是TESSY授權(quán)分銷商，為中國(guó)用戶提供全方位的TESSY軟件服務(wù)，包括咨詢、銷售、實(shí)施、培訓(xùn)和技術(shù)支持等。