PyModel: Model-based testing in Python

http://staff.washington.edu/jon/pymodel/www/，一个Python写的基于模型的测试工具。作者Jonathan Jacky写过基于模型的测试的书Model-based Software Testing and Analysiswith C#，书里面用的是c#的对应工具NModel(SpecExplorer的简化版)。java也有个对应工具叫modeljunit，但印象中这个很一般。

特别要推荐的是Jonathan的报告http://staff.washington.edu/jon/pymodel/talks/pymodel-nwpd10.pdf，把基于模型的测试工具的要点浓缩在30几页ppt里，太牛了。