Spec Explorer 2010

清华大学出版社出版的《软件测试实战教程》讲到了Spec Explorer 2010。

Spec Explorer 2010

Spec Explorer 2010是Visual Studio 2010的扩展。

UML Extension For Spec Explorer 2010

2011/1/10微软发布了UML Extension For Spec Explorer 2010 V3.4。UML Extension For Spec Explorer 2010 是Spec Explorer 2010的扩展。它在Visual Studio的UML建模和基于模型（图形模型或文本模型）的测试之间架起了一座桥梁。当前的版本允许使用序列图，序列图定义了类似于Spec Explorer中的toCord场景的工件。

用户可以使用序列图分割现有模型，也可以将其作为独立源来验证现有系统。用户必须安装spec Explorer 2010才能使用此扩展。

UML扩展支持两个主要的测试目的：1）从序列图进行测试，2）使用序列图分割模型。UML Extension For Spec Explorer 2010安装包含了两个演示测试目的的示例和一个用户指南。

微软也提供了一个插件网站https://marketplace.visualstudio.com/，  在这个网站可以找到Visual Studio的插件。上面的两个插件都可以在这个网站找到。