Spec Explorer基于模型的測試工具

Spec Explorer是微軟研究院研發(fā)的一款基于模型的測試工具（非開源）?？梢宰詣?dòng)探索規(guī)格說明（即Specification，簡稱Spec）的所有潛在行為，并將其行為模型表示為狀態(tài)機(jī)。由于狀態(tài)機(jī)工具常常會(huì)引起狀態(tài)信息爆炸的問題，所以Spec Explorer附帶了一個(gè)名為Cord的語言對(duì)這些信息進(jìn)行過濾整理，以得到最需要的部分。之前它已經(jīng)作為內(nèi)部工具在微軟內(nèi)部大量使用，現(xiàn)在Spec Explorer團(tuán)隊(duì)公開發(fā)布了Spec Explorer 2010——一個(gè)可以和Visual Studio緊密集成的工具：用戶可以通過Spec Explorer對(duì)一個(gè)軟件系統(tǒng)的期望行為進(jìn)行建模，并自動(dòng)生成能夠在Visual Studio的測試框架下運(yùn)行的測試代碼。

Spec Explorer分別提供了Visual Studio 2008和Visual Studio 2010的版本，同時(shí)也提供了詳細(xì)的文檔供大家學(xué)習(xí)使用