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 2010 3.5只能在Visual Studio 2010 professional版或以上版本使用，您可以通过这里得到Visual Studio 2010的90天试用版。
欢迎您提出宝贵的意见和建议！