Tessy — 嵌入式軟件單元測試/ 集成測試工具

        Tessy是一個專門針對嵌入式軟件的C/C++代碼進行單元、集成測試的工具,它可以自動化地執(zhí)行測試、評估測試結(jié)果并生成測試報告。Tessy的目標就是:通過自動化整個測試周期,支持針對C語言的單元測試/集成測試,同時,Tessy也同樣關(guān)注測試組織和測試管理。

        Tessy軟件源自戴姆勒-奔馳公司的軟件技術(shù)實驗室,在戴姆勒-奔馳公司得到廣泛的使用,1997年之后成為專業(yè)的軟件測試工具公司Razorcat,由德國Hitex負責全球銷售及技術(shù)支持服務。北京經(jīng)緯恒潤科技作為Hitex/Razorcat公司的中國合作伙伴,將為中國汽車客戶提供Tessy軟件及優(yōu)秀的軟件測試服務。

產(chǎn)品介紹

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖1        另外,Tessy也可以滿足各類標準(ISO26262、IEC 61508、 EN 50128/50129、 DO-178B、汽車SPiCE或FDA的軟件驗證通用原則)對測試的需求,比如ISO26262中各個測試等級中對模塊測試的要求可以使用Tessy來滿足,當然Tessy本身也通過了Tuev的認證,可以在安全相關(guān)性的軟件研發(fā)過程中被使用。

主要功能

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

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖2?  多種測試用例確定方式

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖3用例設計


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖4用例腳本編輯器


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖5CTE分類樹設計

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

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖6

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

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

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖7

?  測試報告生成

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖8?  覆蓋率統(tǒng)計

        Tessy提供C0覆蓋,即語句覆蓋statement coverage;C1覆蓋,即分支覆蓋branch coverage或者判定覆蓋decision coverage ;條件覆蓋,即多條件覆蓋MCC( Multiple Condition Coverage)和修正條件判定覆蓋MC/DC(Modified Condition/Decision Coverage),Tessy是通過測試應用程序來獲取測試覆蓋信息的。

        對于集成測試,Tessy還提供了調(diào)用覆蓋Call pair coverage和函數(shù)覆蓋Function Coverage。


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖9

?  測試工作量評估與跟蹤

        基于函數(shù)中語句、調(diào)用的數(shù)量和嵌套深度,Tessy可以評估測試的工作量,并以時間形式顯示。并且可以追蹤實際的測試完成時間,并在測試項目視圖中方便地進行管理。


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖10

?  故障注入測試

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖11

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

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖12

?  支持ASAP2

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


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖13

?  插入需求

        測試活動是基于功能規(guī)格和需求變更的。支持插入需求,隨著需求的變化自動變更需求版本,實現(xiàn)需求可溯性。可通過插入需求宏觀把握測試工作的進度。


Tessy — 嵌入式軟件單元測試/ 集成測試工具的圖14

2.jpg

經(jīng)緯恒潤

北京市海淀區(qū)知春路7號致真大廈D座6層

郵箱:market_dept@hirain.com

網(wǎng)址:www.hirain.com

登錄后免費查看全文
立即登錄
App下載
技術(shù)鄰APP
工程師必備
  • 項目客服
  • 培訓客服
  • 平臺客服

TOP