BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

用Spec Explorer进行基于模型的测试

| 作者 朱永光 关注 0 他的粉丝 发布于 2009年11月17日. 估计阅读时间: 2 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

昨天,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 2008Visual 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命名空间的功能。

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT