Tessy是一個(gè)專門針對(duì)嵌入式軟件的C/C++代碼進(jìn)行單元、集成測(cè)試的工具，它可以自動(dòng)化地執(zhí)行測(cè)試、評(píng)估測(cè)試結(jié)果并生成測(cè)試報(bào)告。Tessy的目標(biāo)就是：通過(guò)自動(dòng)化整個(gè)測(cè)試周期，完美支持針對(duì)C語(yǔ)言的單元測(cè)試/集成測(cè)試，同時(shí)，Tessy也同樣關(guān)注測(cè)試組織和測(cè)試管理。
Tessy軟件源自戴姆勒-奔馳公司的軟件技術(shù)實(shí)驗(yàn)室，在戴姆勒-奔馳公司得到廣泛的使用，1997年之后獨(dú)立成為專業(yè)的軟件測(cè)試工具公司Razorcat，由德國(guó)Hitex負(fù)責(zé)全球銷售及技術(shù)支持服務(wù)。經(jīng)緯恒潤(rùn)作為Hitex/Razorcat公司的中國(guó)合作伙伴，將為中國(guó)汽車客戶提供Tessy軟件及軟件測(cè)試服務(wù)。
產(chǎn)品介紹
在以V模型為例的開發(fā)模式中，Tessy主要應(yīng)用在單元/模塊測(cè)試，集成/組件測(cè)試。在V模型的開發(fā)模式中，單元測(cè)試是第一個(gè)動(dòng)態(tài)測(cè)試活動(dòng)。通過(guò)函數(shù)級(jí)測(cè)試，有效檢查出每一類錯(cuò)誤，比如算法錯(cuò)誤、邊界控制錯(cuò)誤、數(shù)據(jù)溢出等。通過(guò)單元測(cè)試，可以盡可能早得發(fā)現(xiàn)Bug，防止直到后面的測(cè)試過(guò)程或者直到用戶那里才被發(fā)現(xiàn)。在整個(gè)項(xiàng)目開發(fā)測(cè)試周期中，越早發(fā)現(xiàn)Bug越好，事實(shí)證明，開展詳盡規(guī)范的單元測(cè)試能夠有效減少系統(tǒng)測(cè)試和回歸測(cè)試時(shí)間，降低開發(fā)成本。
另外，Tessy也可以滿足各類標(biāo)準(zhǔn)（ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗(yàn)證通用原則）對(duì)測(cè)試的需求，比如ISO26262中各個(gè)測(cè)試等級(jí)中對(duì)模塊測(cè)試的要求可以使用Tessy來(lái)滿足，當(dāng)然Tessy本身也通過(guò)了Tuev的認(rèn)證，可以在安全相關(guān)性的軟件研發(fā)過(guò)程中被使用。
主要功能
· 自動(dòng)生成測(cè)試環(huán)境
Tessy可以自動(dòng)生成測(cè)試環(huán)境驅(qū)動(dòng)，選擇自動(dòng)或者手動(dòng)打樁以及自動(dòng)生成測(cè)試用例模板，幫助客戶提高測(cè)試用例設(shè)計(jì)效率。
· 多種測(cè)試用例確定方式
除了可以在簡(jiǎn)潔的界面中手動(dòng)輸入測(cè)試用例之外，還支持從Excel中導(dǎo)入測(cè)試數(shù)據(jù)，也可以通過(guò)腳本編輯器編寫測(cè)試用例。另外，Tessy里集成了CTE軟件，根據(jù)分類樹的方法，將每個(gè)接口的等價(jià)類進(jìn)行劃分，半自動(dòng)化的生成測(cè)試用例，降低用例冗余度，提高測(cè)試效率。
用例設(shè)計(jì)
用例腳本編輯器
CTE分類樹設(shè)計(jì)
· 支持動(dòng)態(tài)測(cè)試的各階段
Tessy可以支持從單元測(cè)試到系統(tǒng)測(cè)試的動(dòng)態(tài)測(cè)試過(guò)程各個(gè)階段，通過(guò)單元測(cè)試檢查每個(gè)函數(shù)的功能完整性，通過(guò)集成測(cè)試對(duì)各個(gè)子模塊進(jìn)行功能驗(yàn)證以及模塊間接口測(cè)試，可以通過(guò)與目標(biāo)板集成進(jìn)行系統(tǒng)功能驗(yàn)證。
另外Tessy可以自動(dòng)識(shí)別被測(cè)對(duì)象的接口變更，提示我們需要更新測(cè)試用例；版本迭代時(shí)，可重用測(cè)試用例和測(cè)試數(shù)據(jù)，節(jié)約大量回歸測(cè)試需要的工作和時(shí)間，在接口不變的情況下Tessy可以自動(dòng)化地執(zhí)行不需要用戶介入的回歸測(cè)試。
· 全自動(dòng)地測(cè)試執(zhí)行及評(píng)估
Tessy檢查源文件并且通過(guò)分析程序代碼來(lái)確定函數(shù)以及他們的接口，這些信息將被保存在特定的數(shù)據(jù)庫(kù)中供隨時(shí)檢索，接口信息和測(cè)試數(shù)據(jù)的分離實(shí)現(xiàn)了結(jié)構(gòu)和數(shù)據(jù)之間的明確劃分，一方面，接口的測(cè)試使顯示變化成為可能，另一方面，如果發(fā)生變化，通常也只有要測(cè)試的函數(shù)接口的幾個(gè)元素要發(fā)生變化，在Tessy中接口發(fā)生變化時(shí)的處理相當(dāng)簡(jiǎn)單；
· 測(cè)試報(bào)告生成
管理測(cè)試數(shù)據(jù)并將測(cè)試結(jié)果文檔，Tessy提供輸入?yún)?shù)/執(zhí)行測(cè)試和評(píng)估結(jié)果和報(bào)告文檔，Tessy可以生成各種類型的測(cè)試報(bào)告，包括詳細(xì)報(bào)告、概況報(bào)告以及覆蓋度報(bào)告等。
· 覆蓋率統(tǒng)計(jì)
Tessy提供C0覆蓋，即語(yǔ)句覆蓋statement coverage；C1覆蓋，即分支覆蓋branch coverage或者判定覆蓋decision coverage ；條件覆蓋，即多條件覆蓋MCC( Multiple Condition Coverage)和修正條件判定覆蓋MC/DC（Modified Condition/Decision Coverage），Tessy是通過(guò)測(cè)試應(yīng)用程序來(lái)獲取測(cè)試覆蓋信息的。
對(duì)于集成測(cè)試，Tessy還提供了調(diào)用覆蓋Call pair coverage和函數(shù)覆蓋Function Coverage。
· 測(cè)試工作量評(píng)估與跟蹤
基于函數(shù)中語(yǔ)句、調(diào)用的數(shù)量和嵌套深度，Tessy可以評(píng)估測(cè)試的工作量，并以時(shí)間形式顯示。并且可以追蹤實(shí)際的測(cè)試完成時(shí)間，并在測(cè)試項(xiàng)目視圖中方便地進(jìn)行管理。
· 故障注入測(cè)試
故障注入可以實(shí)現(xiàn)傳統(tǒng)方法無(wú)法實(shí)現(xiàn)的測(cè)試用例輸入，例如跳出無(wú)限循環(huán)，先寫后讀功能以及防御性編程測(cè)試。可以在選定的分支位置注入專用的測(cè)試代碼，以便可以操縱決策結(jié)果。這確保了正確的操作以及正常的測(cè)試用例不會(huì)由故障注入引起副作用。
· 支持各種開發(fā)環(huán)境
Tessy現(xiàn)在可以支持超過(guò)130種微控制器、編譯器和調(diào)試器的組合；這確保了Tessy能夠處理交叉編譯器生成的非標(biāo)準(zhǔn)C（ANSI-C）微控制器特定的代碼；一旦Tessy和不同的開發(fā)環(huán)境完成集成，就可以在實(shí)際芯片中運(yùn)行測(cè)試用例了。
· 支持ASAP2
在Tessy中設(shè)計(jì)測(cè)試用例之前選擇與ASAP2標(biāo)準(zhǔn)的集成功能，確定需要導(dǎo)入的ASAP2文件，使用ASAP2轉(zhuǎn)換規(guī)則自動(dòng)地將測(cè)試用例中設(shè)計(jì)的測(cè)試數(shù)據(jù)物理值轉(zhuǎn)換為在目標(biāo)板中執(zhí)行測(cè)試對(duì)象的整數(shù)值，從而簡(jiǎn)化測(cè)試用例設(shè)計(jì)的理解和實(shí)現(xiàn)，并且可以在Tessy中顯示其他ASAP2信息，例如單位等。
· 插入需求
所有的測(cè)試活動(dòng)都是基于功能規(guī)格和需求變更的。支持插入需求，隨著需求的變化自動(dòng)變更需求版本，實(shí)現(xiàn)需求可溯性。可通過(guò)插入需求宏觀把握測(cè)試工作的進(jìn)度。
聯(lián)系人：經(jīng)緯恒潤(rùn)
地址：北京朝陽(yáng)區(qū)酒仙橋路14號(hào)1幢4層
郵編：100000
電話：010-64840808-6117
傳真：
公司網(wǎng)址：http://www.hirain.com
掃描此二維碼即可訪問(wèn)該空間手機(jī)版
