一区二区三区三上|欧美在线视频五区|国产午夜无码在线观看视频|亚洲国产裸体网站|无码成年人影视|亚洲AV亚洲AV|成人开心激情五月|欧美性爱内射视频|超碰人人干人人上|一区二区无码三区亚洲人区久久精品

0
  • 聊天消息
  • 系統(tǒng)消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發(fā)帖/加入社區(qū)
會員中心
創(chuàng)作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內(nèi)不再提示

符合功能安全要求的動態(tài)測試工具-TESSY

經(jīng)緯恒潤 ? 2022-03-07 10:56 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執(zhí)行測試、評估測試結果并生成測試報告。

Tessy的目標就是:通過自動化整個測試周期,支持針對C語言的單元測試/集成測試,同時,Tessy也同樣關注測試組織和測試管理。

Tessy軟件源自戴姆勒-奔馳公司的軟件技術實驗室,在戴姆勒-奔馳公司得到廣泛的使用,1997年之后獨立成為專業(yè)的軟件測試工具公司Razorcat,由德國Hitex負責銷售及技術支持服務。

北京經(jīng)緯恒潤作為Hitex/Razorcat公司的中國合作伙伴,將為中國汽車客戶提供Tessy軟件及軟件測試服務。

產(chǎn)品介紹

在以V模型為例的開發(fā)模式中,Tessy主要應用在單元/模塊測試,集成/組件測試。在V模型的開發(fā)模式中,單元測試是第一個動態(tài)測試活動。通過函數(shù)級測試,有效檢查出每一類錯誤,比如算法錯誤、邊界控制錯誤、數(shù)據(jù)溢出等。通過單元測試,可以盡可能早得發(fā)現(xiàn)Bug,防止到后面的測試過程或者到最終用戶那里才被發(fā)現(xiàn)。在整個項目開發(fā)測試周期中,越早發(fā)現(xiàn)Bug越好,事實證明,開展詳盡規(guī)范的單元測試能夠有效減少系統(tǒng)測試和回歸測試時間,降低開發(fā)成本。

另外,Tessy也可以滿足各類標準(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗證通用原則)對測試的需求,比如ISO26262中各個測試等級中對模塊測試的要求可以使用Tessy來滿足,當然Tessy本身也通過了Tuev的認證,可以在安全相關性的軟件研發(fā)過程中被使用。

功能介紹

- 自動生成測試環(huán)境

Tessy可以自動生成測試環(huán)境驅(qū)動,選擇自動或者手動打樁以及自動生成測試用例模板,幫助客戶提高測試用例設計效率。

o4YBAGC24DOAHECBAAAARmu_22A208.png

- 多種測試用例確定方式

除了可以在簡潔的界面中手動輸入測試用例之外,還支持從Excel中導入測試數(shù)據(jù),也可以通過腳本編輯器編寫測試用例。另外,Tessy里集成了CTE軟件,根據(jù)分類樹的方法,將每個接口的等價類進行劃分,半自動化的生成測試用例,降低用例冗余度,提高測試效率。

用例設計

o4YBAGC24DOAHECBAAAARmu_22A208.png

用例腳本編輯器

CTE分類樹設計

- 支持動態(tài)測試的各階段

Tessy可以支持從單元測試到系統(tǒng)測試的動態(tài)測試過程各個階段,通過單元測試檢查每個函數(shù)的功能完整性,通過集成測試對各個子模塊進行功能驗證以及模塊間接口測試,可以通過與目標板集成進行系統(tǒng)功能驗證。

另外Tessy可以自動識別被測對象的接口變更,提示我們需要更新測試用例;版本迭代時,可重用測試用例和測試數(shù)據(jù),節(jié)約大量回歸測試需要的工作和時間,在接口不變的情況下,Tessy可以自動化地執(zhí)行不需要用戶介入的回歸測試。

- 全自動地測試執(zhí)行及評估

Tessy檢查源文件并且通過分析程序代碼來確定函數(shù)以及他們的接口,這些信息將被保存在特定的數(shù)據(jù)庫中供隨時檢索,接口信息和測試數(shù)據(jù)的分離實現(xiàn)了結構和數(shù)據(jù)之間的明確劃分,一方面,接口的測試使首先顯示變化成為可能;另一方面,如果發(fā)生變化,通常也只有要測試的函數(shù)接口的幾個元素要發(fā)生變化,在Tessy中接口發(fā)生變化時的處理相當簡單。

- 測試報告生成

管理測試數(shù)據(jù)并生成在測試報告,Tessy提供輸入?yún)?shù)/執(zhí)行測試和評估結果和報告文檔,Tessy可以生成各種類型的測試報告,包括詳細報告、概況報告以及覆蓋度報告等。

- 覆蓋率統(tǒng)計

