使用TPT進行測試建模/測試設計

TPT中的測試用例用信號特征和函數調用描述被測系統的刺激。您可以用連續的測試步驟對簡單的測試進行建模。對于更復雜的測試用例，TPT提供了混合狀態機和測試步驟的圖形化建模。無論應用哪種方法，由于使用了自然語言，測試用例都很容易閱讀和維護。

時域信號特征可以通過公式、表格或外部測量數據生成。分層和并行行為都可以用TPT建模。

從單個測試模型中，您可以通過組合不同的狀態變量，快速而輕松地創建大量有意義的測試用例。TPT還提供了許多自動測試生成方法，以支持您對測試進行建模。

TPT中的測試用例是反應性的，也就是說，您可以在建模期間指定當給定或缺失某些先決條件時，在某個狀態中應該發生什么。您還可以指定何時進入狀態，以及在轉換期間是否調整值。

TPT支持多種測試方法。功能黑盒測試、結構或白盒測試、模塊測試、集成測試:所有這些測試方法都可以很容易地用TPT建模。例如，TPT支持等價類測試，包括邊界值測試的特殊情況、接口測試、基于需求的測試或故障注入測試。測試執行很容易，甚至可以在不同的環境中按需要的頻率重復，這樣就可以輕松地執行回歸測試和背靠背測試。

圖1. 步驟列表生成測試用例

圖2. 步驟列表生成測試用例

步驟列表生成測試用例

什么是測試步驟列表？

測試步驟由一系列命令組成。這些序列是連續地或并行地處理的。

您可以使用層次結構、條件語句、并行序列、反應性行為或循環對測試步驟進行建模。

信號是通過賦值、依賴時間的合成函數或輸入的測量數據來定義的。您可以嵌入或鏈接各種文件格式的測量數據，如測試步驟列表中*.csv, *.dat, *.mat, *.mf4, *.mdf, *.tptbin 或 *.xls等格式的文件。

圖3. 使用比較步驟檢查條件是否為真

圖4. 同時運行測試步驟

圖5. 測試步驟列表中的簡單表步驟

圖6. 禁用步驟列表中的測試步驟

圖7. 更改參數值

狀態機測試用例的搭建

為了圖形化地建模測試，TPT使用了擴展的狀態轉換圖，稱為狀態機（automatons）。狀態機圖形化地指定哪些狀態和階段是測試的一部分，一個狀態消耗了多少時間，以及在哪些條件下狀態可能改變。

狀態序列的不同組合、狀態的變體以及轉換條件構成了單獨的測試用例。這些單獨的測試用例并不是獨立的，而是在一個聯合的模型中呈現出來的，在這個模型中，測試用例之間的相似性和差異性都非常明顯。此外，通過這種方式，測試人員可以獲得已測試和未測試方面的詳細概述。

圖8.使用TPT對測試階段進行建模

圖9. 分層級的狀態機

圖10.將TPT測試建模為并行狀態機

圖11. 設置狀態和轉換的變體