Spec Explorer 2010 3.2发布了！

  • Article

Spec Explorer 2010 发布最新的3.2版本了。

新的Spec Explorer较前一版本又新增和改善了一些功能，改进了文档，并修正了超过110个bug。新版Spec Explorer运行在Visual Studio 2010 Professional及以上版本。

新功能概述：

  • New Model Wizard

新的建模向导将旧有的基本解决方案(Spec Explorer Base Solution)模板和模型工程（Spec Explorer Model Project）模板进行了整合，使用者可以更方便的新建和添加Spec Explorer工程。

  • Choice API

Choice API对建模待测试系统的非确定性行为进行了更好的支持。使用者不再需要把一个Action拆分成调用和返回两个方法，而是在一个方法内部通过使用Choice API对待测试系统可能存在多个响应的情况进行建模。

  • SpecExplorer.exe

新的SpecExplorer.exe将支持最新的探索结果格式，并对用户定制的Post-Exploration任务扩展进行了支持。

  • Improved Documentation

Spec Explorer的文档持续更新中，在3.2中尤其更新了Cord脚本语言的描述。

Spec Explorer可以从微软DevLabs的主页进行下载。

浏览最新的Release Notes获得更详细的关于安装，功能和已知问题的信息。
更多的信息请浏览Spec Explorer论坛，团队博客（中文/英文），和MSDN在线帮助

需要注意的是，Spec Explorer 2010 3.2版本只能运行在Visual Studio 2010的发行版本上，而不能运行于Visual Studio2010的Beta 1, Beta 2和Release Candidate版本，以及Visual Studio 2008的任何版本。Visual Studio 2010的90天试用版可以下载。