Tessy是一個(gè)專門針對嵌入式軟件的C/C++代碼進(jìn)行單元、集成測試的工具，它可以自動化地執(zhí)行測試、評估測試結(jié)果并生成測試報(bào)告。

Tessy的目標(biāo)就是：通過自動化整個(gè)測試周期，支持針對C語言的單元測試/集成測試，同時(shí)，Tessy也同樣關(guān)注測試組織和測試管理。

Tessy軟件源自戴姆勒-奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，在戴姆勒-奔馳公司得到廣泛的使用，1997年之后獨(dú)立成為專業(yè)的軟件測試工具公司Razorcat，由德國Hitex負(fù)責(zé)銷售及技術(shù)支持服務(wù)。

北京經(jīng)緯恒潤作為Hitex/Razorcat公司的中國合作伙伴，將為中國汽車客戶提供Tessy軟件及軟件測試服務(wù)。

產(chǎn)品介紹

在以V模型為例的開發(fā)模式中，Tessy主要應(yīng)用在單元/模塊測試，集成/組件測試。在V模型的開發(fā)模式中，單元測試是第一個(gè)動態(tài)測試活動。通過函數(shù)級測試，有效檢查出每一類錯(cuò)誤，比如算法錯(cuò)誤、邊界控制錯(cuò)誤、數(shù)據(jù)溢出等。通過單元測試，可以盡可能早得發(fā)現(xiàn)Bug，防止到后面的測試過程或者到最終用戶那里才被發(fā)現(xiàn)。在整個(gè)項(xiàng)目開發(fā)測試周期中，越早發(fā)現(xiàn)Bug越好，事實(shí)證明，開展詳盡規(guī)范的單元測試能夠有效減少系統(tǒng)測試和回歸測試時(shí)間，降低開發(fā)成本。

另外，Tessy也可以滿足各類標(biāo)準(zhǔn)（ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗(yàn)證通用原則）對測試的需求，比如ISO26262中各個(gè)測試等級中對模塊測試的要求可以使用Tessy來滿足，當(dāng)然Tessy本身也通過了Tuev的認(rèn)證，可以在安全相關(guān)性的軟件研發(fā)過程中被使用。

功能介紹

自動生成測試環(huán)境

Tessy可以自動生成測試環(huán)境驅(qū)動，選擇自動或者手動打樁以及自動生成測試用例模板，幫助客戶提高測試用例設(shè)計(jì)效率。

多種測試用例確定方式

除了可以在簡潔的界面中手動輸入測試用例之外，還支持從Excel中導(dǎo)入測試數(shù)據(jù)，也可以通過腳本編輯器編寫測試用例。另外，Tessy里集成了CTE軟件，根據(jù)分類樹的方法，將每個(gè)接口的等價(jià)類進(jìn)行劃分，半自動化的生成測試用例，降低用例冗余度，提高測試效率。

用例設(shè)計(jì)

用例腳本編輯器

CTE分類樹設(shè)計(jì)

支持動態(tài)測試的各階段

Tessy可以支持從單元測試到系統(tǒng)測試的動態(tài)測試過程各個(gè)階段，通過單元測試檢查每個(gè)函數(shù)的功能完整性，通過集成測試對各個(gè)子模塊進(jìn)行功能驗(yàn)證以及模塊間接口測試，可以通過與目標(biāo)板集成進(jìn)行系統(tǒng)功能驗(yàn)證。

另外Tessy可以自動識別被測對象的接口變更，提示我們需要更新測試用例；版本迭代時(shí)，可重用測試用例和測試數(shù)據(jù)，節(jié)約大量回歸測試需要的工作和時(shí)間，在接口不變的情況下，Tessy可以自動化地執(zhí)行不需要用戶介入的回歸測試。

全自動地測試執(zhí)行及評估

Tessy檢查源文件并且通過分析程序代碼來確定函數(shù)以及他們的接口，這些信息將被保存在特定的數(shù)據(jù)庫中供隨時(shí)檢索，接口信息和測試數(shù)據(jù)的分離實(shí)現(xiàn)了結(jié)構(gòu)和數(shù)據(jù)之間的明確劃分，一方面，接口的測試使首先顯示變化成為可能；另一方面，如果發(fā)生變化，通常也只有要測試的函數(shù)接口的幾個(gè)元素要發(fā)生變化，在Tessy中接口發(fā)生變化時(shí)的處理相當(dāng)簡單。

