Spec Explorer 2010 3.2发布了!

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天试用版可以下载。


Spec Explorer在线课程

Channel 9上现在有完整的使用Spec Explorer进行基于模型测试的在线视频课程了!这是Spec Explorer美国团队的架构师Wolfgang和高级项目经理Nico在Redmond微软总部为期两天半的课程录像。 整个培训课程长达8小时,我们将其分成了四节课,每节课有四部分。 课程1 课程2 课程3 课程4 屏幕截图可能不够清晰,我们以后将用更高清晰度的录像代替,希望大家理解

1