 |
TeemuKanstrén是一名科學家，目前在芬蘭VTT技術研究中心工作，他還是多倫多大學的一名客座博士后。他的工作涉及：以改進行業現狀，和生產實際有用的解決方案并幫助行業伙伴接受采納它們為目的的自動化測試領域的研究和開發。他軟件行業工作了好幾年，已幫助眾多合作伙伴開發和采用以基于模型的測試技術為基礎的測試自動化解決方案。他是開源的基于模型的測試工具OSMO Tester的主要創造者。2010年他獲得了芬蘭大學測試自動化和基于模型的測試的博士學位。
|
介紹
測試設計是測試過程中重要的部分之一。一個好的測試用例不僅要為被測系統（ SUT ）提供一些輸入，還要驗證系統是否如預期進行。也是說，它有助于確認利益相關者要求得以實現。但測試設計可以做的遠不止這些。理想情況下，測試設計有助于溝通兩方對這些需求的理解，驗證他們能被正確實施，并引發對利益相關者可能增加的更大價值的討論。
基于模型的測試（MBT）（下文都簡稱為：基模測試）是一種技術，有時被標榜為“自動化測試設計”。雖然一定程度上這并沒有錯，但它或許會給人以錯誤的印象。基模測試工具從一個由用戶指定的測試模型生成測試用例。沒有測試模型，該工具無法生成任何測試用例。沒有好的測試模型，該工具無法生成好的測試用例。因此，基模測試里，任務從測試設計變成了測試模型設計。不是設計單個測試集，我們設計了一個用于生成任何數量的測試用例的測試模型。
例子
為了給這個概念提供一個具體的理解，首先我們舉一個簡單的例子。這里所說的例子使用OSMO Tester MBT生成器的符號，它基于Java編程語言。這種情況下，測試模型是使用標準的Java編程語言結構編寫的，但卻被設計成被另一個稱作測試生成器的程序以不同的方式執行，以生成測試用例。有時候，這種模型被稱為模型程序。
圖1舉了一個簡化電信系統（其中多個移動終端被連接（注冊）到潛在多個服務器之一上，彼此相互調用）的這種符號的例子。
其他類似工具用于各種其他平臺，比如Python （PyModel）和．NET （Spec Explorer， NModel）。其他基于Java的工具和符號，包括ModelJUnit和Conformiq Designer。許多工具也定義了自己的建模語言，并提供一種方法將模型以不同的方式進行可視化。
根據用戶的喜好，可以選擇不同的工具提供一個熟悉的工作環境以及不同的算法和不同的特征等。
[BINDER]中可找到一個MBT工具列表。
圖1.模型程序示例
