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