Spec Explorer 2010 3.5发布了!

我们非常高兴的宣布Spec Explorer 2010 3.5版发布了。 新的3.5版包含了新的功能,持续改进的文档,以及多于60个bug的修正。 3.5版本包含以下功能: 模型更新检查: 模型更新检查能够识别必要的模型更新,从而决定是否重新探索模型。对于特定的machine,如果模型源代码,cord脚本或者模型工程中引用的其他输入文件发生改变,Spec Explorer会开始一次新的探索;否则将会使用已有的探索结果用于显示,测试代码生成或者用户定制处理。Spec Explorer也添加了一个按钮用于强制重新探索。 多machine处理: Spec Explorer加入了对多machine的支持,现在用户可以方便的选定多个machine并进行模型探索,测试代码生成或者用户定制处理的工作。 cord上下文菜单: Spec Explorer对cord脚本加入了"”Go To Definition“这个菜单项,用户可以方便的通过这个菜单项或者快捷键F12导航到相应的cord配置定义或者是machine定义。 以下是最新版本的链接: Spec Explorer主页 Release Notes 论坛 英文blog MSDN文档 Spec Explorer 2010 3.5只能在Visual Studio 2010 professional版或以上版本使用,您可以通过这里得到Visual Studio 2010的90天试用版。 欢迎您提出宝贵的意见和建议!


Spec Explorer 2010 3.4发布了

我们非常高兴的宣布Spec Explorer 2010 3.4版发布了。 新的3.4版包含了新的功能,持续改进的文档,以及多于50个bug的修正。 3.4版本包含以下功能: 动态遍历: 动态遍历提供了一种新的测试用例生成机制,用户可以定制遍历策略,并且在测试运行时对探索结果进行遍历并同时调用相应的测试方法。 验证性能改进: Cord脚本的验证过程性能有了明显改进 部分探索结果呈现: 新版中用户点击Stop按钮或者探索过程超过了配置的时限,Spec Explorer会显示截止目前的探索结果 基于多个namespace / type的模型构建: 新版中模型构建不再只能基于单个namespace / type,改为基于一个逗号分隔的namespace / type 名称列表进行构建 基于完全限定名的静态Action调用: 静态Action调用被加入了完全限定名的支持,在新版中使用者可以使用不同类型的同名静态Action SpecExplorer.exe加入脚本验证任务: 脚本验证任务被加入SpecExplorer.exe 以下是最新版本的链接: Spec Explorer主页 Release Notes 论坛 英文blog MSDN文档 Spec Explorer 2010 3.4只能在Visual Studio 2010 professional版或以上版本使用,您可以通过这里得到Visual Studio 2010的90天试用版。 希望您能够喜欢我们最新的Spec Explorer版本,也欢迎您提出宝贵的意见和建议,让我们能够在未来发布更好的产品。