TeemuKanstrén是一名科學(xué)家，目前在芬蘭VTT技術(shù)研究中心工作，他還是多倫多大學(xué)的一名客座博士后。他的工作涉及：以改進(jìn)行業(yè)現(xiàn)狀，和生產(chǎn)實(shí)際有用的解決方案并幫助行業(yè)伙伴接受采納它們?yōu)槟康牡淖詣?dòng)化測(cè)試領(lǐng)域的研究和開(kāi)發(fā)。他軟件行業(yè)工作了好幾年，已幫助眾多合作伙伴開(kāi)發(fā)和采用以基于模型的測(cè)試技術(shù)為基礎(chǔ)的測(cè)試自動(dòng)化解決方案。他是開(kāi)源的基于模型的測(cè)試工具OSMO Tester的主要?jiǎng)?chuàng)造者。2010年他獲得了芬蘭大學(xué)測(cè)試自動(dòng)化和基于模型的測(cè)試的博士學(xué)位。

　　介紹
　　測(cè)試設(shè)計(jì)是測(cè)試過(guò)程中重要的部分之一。一個(gè)好的測(cè)試用例不僅要為被測(cè)系統(tǒng)（ SUT ）提供一些輸入，還要驗(yàn)證系統(tǒng)是否如預(yù)期進(jìn)行。也是說(shuō)，它有助于確認(rèn)利益相關(guān)者要求得以實(shí)現(xiàn)。但測(cè)試設(shè)計(jì)可以做的遠(yuǎn)不止這些。理想情況下，測(cè)試設(shè)計(jì)有助于溝通兩方對(duì)這些需求的理解，驗(yàn)證他們能被正確實(shí)施，并引發(fā)對(duì)利益相關(guān)者可能增加的更大價(jià)值的討論。
　　基于模型的測(cè)試（MBT）（下文都簡(jiǎn)稱(chēng)為：基模測(cè)試）是一種技術(shù)，有時(shí)被標(biāo)榜為“自動(dòng)化測(cè)試設(shè)計(jì)”。雖然一定程度上這并沒(méi)有錯(cuò)，但它或許會(huì)給人以錯(cuò)誤的印象�；�模測(cè)試工具從一個(gè)由用戶指定的測(cè)試模型生成測(cè)試用例。沒(méi)有測(cè)試模型，該工具無(wú)法生成任何測(cè)試用例。沒(méi)有好的測(cè)試模型，該工具無(wú)法生成好的測(cè)試用例。因此，基模測(cè)試?yán)�，任�?wù)從測(cè)試設(shè)計(jì)變成了測(cè)試模型設(shè)計(jì)。不是設(shè)計(jì)單個(gè)測(cè)試集，我們?cè)O(shè)計(jì)了一個(gè)用于生成任何數(shù)量的測(cè)試用例的測(cè)試模型。

　　例子
　　為了給這個(gè)概念提供一個(gè)具體的理解，首先我們舉一個(gè)簡(jiǎn)單的例子。這里所說(shuō)的例子使用OSMO Tester MBT生成器的符號(hào)，它基于Java編程語(yǔ)言。這種情況下，測(cè)試模型是使用標(biāo)準(zhǔn)的Java編程語(yǔ)言結(jié)構(gòu)編寫(xiě)的，但卻被設(shè)計(jì)成被另一個(gè)稱(chēng)作測(cè)試生成器的程序以不同的方式執(zhí)行，以生成測(cè)試用例。有時(shí)候，這種模型被稱(chēng)為模型程序。
　　圖1舉了一個(gè)簡(jiǎn)化電信系統(tǒng)（其中多個(gè)移動(dòng)終端被連接（注冊(cè)）到潛在多個(gè)服務(wù)器之一上，彼此相互調(diào)用）的這種符號(hào)的例子。
其他類(lèi)似工具用于各種其他平臺(tái)，比如Python （PyModel）和．NET （Spec Explorer， NModel）。其他基于Java的工具和符號(hào)，包括ModelJUnit和Conformiq Designer。許多工具也定義了自己的建模語(yǔ)言，并提供一種方法將模型以不同的方式進(jìn)行可視化。
　　根據(jù)用戶的喜好，可以選擇不同的工具提供一個(gè)熟悉的工作環(huán)境以及不同的算法和不同的特征等。
　　[BINDER]中可找到一個(gè)MBT工具列表。

圖1.模型程序示例