“Tessy 是我們測(cè)試自動(dòng)生成代碼時(shí)不可或缺的工具。”—Andreas Schmude, TA-462, BMW, 德國(guó)慕尼黑

　　BMW主要用Tessy來(lái)測(cè)試Matlab/Simulink模型生成的代碼，但也有一部分是手寫代碼。代碼經(jīng)過(guò)交叉編譯生成Freescale的PowerPC MPC55xx 目標(biāo)平臺(tái)上的可執(zhí)行程序，終產(chǎn)品是用于寶馬混合動(dòng)力車鋰電池的智能電池管理系統(tǒng)。Tessy在寶馬的測(cè)試過(guò)程中不可或缺，因而寶馬計(jì)劃在未來(lái)繼續(xù)使用Tessy開展測(cè)試工作，這點(diǎn)從Hitex和Tessy制造商Razorcat能提供的技術(shù)支持中得到證實(shí)。

　　概述

　　Tessy 軟件源自戴姆勒- 奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，由德國(guó)Hitex 公司負(fù)責(zé)全球銷售及技術(shù)支持服務(wù)，是一款專門針對(duì)嵌入式軟件動(dòng)態(tài)測(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)用汽車電子主流客戶中。

　　恒潤(rùn)科技作為國(guó)內(nèi)Tessy的主要代理商，擁有一支專業(yè)的技術(shù)團(tuán)隊(duì)，在嵌入式軟件單元測(cè)試和集成測(cè)試方面積累了豐富的經(jīng)驗(yàn)，已經(jīng)為國(guó)內(nèi)近百客戶提供了相關(guān)咨詢服務(wù)。

　　產(chǎn)品介紹

　　1. 主要特點(diǎn)

　　在V 模型開發(fā)中，Tessy 主要應(yīng)用在單元測(cè)試和集成測(cè)試。單元測(cè)試通過(guò)運(yùn)行代碼檢測(cè)出代碼中錯(cuò)誤，比如算法錯(cuò)誤等，成測(cè)試則在單元測(cè)試的基礎(chǔ)上驗(yàn)證單元之間接口的正確性?；谠皆绨l(fā)現(xiàn)bug 開發(fā)成本越低的原則，在進(jìn)行代碼功能驗(yàn)證的過(guò)程中，按照V 流程右半部分先完成單元測(cè)試再進(jìn)行集成測(cè)試的測(cè)試順序更為有效。

　　另外，Tessy 也可以滿足各類標(biāo)準(zhǔn)(如ISO26262、IEC61508、EN 50128/50129、DO-178B 等)對(duì)測(cè)試的需求，比如Tessy 可以滿足ISO26262 中各個(gè)測(cè)試等級(jí)對(duì)模塊測(cè)試的要求，當(dāng)然Tessy 本身也通過(guò)了TUV 的認(rèn)證，證明該軟件是安全可靠的，可以在安全相關(guān)的軟件研發(fā)過(guò)程中使用。

　　2. 主要功能

　　•自動(dòng)生成測(cè)試環(huán)境

　　Tessy 可以自動(dòng)生成驅(qū)動(dòng)函數(shù)、樁函數(shù)以及測(cè)試用例模板，幫助測(cè)試人員提高測(cè)試用例的設(shè)計(jì)效率。

　　•全自動(dòng)的測(cè)試執(zhí)行及評(píng)估

　　Tessy 檢查源文件，并通過(guò)分析程序代碼來(lái)確定函數(shù)及函數(shù)之間的接口，支持獨(dú)立測(cè)試發(fā)生變更的接口要素。這些信息將被保存在特定的數(shù)據(jù)庫(kù)中供隨時(shí)檢索，接口信息和測(cè)試數(shù)據(jù)的分離實(shí)現(xiàn)了結(jié)構(gòu)和數(shù)據(jù)之間的明確劃分，在Tessy 中接口發(fā)生變化時(shí)的處理相當(dāng)簡(jiǎn)便。

　　•多種測(cè)試用例生成方式

　　除了從Excel 中導(dǎo)入測(cè)試用例，手動(dòng)地設(shè)計(jì)測(cè)試用例外，Tessy 集成了CTE 軟件，根據(jù)分類樹的方法通過(guò)Tessy 輔助測(cè)試人員完成測(cè)試用例的輸入。

　　•測(cè)試報(bào)告生成

　　Tessy 支持測(cè)試數(shù)據(jù)管理，并將測(cè)試結(jié)果文檔化，通過(guò)輸入?yún)?shù)/ 執(zhí)行測(cè)試，自動(dòng)評(píng)估測(cè)試結(jié)果。Tessy 可以生成詳細(xì)的測(cè)試報(bào)告、概況報(bào)告及覆蓋度報(bào)告等。

　　•顯示測(cè)試覆蓋度：

　　Tessy 提供分支覆蓋、多條件覆蓋MCC (Multiple ConditionCoverage) 和修正條件判定覆蓋MC/DC(Modified Codition/Decision Coverage)等。