Spec Explorer 2010 3.3版成为Visual Studio Power Tool


我们非常高兴的宣布Spec Explorer发布了3.3版本,该版本从DevLab迈向了Visual Studio Power Tool,您可以在Visual Studio Gallery中找到我们新的主页

Spec Explorer 2010包含了新的功能,持续改进的文档,以及多于100个bug的修正。

3.3版本包含以下功能:

  • 实时测试

实时测试功能让用户可以直接使用模型进行测试,而无需生成测试代码。Action的选择将由适配器和待测系统共同决定。

  • 状态搜索

用户可以在探索结果图上搜索状态,从一定程度上解决了模型难以调试的问题。

  • probe记录

probe的值将会被生成到测试代码中,用户可以通过观察测试日志中的probe信息分析测试过程,解决了之前只有状态ID难以分析的问题。

  • 测试方法定制

通过使用新的定制开关,用户可以选择生成测试方法的返回值,返回类型甚至声称静态测试方法。该功能使得Spec Explorer可以生成适用于更多测试平台的代码,而非局限于Visual Studio的测试环境。

另外,我们也发布了Spec Explorer的UML扩展包,支持通过一个Sequence Diagram进行基于模型的测试。

以下是最新版本的链接:

Spec Explorer主页

Release Notes

论坛

英文blog

MSDN文档

Spec Explorer 2010 3.3只能在Visual Studio 2010 professional版或以上版本使用,您可以通过这里得到Visual Studio 2010的90天试用版。

希望您能够喜欢我们最新的Spec Explorer版本,也欢迎您提出宝贵的意见和建议,让我们能够在未来发布更好的产品。


Skip to main content