Spec Explorer 2010 3.1发布了！

  • Article

朋友们好，Spec Explorer 2010发布新的3.1版本了！

Spec Explorer 2010 3.1版本是基于Visual Studio 2010 RC的，这一版本较前一版本拥有更强大的功能，并修正了超过220个bug。

特别需要注意的是建模属性和建模类都进行了重命名，新的命名将更为准确和清晰。如果用户继续使用过期的旧属性名和类名（例如Microsoft.Modeling.Contracts类），Spec Explorer会产生警告信息。

新增功能概述：

  • Flexible test naming and attributes
    3.1版本引入了新的Cord开关，用于更好的控制测试用例的名称与属性，从而生成基于不同测试框架的测试代码。用户甚至可以使用系统的环境变量或者Spec Explorer的内置变量来给这些开关赋值。
  • Bounded repetition machine
    新的Cord引入了一种新的machine，用于表示重复特定次数范围内的行为。
  • New project creation
    新的Spec Explorer工程创建模板可以创建一个简单的模型工程，该工程可以被添加到已有的解决方案中或者独立成为一个解决方案。
  • Construct tag and switch completion
    Cord目前支持Construct声明和开关声明的自动完成。
  • F1 Help
    在Spec Explorer的任何一个窗口中按下F1键，Visual Studio 2010内置的帮助系统都会显示出相应的帮助信息。
  • Help integration
    Spec Explorer的文档与Visual Studio 2010的帮助管理器整合，同时支持在线MSDN帮助和本地帮助。
  • Exploration progress
    Spec Explorer改进了探索过程中的进度显示。
  • User-customized post processing
    用户可定制Post-Exploration的任务，基于当前探索结果生成报表，报告等自己关心的信息。

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