關(guān)于TESSY:
TESSY作為最早的單元測(cè)試工具之一,是當(dāng)今嵌入式軟件測(cè)試的領(lǐng)先解決方案。TESSY的設(shè)計(jì)目的是支持根據(jù)標(biāo)準(zhǔn)進(jìn)行的開發(fā)和測(cè)試,已經(jīng)成為高質(zhì)量產(chǎn)品和安全關(guān)鍵型應(yīng)用的常用工具。
TESSY實(shí)現(xiàn)了整個(gè)測(cè)試周期的自動(dòng)化,包括在各種目標(biāo)系統(tǒng)上對(duì)C/C++嵌入式軟件進(jìn)行回歸測(cè)試。作為已通過認(rèn)證的測(cè)試工具,TESSY支持所有行業(yè)領(lǐng)先的編譯器、調(diào)試器和微控制器以及主機(jī)模擬。
TESSY具有IEC61508 / ISO26262、IEC62304 和 EN50128 標(biāo)準(zhǔn)要求的安全相關(guān)軟件開發(fā)資質(zhì)。
自動(dòng)化測(cè)試工具TESSY,源自戴姆勒-奔馳公司的軟件技術(shù)實(shí)驗(yàn)室,在戴姆勒-奔馳公司得到廣泛使用。1997年之后獨(dú)立成為專業(yè)的軟件測(cè)試工具公司,Razorcat負(fù)責(zé)全球銷售及技術(shù)支持服務(wù)。
龍智作為TESSY軟件的授權(quán)分銷商,為中國(guó)用戶提供全方位的TESSY軟件服務(wù),包括咨詢、銷售、實(shí)施、培訓(xùn)和技術(shù)支持。點(diǎn)擊咨詢,申請(qǐng)免費(fèi)試用。
單元/集成測(cè)試的關(guān)鍵特點(diǎn):
> 直觀的測(cè)試設(shè)計(jì)和自動(dòng)化工作流程
> 管理、鏈接和追蹤需求
> 在電子表格和用戶代碼中編輯測(cè)試數(shù)據(jù)
> 支持軟件變體測(cè)試
> 故障注入測(cè)試
> 定義基于時(shí)間的組件測(cè)試場(chǎng)景
> 在主機(jī)、模擬器和硬件上執(zhí)行測(cè)試
> 圖形化繪制測(cè)試結(jié)果
> 自動(dòng)代碼訪問(Automatic Code Access)檢查
> 用流程圖的形式分析代碼覆蓋率
> 累計(jì)基于行的超覆蓋率(Hyper Coverage)
> 生成多種格式的定制報(bào)告
> 用于持續(xù)集成的命令行腳本
> 集成分類樹編輯器(CTE)
> 軟件度量的計(jì)算(McCabe)
> 測(cè)試工作估算和跟蹤
> 通過文本測(cè)試腳本審查測(cè)試更改
> 基于更改的回歸測(cè)試
> 自動(dòng)檢查測(cè)試用例質(zhì)量
自動(dòng)化測(cè)試工具TESSY的功能優(yōu)勢(shì):
高效測(cè)試與追溯
TESSY將手動(dòng)任務(wù)量降至最低,使驗(yàn)證過程可擴(kuò)展、透明化且不易出錯(cuò)。TESSY可自動(dòng)化生成測(cè)試規(guī)范、執(zhí)行測(cè)試并生成報(bào)告,從而提供一致的可追溯性,這也是認(rèn)證所必需的。
執(zhí)行需求審查
TESSY提供需求管理功能,通過接口與第三方需求管理工具交互。通過測(cè)試或基于ASCII/PDF的檢查清單和審查協(xié)議,可實(shí)現(xiàn)對(duì)需求的全面覆蓋。
以需求管理工具Jama Connect為例,TESSY支持通用的的交換格式ReqIF來交換需求。TESSY可以在ReqIF文件中記錄鏈接和測(cè)試運(yùn)行的結(jié)果,這樣ReqIF文件可以重新導(dǎo)入Jama Connect。為了進(jìn)行交換,需要在Jama Connect中準(zhǔn)備適當(dāng)?shù)膶傩裕纾私Y(jié)果字段外,通常還需要一個(gè)所謂的驗(yàn)證級(jí)別,指定需求在測(cè)試的哪個(gè)階段被鏈接。
通過故障注入進(jìn)行健壯性測(cè)試
利用TESSY基于源代碼控制流的自動(dòng)故障注入功能,可以對(duì)不可達(dá)的分支和異常運(yùn)行條件進(jìn)行徹底測(cè)試。
兩種測(cè)試編輯方式:圖形用戶界面和文本形式
通過腳本視角,可以對(duì)測(cè)試進(jìn)行文本編輯,也可以用專用的測(cè)試腳本對(duì)更改進(jìn)行審查。所有測(cè)試數(shù)據(jù)都可以從腳本格式轉(zhuǎn)換為TESSY內(nèi)部格式,反之亦然。
這種混合編輯方法提供了最靈活的方式,既可以使用基于表格的專用圖形界面編輯數(shù)百個(gè)測(cè)試數(shù)據(jù)值,又可以在基于ASCII的編輯器中輕松編輯大型分布式的測(cè)試代碼片段。
基于變更的回歸測(cè)試
TESSY可自動(dòng)檢測(cè)源代碼中的更改。基于這些更改,TESSY會(huì)預(yù)分配接口元素并自動(dòng)調(diào)整用戶代碼。為了快速、直接地進(jìn)行回歸測(cè)試,TESSY只會(huì)針對(duì)已更改的代碼執(zhí)行測(cè)試。
使用Jenkins進(jìn)行持續(xù)測(cè)試
TESSY的命令行界面和專用于TESSY的Jenkins插件,讓您可以在Jenkins等持續(xù)集成平臺(tái)上提供強(qiáng)大的測(cè)試設(shè)置。
輕松處理數(shù)據(jù)
舒適的電子表格編輯器帶有問題高亮顯示,并可在分類樹編輯器內(nèi)進(jìn)行訪問,使得數(shù)據(jù)處理變得簡(jiǎn)單。使用多種導(dǎo)入/導(dǎo)出格式,可方便交換測(cè)試數(shù)據(jù)和需求。
持續(xù)調(diào)整適應(yīng)
TESSY支持的編譯器、目標(biāo)調(diào)試器和第三方工具的接口范圍廣泛,并在不斷擴(kuò)大。可根據(jù)需求針對(duì)特定系統(tǒng)、接口或可選功能進(jìn)行調(diào)整。
生成測(cè)試驅(qū)動(dòng)程序
TESSY可自動(dòng)生成完整的測(cè)試框架,包括存根函數(shù)和所有外部引用。
代碼覆蓋率分析
TESSY包含八種不同的覆蓋率測(cè)量方法,可單獨(dú)或根據(jù)規(guī)范和標(biāo)準(zhǔn)進(jìn)行選擇。覆蓋率結(jié)果以圖形流程圖、彩色源代碼視圖以及文本形式呈現(xiàn)。
強(qiáng)大導(dǎo)航功能,通過流程圖可以輕松發(fā)現(xiàn)未顯示的分支,條件則在代碼視圖中突出顯示。
檢測(cè)隱藏或未經(jīng)測(cè)試的源代碼
測(cè)試設(shè)置完成后,代碼訪問 (CA) 功能會(huì)自動(dòng)檢測(cè)哪些代碼行尚未測(cè)試。此外,所有的覆蓋結(jié)果將被累積到超覆蓋 (HC) 中,以顯示任何未覆蓋的源代碼行。
檢測(cè)測(cè)試質(zhì)量
批處理模式下,對(duì)所有已通過的測(cè)試進(jìn)行突變測(cè)試是測(cè)試執(zhí)行的附加選項(xiàng)之一。此外,還可以自動(dòng)使用不同的測(cè)試數(shù)據(jù)模式初始化輸出變量,并檢查測(cè)試中是否存在至少一個(gè)驗(yàn)證。
審核編輯 黃宇
-
嵌入式系統(tǒng)
+關(guān)注
關(guān)注
41文章
3570瀏覽量
129252
發(fā)布評(píng)論請(qǐng)先 登錄
相關(guān)推薦
評(píng)論