“Tessy 是我們測試自動生成代碼時不可或缺的工具。”—Andreas Schmude, TA-462, BMW, 德國慕尼黑
BMW主要用Tessy來測試Matlab/Simulink模型生成的代碼,但也有一部分是手寫代碼。代碼經過交叉編譯生成Freescale的PowerPC MPC55xx 目標平臺上的可執行程序,終產品是用于寶馬混合動力車鋰電池的智能電池管理系統。Tessy在寶馬的測試過程中不可或缺,因而寶馬計劃在未來繼續使用Tessy開展測試工作,這點從Hitex和Tessy制造商Razorcat能提供的技術支持中得到證實。
概述
Tessy 軟件源自戴姆勒- 奔馳公司的軟件技術實驗室,由德國Hitex 公司負責全球銷售及技術支持服務,是一款專門針對嵌入式軟件動態測試的工具。它可以對C/C++ 代碼進行單元、集成測試,可以自動化搭建測試環境、執行測試、評估測試結果并生成測試報告等。多樣化的測試用例導入生成方式和與測試需求關聯的特色,使Tessy 在測試組織和測試管理上也發揮了良好的作用,目前Tessy 廣泛應用汽車電子主流客戶中。
恒潤科技作為國內Tessy的主要代理商,擁有一支專業的技術團隊,在嵌入式軟件單元測試和集成測試方面積累了豐富的經驗,已經為國內近百客戶提供了相關咨詢服務。
產品介紹
1. 主要特點
在V 模型開發中,Tessy 主要應用在單元測試和集成測試。單元測試通過運行代碼檢測出代碼中錯誤,比如算法錯誤等,成測試則在單元測試的基礎上驗證單元之間接口的正確性?;谠皆绨l現bug 開發成本越低的原則,在進行代碼功能驗證的過程中,按照V 流程右半部分先完成單元測試再進行集成測試的測試順序更為有效。
另外,Tessy 也可以滿足各類標準(如ISO26262、IEC61508、EN 50128/50129、DO-178B 等)對測試的需求,比如Tessy 可以滿足ISO26262 中各個測試等級對模塊測試的要求,當然Tessy 本身也通過了TUV 的認證,證明該軟件是安全可靠的,可以在安全相關的軟件研發過程中使用。
2. 主要功能
•自動生成測試環境
Tessy 可以自動生成驅動函數、樁函數以及測試用例模板,幫助測試人員提高測試用例的設計效率。
•全自動的測試執行及評估
Tessy 檢查源文件,并通過分析程序代碼來確定函數及函數之間的接口,支持獨立測試發生變更的接口要素。這些信息將被保存在特定的數據庫中供隨時檢索,接口信息和測試數據的分離實現了結構和數據之間的明確劃分,在Tessy 中接口發生變化時的處理相當簡便。
•多種測試用例生成方式
除了從Excel 中導入測試用例,手動地設計測試用例外,Tessy 集成了CTE 軟件,根據分類樹的方法通過Tessy 輔助測試人員完成測試用例的輸入。
•測試報告生成
Tessy 支持測試數據管理,并將測試結果文檔化,通過輸入參數/ 執行測試,自動評估測試結果。Tessy 可以生成詳細的測試報告、概況報告及覆蓋度報告等。
•顯示測試覆蓋度:
Tessy 提供分支覆蓋、多條件覆蓋MCC (Multiple ConditionCoverage) 和修正條件判定覆蓋MC/DC(Modified Codition/Decision Coverage)等。