產(chǎn)品概述

Tessy源自戴姆勒—奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，由德國(guó)Hitex公司負(fù)責(zé)銷售及技術(shù)的支持服務(wù)，是一款專門針對(duì)嵌入式軟件進(jìn)行單元/集成測(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)用在汽車電子客戶中。

產(chǎn)品介紹

主要特點(diǎn)

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

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

主要功能

? 自動(dòng)生成測(cè)試環(huán)境、一鍵執(zhí)行及評(píng)估結(jié)果

Tessy可以自動(dòng)生成驅(qū)動(dòng)程序、樁函數(shù)，幫助測(cè)試人員提高單元測(cè)試效率。

Tessy支持一鍵執(zhí)行測(cè)試，并自動(dòng)對(duì)測(cè)試結(jié)果進(jìn)行評(píng)估，可生成多種形式的報(bào)告。

?便捷的測(cè)試用例設(shè)計(jì)方式

除軟件界面手動(dòng)設(shè)計(jì)測(cè)試用例外，Tessy還支持導(dǎo)入導(dǎo)出多種格式的測(cè)試用例。另外，Tessy集成了分類樹編輯器CTE，有效利用等價(jià)類劃分以及邊界值法，輔助設(shè)計(jì)出更有效的測(cè)試用例。

?高度自動(dòng)化的回歸測(cè)試

Tessy通過(guò)分析源文件自動(dòng)識(shí)別函數(shù)及相關(guān)接口。在接口發(fā)生變更時(shí)，支持通過(guò)簡(jiǎn)便的操作進(jìn)行測(cè)試數(shù)據(jù)復(fù)用，保證便捷有效的回歸測(cè)試。

?測(cè)試覆蓋度分析

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

?故障注入測(cè)試

可以實(shí)現(xiàn)傳統(tǒng)方法無(wú)法實(shí)現(xiàn)的測(cè)試用例輸入，例如跳出無(wú)限循環(huán)，先寫后讀功能以及防御性編程測(cè)試。

?測(cè)試的需求可追溯

支持導(dǎo)入多種格式需求、管理需求并實(shí)現(xiàn)測(cè)試用例與需求的關(guān)聯(lián)。

?支持多種開發(fā)環(huán)境下PIL測(cè)試

支持與常見(jiàn)嵌入式環(huán)境進(jìn)行集成實(shí)現(xiàn)在板測(cè)試，且環(huán)境接口對(duì)用戶開放。

應(yīng)用案例

汽車行業(yè)

安全關(guān)鍵模塊

審核編輯 黃宇