測試報(bào)告生成

管理測試數(shù)據(jù)并生成在測試報(bào)告，Tessy提供輸入?yún)?shù)/執(zhí)行測試和評估結(jié)果和報(bào)告文檔，Tessy可以生成各種類型的測試報(bào)告，包括詳細(xì)報(bào)告、概況報(bào)告以及覆蓋度報(bào)告等。

覆蓋率統(tǒng)計(jì)

Tessy提供C1覆蓋，即分支覆蓋branch coverage或者判定覆蓋decision coverage ；條件覆蓋，即多條件覆蓋MCC（Multiple Condition Coverage）和修正條件判定覆蓋MC/DC（Modified Condition/Decision Coverage），Tessy是通過測試應(yīng)用程序來獲取測試覆蓋信息的。

故障注入測試

故障注入可以實(shí)現(xiàn)傳統(tǒng)方法無法實(shí)現(xiàn)的測試用例輸入，例如跳出無限循環(huán)，先寫后讀功能以及防御性編程測試。可以在選定的分支位置注入專用的測試代碼，以便可以操縱決策結(jié)果。這確保了正確的操作以及正常的測試用例不會由故障注入引起副作用。

支持測試用例有效性自動評估

除了傳統(tǒng)的測試用例執(zhí)行結(jié)果統(tǒng)計(jì)和覆蓋率統(tǒng)計(jì)，TESSY還支持自動化的用例有效性評估，檢驗(yàn)測試用例對邊界測試和特殊場景的覆蓋情況，防止由于測試用例不充分對測試效果的影響，影響程序運(yùn)行可靠性。同時(shí)，對于測試項(xiàng)目管理者來說，也可以通過該指標(biāo)對團(tuán)隊(duì)的整個(gè)測試結(jié)果有更全面的了解和把控。

支持各種開發(fā)環(huán)境

Tessy現(xiàn)在可以支持超過130種微控制器、編譯器和調(diào)試器的組合；這確保了Tessy能夠處理交叉編譯器生成的非標(biāo)準(zhǔn)C（ANSI-C）微控制器特定的代碼；一旦Tessy和不同的開發(fā)環(huán)境完成集成，就可以在實(shí)際芯片中運(yùn)行測試用例了。

支持ASAP2

在Tessy中設(shè)計(jì)測試用例之前選擇與ASAP2標(biāo)準(zhǔn)的集成功能，確定需要導(dǎo)入的ASAP2文件，使用ASAP2轉(zhuǎn)換規(guī)則自動地將測試用例中設(shè)計(jì)的測試數(shù)據(jù)物理值轉(zhuǎn)換為在目標(biāo)板中執(zhí)行測試對象的整數(shù)值，從而簡化測試用例設(shè)計(jì)的理解和實(shí)現(xiàn)，并且可以在Tessy中顯示其他ASAP2信息，例如單位，最大/最小值等。

插入需求

所有的測試活動都是基于功能規(guī)格和需求變更的。支持插入需求，隨著需求的變化自動變更需求版本，實(shí)現(xiàn)需求可溯性?？赏ㄟ^插入需求宏觀把握測試工作的進(jìn)度。

應(yīng)用 & 案例

Tessy被廣泛應(yīng)用于汽車、鐵路、醫(yī)療和工業(yè)應(yīng)用領(lǐng)域當(dāng)中，眾多汽車整車廠、零部件供應(yīng)商都在使用Tessy。

汽車行業(yè)

安全關(guān)鍵性領(lǐng)域

醫(yī)療行業(yè)、白色家電等領(lǐng)域

相關(guān)鏈接 （直接點(diǎn)擊進(jìn)入）

經(jīng)緯恒潤通過與IBM、Dassault、ANSYS等知名工業(yè)軟件廠商合作，為用戶提供汽車電子領(lǐng)域數(shù)十種研發(fā)工具，并通過在研發(fā)流程、建模仿真、測試驗(yàn)證、平臺建設(shè)等領(lǐng)域的定制開發(fā)和技術(shù)服務(wù)，助力用戶實(shí)現(xiàn)研發(fā)的流程化、數(shù)字化、智能化和平臺化，提升產(chǎn)品研發(fā)效率和市場競爭力。