Tessy是一個(gè)專(zhuān)門(mén)針對(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ú)立成為專(zhuān)業(yè)的軟件測(cè)試工具公司Razorcat,由德國(guó)Hitex負(fù)責(zé)銷(xiāo)售及技術(shù)支持服務(wù)。
北京經(jīng)緯恒潤(rùn)作為Hitex/Razorcat公司的中國(guó)合作伙伴,將為中國(guó)汽車(chē)客戶(hù)提供Tessy軟件及軟件測(cè)試服務(wù)。
產(chǎn)品介紹
在以V模型為例的開(kāi)發(fā)模式中,Tessy主要應(yīng)用在單元/模塊測(cè)試,集成/組件測(cè)試。在V模型的開(kāi)發(fā)模式中,單元測(cè)試是第一個(gè)動(dòng)態(tài)測(cè)試活動(dòng)。通過(guò)函數(shù)級(jí)測(cè)試,有效檢查出每一類(lèi)錯(cuò)誤,比如算法錯(cuò)誤、邊界控制錯(cuò)誤、數(shù)據(jù)溢出等。通過(guò)單元測(cè)試,可以盡可能早得發(fā)現(xiàn)Bug,防止到后面的測(cè)試過(guò)程或者到最終用戶(hù)那里才被發(fā)現(xiàn)。在整個(gè)項(xiàng)目開(kāi)發(fā)測(cè)試周期中,越早發(fā)現(xiàn)Bug越好,事實(shí)證明,開(kāi)展詳盡規(guī)范的單元測(cè)試能夠有效減少系統(tǒng)測(cè)試和回歸測(cè)試時(shí)間,降低開(kāi)發(fā)成本。
另外,Tessy也可以滿(mǎn)足各類(lèi)標(biāo)準(zhǔn)(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車(chē)SPiCE或FDA的軟件驗(yàn)證通用原則)對(duì)測(cè)試的需求,比如ISO26262中各個(gè)測(cè)試等級(jí)中對(duì)模塊測(cè)試的要求可以使用Tessy來(lái)滿(mǎn)足,當(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è)試用例模板,幫助客戶(hù)提高測(cè)試用例設(shè)計(jì)效率。
多種測(cè)試用例確定方式
除了可以在簡(jiǎn)潔的界面中手動(dòng)輸入測(cè)試用例之外,還支持從Excel中導(dǎo)入測(cè)試數(shù)據(jù),也可以通過(guò)腳本編輯器編寫(xiě)測(cè)試用例。另外,Tessy里集成了CTE軟件,根據(jù)分類(lèi)樹(shù)的方法,將每個(gè)接口的等價(jià)類(lèi)進(jìn)行劃分,半自動(dòng)化的生成測(cè)試用例,降低用例冗余度,提高測(cè)試效率。
用例設(shè)計(jì)
用例腳本編輯器
CTE分類(lèi)樹(shù)設(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í)行不需要用戶(hù)介入的回歸測(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è)試報(bào)告,Tessy提供輸入參數(shù)/執(zhí)行測(cè)試和評(píng)估結(jié)果和報(bào)告文檔,Tessy可以生成各種類(lèi)型的測(cè)試報(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是通過(guò)測(cè)試應(yīng)用程序來(lái)獲取測(cè)試覆蓋信息的。
故障注入測(cè)試
故障注入可以實(shí)現(xiàn)傳統(tǒng)方法無(wú)法實(shí)現(xiàn)的測(cè)試用例輸入,例如跳出無(wú)限循環(huán),先寫(xiě)后讀功能以及防御性編程測(cè)試。可以在選定的分支位置注入專(zhuān)用的測(cè)試代碼,以便可以操縱決策結(jié)果。這確保了正確的操作以及正常的測(cè)試用例不會(huì)由故障注入引起副作用。
支持測(cè)試用例有效性自動(dòng)評(píng)估
除了傳統(tǒng)的測(cè)試用例執(zhí)行結(jié)果統(tǒng)計(jì)和覆蓋率統(tǒng)計(jì),TESSY還支持自動(dòng)化的用例有效性評(píng)估,檢驗(yàn)測(cè)試用例對(duì)邊界測(cè)試和特殊場(chǎng)景的覆蓋情況,防止由于測(cè)試用例不充分對(duì)測(cè)試效果的影響,影響程序運(yùn)行可靠性。同時(shí),對(duì)于測(cè)試項(xiàng)目管理者來(lái)說(shuō),也可以通過(guò)該指標(biāo)對(duì)團(tuán)隊(duì)的整個(gè)測(cè)試結(jié)果有更全面的了解和把控。
支持各種開(kāi)發(fā)環(huán)境
Tessy現(xiàn)在可以支持超過(guò)130種微控制器、編譯器和調(diào)試器的組合;這確保了Tessy能夠處理交叉編譯器生成的非標(biāo)準(zhǔn)C(ANSI-C)微控制器特定的代碼;一旦Tessy和不同的開(kāi)發(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)度。
應(yīng)用 & 案例
Tessy被廣泛應(yīng)用于汽車(chē)、鐵路、醫(yī)療和工業(yè)應(yīng)用領(lǐng)域當(dāng)中,眾多汽車(chē)整車(chē)廠、零部件供應(yīng)商都在使用Tessy。
汽車(chē)行業(yè)
安全關(guān)鍵性領(lǐng)域
醫(yī)療行業(yè)、白色家電等領(lǐng)域
相關(guān)鏈接 (直接點(diǎn)擊進(jìn)入)
1 | MACH SYSTEMS—總線(xiàn)接口轉(zhuǎn)換工具 |
2 | Stimulus—需求形式化建模和分析工具 |
3 | Cotherm 多物理場(chǎng)耦合方案 |
4 | Cradle CFD—專(zhuān)業(yè)熱流場(chǎng)分析工具 |
5 | TAITherm座艙熱管理與續(xù)航里程 |
6 | Twin Builder——系統(tǒng)級(jí)多物理域數(shù)字孿生平臺(tái) |
經(jīng)緯恒潤(rùn)通過(guò)與IBM、Dassault、ANSYS等知名工業(yè)軟件廠商合作,為用戶(hù)提供汽車(chē)電子領(lǐng)域數(shù)十種研發(fā)工具,并通過(guò)在研發(fā)流程、建模仿真、測(cè)試驗(yàn)證、平臺(tái)建設(shè)等領(lǐng)域的定制開(kāi)發(fā)和技術(shù)服務(wù),助力用戶(hù)實(shí)現(xiàn)研發(fā)的流程化、數(shù)字化、智能化和平臺(tái)化,提升產(chǎn)品研發(fā)效率和市場(chǎng)競(jìng)爭(zhēng)力。
-
測(cè)試
+關(guān)注
關(guān)注
8文章
5382瀏覽量
127073
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論