Compartilhar via


Spec Explorer 2010 3.1发布了!

朋友们好,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在线帮助