Tessy—嵌入式軟體單元測試/整合測試工具

產品概述

Tessy源自戴姆勒—賓士公司的軟體技術實驗室，由德國Hitex公司負責銷售及技術的支援服務，是一款專門針對嵌入式軟體進行單元/整合測試的工具。它可以對C/C++程式碼進行單元、整合測試，可以自動化搭建測試環境、執行測試、評估測試結果並生成測試報告，其多樣化的測試用例匯入生成方式和與測試需求關聯的特色，使Tessy在測試組織和測試管理上也發揮了良好的作用。目前Tessy被廣泛應用在汽車電子客戶中。

產品介紹

• 主要特點

在V模型開發中，Tessy主要應用在單元測試和整合測試階段。單元測試透過執行程式碼檢測出函式中錯誤，比如演算法錯誤、介面問題等；整合測試則在單元測試的基礎上驗證單元之間介面的正確性。基於越早發現bug開發成本越低的原則，在進行程式碼功能驗證的過程中，按照V流程右半部分先完成單元測試再進行整合測試的測試順序更為有效。

另外，Tessy也可以滿足各類標準（如ISO26262、IEC61508、EN50128/50129等）對測試的需求。比如Tessy可以滿足ISO26262中各等級對單元/整合測試的要求，當然Tessy本身也透過了TUV的認證，證明該軟體是安全可靠的，可以在安全相關的軟體研發過程中使用。

• 主要功能

 自動生成測試環境、一鍵執行及評估結果

Tessy可以自動生成驅動程式、樁函式，幫助測試人員提高單元測試效率。

Tessy支援一鍵執行測試，並自動對測試結果進行評估，可生成多種形式的報告。

 便捷的測試用例設計方式

除軟體介面手動設計測試用例外，Tessy還支援匯入匯出多種格式的測試用例。另外，Tessy整合了分類樹編輯器CTE，有效利用等價類劃分以及邊界值法，輔助設計出更有效的測試用例。

 高度自動化的迴歸測試

Tessy透過分析原始檔自動識別函式及相關介面。在介面發生變更時，支援透過簡便的操作進行測試資料複用，保證便捷有效的迴歸測試。

 測試覆蓋度分析

Tessy提供分支覆蓋、修正條件/判定覆蓋MC/DC（Modified Codition/Decision Coverage）、多條件覆蓋MCC(Multiple Condition Coverage)等多種覆蓋度分析。

 故障注入測試

可以實現傳統方法無法實現的測試用例輸入，例如跳出無限迴圈，先寫後讀功能以及防禦性程式設計測試。

 測試的需求可追溯

支援匯入多種格式需求、管理需求並實現測試用例與需求的關聯。

 支援多種開發環境下PIL測試

支援與常見嵌入式環境進行整合實現在板測試，且環境介面對使用者開放。

應用案例

• 汽車行業

• 安全關鍵模組