网上收集的各类MBT资料（不定期更新）

Finite State Model-Based Testing on a Shoestring

http://www.geocities.com/model_based_testing/shoestring.htm

这个例子感觉还是挺容易懂的（99年的东西啊。。。。- -）

Spec Explorer

http://research.microsoft.com/SpecExplorer/

这个是微软的一个工具。 摘录一段话吧，有兴趣的可以去体验一下……（估计我得再过一到两年才能体会微软目前所处的境界。。。）

Spec Explorer is a software development tool for advanced model-based specification and conformance testing. Spec Explorer can help software development teams detect errors in the design, specification and implementation of their systems. The tool is intended to be used by software testers, designers and implementers.

Systematic Model-based Testing of Embedded Conrol Software - The MB3T Approach

http://www.immos-projekt.de/site_immos/download/p2_CFS04.pdf

MBT可不仅仅是给bs cs用的哦。。。（04年的资料）

Model-based Testing of Object-Oriented Systems

http://www4.informatik.tu-muenchen.de/publ/papers/Rum93c.pdf