Tessy提供C1覆蓋,即分支覆蓋branch coverage或者判定覆蓋decision coverage ;條件覆蓋,即多條件覆蓋MCC(Multiple Condition Coverage)和修正條件判定覆蓋MC/DC(Modified Condition/Decision Coverage),Tessy是通過測試應用程序來獲取測試覆蓋信息的。

o4YBAGC24DOAHECBAAAARmu_22A208.png

- 故障注入測試

故障注入可以實現(xiàn)傳統(tǒng)方法無法實現(xiàn)的測試用例輸入,例如跳出無限循環(huán),先寫后讀功能以及防御性編程測試??梢栽谶x定的分支位置注入專用的測試代碼,以便可以操縱決策結果。這確保了正確的操作以及正常的測試用例不會由故障注入引起副作用。

- 支持測試用例有效性自動評估

除了傳統(tǒng)的測試用例執(zhí)行結果統(tǒng)計和覆蓋率統(tǒng)計,TESSY還支持自動化的用例有效性評估,檢驗測試用例對邊界測試和特殊場景的覆蓋情況,防止由于測試用例不充分對測試效果的影響,影響程序運行可靠性。同時,對于測試項目管理者來說,也可以通過該指標對團隊的整個測試結果有更全面的了解和把控。

o4YBAGC24DOAHECBAAAARmu_22A208.png

- 支持各種開發(fā)環(huán)境

Tessy現(xiàn)在可以支持超過130種微控制器、編譯器和調(diào)試器的組合;這確保了Tessy能夠處理交叉編譯器生成的非標準C(ANSI-C)微控制器特定的代碼;一旦Tessy和不同的開發(fā)環(huán)境完成集成,就可以在實際芯片中運行測試用例了。

- 支持ASAP2

在Tessy中設計測試用例之前選擇與ASAP2標準的集成功能,確定需要導入的ASAP2文件,使用ASAP2轉(zhuǎn)換規(guī)則自動地將測試用例中設計的測試數(shù)據(jù)物理值轉(zhuǎn)換為在目標板中執(zhí)行測試對象的整數(shù)值,從而簡化測試用例設計的理解和實現(xiàn),并且可以在Tessy中顯示其他ASAP2信息,例如單位,最大/最小值等。

- 插入需求

所有的測試活動都是基于功能規(guī)格和需求變更的。支持插入需求,隨著需求的變化自動變更需求版本,實現(xiàn)需求可溯性??赏ㄟ^插入需求宏觀把握測試工作的進度。

應用 & 案例

Tessy被廣泛應用于汽車、鐵路、醫(yī)療和工業(yè)應用領域當中,眾多汽車整車廠、零部件供應商都在使用Tessy。

- 汽車行業(yè)

- 安全關鍵性領域

- 醫(yī)療行業(yè)、白色家電等領域

