欢迎访问Spec Explorer中文博客 https://blogs.msdn.com/sechina/

  • Article

    Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。用户可以通过Spec Explorer对一个软件系统的期望行为进行建模，并自动生成能够在Visual Studio的测试框架下运行的测试代码。模型可以用当前主流的程序设计语言C#开发，然后通过Cord语言脚本对模型进行配置和裁剪。

    我们用Spec Explorer这个名字是因为该工具可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。一次探索的输出有可能非常巨大，所以Spec Explorer提供了Cord语言对输出进行裁剪，并选出测试中真正关心的场景。如果你曾经接触过其他使用状态机的工具，你会发现Spec Explorer能够高效的解决状态爆炸的问题。

    Spec Explorer 最初来自于微软研究院的科研项目，现已发展成为基于模型测试的工具族中最新和最强大的工具。Spec Explorer由属于微软中国研发集团服务器与开发工具事业部的团队和微软总部团队共同进行研发和技术支持。

 

image

中国团队

image

美国团队

 

    Spec Explorer已经被大量用于微软内部技术团队的测试，并已在Windows协议测试工程（超过两百工程师参与并协同工作）中取得了巨大成功。

    Spec Explorer 2010在近期已经通过MSDN DevLabs对外发布。我们将使用这个Spec Explorer中文博客发表技术文章，与中国的开发人员们分享心得体会，希望大家能够下载并试用Spec Explorer，并通过MSDN论坛或者博客给予反馈，帮助我们更好的改进产品。

 

                                                                                                                                                                                                                        李想