產(chǎn)品概述
Tessy源自戴姆勒—奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，由德國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è)試通過運(yùn)行代碼檢測(cè)出函數(shù)中錯(cuò)誤，比如算法錯(cuò)誤、接口問題等；集成測(cè)試則在單元測(cè)試的基礎(chǔ)上驗(yàn)證單元之間接口的正確性?；谠皆绨l(fā)現(xiàn)bug開發(fā)成本越低的原則，在進(jìn)行代碼功能驗(yàn)證的過程中，按照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本身也通過了TUV的認(rèn)證，證明該軟件是安全可靠的，可以在安全相關(guān)的軟件研發(fā)過程中使用。
· 主要功能
① 自動(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通過分析源文件自動(dòng)識(shí)別函數(shù)及相關(guān)接口。在接口發(fā)生變更時(shí)，支持通過簡(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)方法無法實(shí)現(xiàn)的測(cè)試用例輸入，例如跳出無限循環(huán)，先寫后讀功能以及防御性編程測(cè)試。
⑥ 測(cè)試的需求可追溯
支持導(dǎo)入多種格式需求、管理需求并實(shí)現(xiàn)測(cè)試用例與需求的關(guān)聯(lián)。
⑦ 支持多種開發(fā)環(huán)境下PIL測(cè)試
支持與常見嵌入式環(huán)境進(jìn)行集成實(shí)現(xiàn)在板測(cè)試，且環(huán)境接口對(duì)用戶開放。
應(yīng)用案例
· 汽車行業(yè)
· 安全關(guān)鍵模塊
