Spec Explorer 2010 3.3版成为Visual Studio Power Tool
我们非常高兴的宣布Spec Explorer发布了3.3版本，该版本从DevLab迈向了Visual Studio Power Tool，您可以在Visual Studio Gallery中找到我们新的主页。
Spec Explorer 2010包含了新的功能，持续改进的文档，以及多于100个bug的修正。
3.3版本包含以下功能：
- 实时测试
实时测试功能让用户可以直接使用模型进行测试，而无需生成测试代码。Action的选择将由适配器和待测系统共同决定。
- 状态搜索
用户可以在探索结果图上搜索状态，从一定程度上解决了模型难以调试的问题。
- probe记录
probe的值将会被生成到测试代码中，用户可以通过观察测试日志中的probe信息分析测试过程，解决了之前只有状态ID难以分析的问题。
- 测试方法定制
通过使用新的定制开关，用户可以选择生成测试方法的返回值，返回类型甚至声称静态测试方法。该功能使得Spec Explorer可以生成适用于更多测试平台的代码，而非局限于Visual Studio的测试环境。
另外，我们也发布了Spec Explorer的UML扩展包，支持通过一个Sequence Diagram进行基于模型的测试。
以下是最新版本的链接：
Spec Explorer 2010 3.3只能在Visual Studio 2010 professional版或以上版本使用，您可以通过这里得到Visual Studio 2010的90天试用版。
希望您能够喜欢我们最新的Spec Explorer版本，也欢迎您提出宝贵的意见和建议，让我们能够在未来发布更好的产品。