大规模视频网站的计费与流量管理
本次分享将会就大规模视频网站的计费与流量管理这个话题，从操作层面细细进行讲解和分析，为系统工程师们揭示平日里我们没有关心的另一些内容。同时也希望本次分享能揭示行业中的一些“潜规则”，让互联网行业的流量与带宽管理更为开放与简洁。
本次演讲视频录制于QCon杭州2011。
新闻
该内容已经被标记书签！
标记书签错误，请重试！
用Spec Explorer进行基于模型的测试
作者 朱永光 发布于 2009年11月16日
昨天，Spec Explorer中国团队在blogs.msdn.com的第一篇博客文章中，简要介绍了什么是Spec Explorer，为什么要用Spec Explorer，以及它的发展历史。
Spec Explorer是微软研究院研发的一款基于模型的测试工具。
可以自动探索规格说明（即Specification，简称Spec）的所有潜在行为，并将其行为模型表示为状态机。
由于状态机工具常常会引起状态信息爆炸的问题，所以Spec Explorer附带了一个名为Cord的语言对这些信息进行过滤整理，以得到最需要的部分。
之前它已经作为内部工具在微软内部大量使用，现在Spec Explorer团队公开发布了Spec Explorer 2010——一个可以和Visual Studio紧密集成的工具：
用户可以通过Spec Explorer对一个软件系统的期望行为进行建模，并自动生成能够在Visual Studio的测试框架下运行的测试代码。
Spec Explorer分别提供了Visual Studio 2008和Visual Studio 2010的版本，同时也提供了详细的文档供大家学习使用，还有介绍视频，对核心作者的访谈。
另外，Spec Explorer在MSDN上建立了单独的论坛供大家交流使用经验，并向微软反馈意见。下面几个论坛上的问答，对大家了解Spec Explorer的一些特性可能有所帮助：
Q：VB.NET是否能使用Spec Explorer？A：可以的。Spec Explorer浏览检测的是CLR指令。所以不管用什么语言来编写源代码都可以。
Q：Cord是否有设计视图？
A：在目前的版本中，还没有。不过，可以用“Exploration Manager”代替它。
Q：是否可以用来测试用例？
A：理论上可行的。只要实现了用例所涉及的动作，就可以用Spec Explorer对其建模，测试是否符合设计规格。
Q：是否可以用来测试应用程序的UI？
A：可以的。关键问题是要调用一个可以自动驱动UI的函数库。如果对于WPF开发的UI话，可以利用System.Windows.Automation命名空间的功能。
朱永光 是IT自由人和环境保护者，微软最有价值专家（MVP）和MCSD。
没有回复
关注此讨论 回复