聲明:本文內(nèi)容及配圖由入駐作者撰寫或者入駐合作網(wǎng)站授權轉(zhuǎn)載。文章觀點僅代表作者本人,不代表電子發(fā)燒友網(wǎng)立場。文章及其配圖僅供工程師學習之用,如有內(nèi)容侵權或者其他違規(guī)問題,請聯(lián)系本站處理。 舉報投訴
收藏 人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    調(diào)試工具:Eclipse調(diào)試工具欄與窗口的深入分析

    摘要 :在嵌入式系統(tǒng)開發(fā)領域,高效的調(diào)試工具鏈對于項目的成功實施具有決定性意義。本文聚焦于 Eclipse 調(diào)試工具欄與窗口的功能特性,深入剖析其在嵌入式開發(fā)調(diào)試過程中的關鍵作用。以廈門國科安芯
    的頭像 發(fā)表于 07-07 11:32 ?142次閱讀
    調(diào)<b class='flag-5'>試工具</b>:Eclipse調(diào)<b class='flag-5'>試工具</b>欄與窗口的深入分析

    PSoC? BLE 設備是否符合 Cyber Resilience?

    PSoC? BLE 設備是否符合 Cyber Resilience(在 RED(RADIO EQUIPMENT DIRECTIVE))中增加安全要求的法律法規(guī))? 如果沒有,將來有支持它的計劃嗎?
    發(fā)表于 07-03 07:20

    合作伙伴資訊 | Razorcat再次通過ISO 9001質(zhì)量管理體系認證,龍智持續(xù)為您保障高質(zhì)量測試工具與服務

    龍智代理的嵌入式軟件自動測試工具TESSY的研發(fā)廠商——Razorcat再次順利通過 ISO 9001 質(zhì)量管理體系認證!充分體現(xiàn)了Razorcat在產(chǎn)品研發(fā)、服務支持及流程管理方面的高標準與持續(xù)穩(wěn)定性。
    的頭像 發(fā)表于 06-19 17:01 ?795次閱讀
    合作伙伴資訊 | Razorcat再次通過ISO 9001質(zhì)量管理體系認證,龍智持續(xù)為您保障高質(zhì)量<b class='flag-5'>測試工具</b>與服務

    開源工具 Made with KiCad(131):BomberCat 安全測試工具

    “? BomberCat 是一個結合硬件開發(fā)與安全測試的開源工具,主要面向電子工程和網(wǎng)絡安全領域。用于檢測銀行終端、門禁系統(tǒng)等設備的漏洞。 ” Made with KiCad 系列將支
    的頭像 發(fā)表于 06-19 11:18 ?2646次閱讀
    開源<b class='flag-5'>工具</b> Made with KiCad(131):BomberCat <b class='flag-5'>安全</b><b class='flag-5'>測試工具</b>

    視頻教程| 單元測試工具TESSY:故障注入測試演示

    測試
    龍智DevSecOps
    發(fā)布于 :2025年05月30日 13:38:20

    充電樁3c認證測試項目(詳細版)

    充電樁的CCC認證測試項目主要依據(jù)GB 39752《電動汽車供電設備安全要求》和GB 44263《電動汽車傳導充電系統(tǒng)安全要求》,涵蓋電氣安全、機械
    的頭像 發(fā)表于 03-07 17:31 ?1700次閱讀
    充電樁3c認證<b class='flag-5'>測試</b>項目(詳細版)

    芯科科技Z-Wave設備測試工具介紹

    本篇技術博文將介紹SiliconLabs(芯科科技)提供的Z-Wave設備測試工具,通過使用一個舊的Z-Wave DUT項目來測試Z-Wave設備,以確保設備可以正常工作。
    的頭像 發(fā)表于 01-17 09:39 ?604次閱讀
    芯科科技Z-Wave設備<b class='flag-5'>測試工具</b>介紹

    Web端TCP/UDP測試工具!小白必學~

    Web端TCP/UDP測試工具,方便大家進行各種基于TCP和TDP的模擬測試。該測試工具不僅支持TCP和UDP測試,還支持SSL,使用極為便捷。 按照如下
    的頭像 發(fā)表于 01-08 18:17 ?1260次閱讀
    Web端TCP/UDP<b class='flag-5'>測試工具</b>!小白必學~

    Modbus測試工具

    非常實用的工具,通信測試前可以用來檢查線路接線和儀表設置是否正常。
    發(fā)表于 12-31 13:38 ?3次下載

    嵌入軟件單元/集成測試工具專業(yè)分析

    軟件開發(fā)設計的單元測試工具,其獨特的功能和優(yōu)勢使其在市場中占據(jù)了一席之地。本文將對WinAMS進行深入分析,并將其與其他測試工具進行對比,探討其在功能、易用性和兼容性等方面的優(yōu)點。 1
    的頭像 發(fā)表于 11-19 16:41 ?662次閱讀

    CAN總線測試工具選擇與使用

    1. CAN分析儀 CAN分析儀是一種高級的測試工具,能夠?qū)崟r捕獲和分析CAN總線上的數(shù)據(jù)。它們通常具備以下功能: 數(shù)據(jù)捕獲和存儲 實時數(shù)據(jù)顯示 信號診斷和錯誤檢測 網(wǎng)絡參數(shù)配置 模擬CAN消息發(fā)送 2. CAN接口卡 CAN接口卡是一種硬件設備,安裝在計算機上
    的頭像 發(fā)表于 11-12 10:16 ?2489次閱讀

    TCP&UDP調(diào)試工具

    TCP&UDP調(diào)試工具
    發(fā)表于 10-30 10:41 ?3次下載

    MODBUS調(diào)試工具(modscan32)

    MODBUS調(diào)試工具(modscan32)
    發(fā)表于 10-24 10:39 ?3次下載

    新品發(fā)布 | 多通道車載以太網(wǎng)仿真測試工具

    新品發(fā)布Newproductsrelease隨著汽車電子技術的快速發(fā)展,車載以太網(wǎng)仿真測試工具在汽車行業(yè)中的應用廣泛且重要,它們主要用于測試、驗證和優(yōu)化車載以太網(wǎng)系統(tǒng)的性能、可靠性和兼容性。同星智能
    的頭像 發(fā)表于 07-27 08:21 ?1331次閱讀
    新品發(fā)布 | 多通道車載以太網(wǎng)仿真<b class='flag-5'>測試工具</b>

    自動化嵌入式系統(tǒng)測試流程:TESSY功能優(yōu)勢詳解

    TESSY實現(xiàn)了整個測試周期的自動化,包括在各種目標系統(tǒng)上對C/C++嵌入式軟件進行回歸測試。作為已通過認證的測試工具,TESSY支持所
    的頭像 發(fā)表于 07-22 10:52 ?966次閱讀
    自動化嵌入式系統(tǒng)<b class='flag-5'>測試</b>流程:<b class='flag-5'>TESSY</b><b class='flag-5'>功能</b>優(yōu)勢詳解