Spec Explorer 团队博客

基于模型的测试工具

Spec Explorer 2010 3.5发布了!

我们非常高兴的宣布Spec Explorer 2010 3.5版发布了。 新的3.5版包含了新的功能,持续改进的文档,以及多于60个bug的修正。 3.5版本包含以下功能: 模型更新检查:...

Author: Xiang Li Date: 04/18/2011

Spec Explorer 2010 3.4发布了

我们非常高兴的宣布Spec Explorer 2010 3.4版发布了。 新的3.4版包含了新的功能,持续改进的文档,以及多于50个bug的修正。 3.4版本包含以下功能: 动态遍历:...

Author: Xiang Li Date: 01/07/2011

Spec Explorer 2010 3.3版成为Visual Studio Power Tool

我们非常高兴的宣布Spec Explorer发布了3.3版本,该版本从DevLab迈向了Visual Studio Power Tool,您可以在Visual Studio...

Author: Xiang Li Date: 10/18/2010

Spec Explorer 2010 3.2发布了!

Spec Explorer 2010 发布最新的3.2版本了。 新的Spec Explorer较前一版本又新增和改善了一些功能,改进了文档,并修正了超过110个bug。新版Spec...

Author: Xiang Li Date: 04/19/2010

Spec Explorer在线课程

Channel 9上现在有完整的使用Spec Explorer进行基于模型测试的在线视频课程了!这是Spec...

Author: Xiang Li Date: 04/19/2010

Spec Explorer 2010 3.1发布了!

朋友们好,Spec Explorer 2010发布新的3.1版本了! Spec Explorer 2010 3.1版本是基于Visual Studio 2010...

Author: Xiang Li Date: 02/23/2010

使用Spec Explorer对象模型:基础篇

一些使用者希望能够自己处理Spec Explorer产生的探索结果,而不是其自带的功能。Spec Explorer的对象模型可以用于此类处理,本篇博客将对这种用法进行一个基础介绍。 当Spec...

Author: Xiang Li Date: 12/27/2009

静态模型与实例模型

很多使用者问到什么时候选择静态模型,什么时候选择实例模型。 Spec Explorer的基础解决方案向导(Visual Studio...

Author: Xiang Li Date: 12/22/2009

连接测试用例与待测系统

Spec Explorer支持两种连接测试用例和待测系统的方式:直接连接和适配器连接。...

Author: Xiang Li Date: 12/22/2009

Spec Explorer的历史

Spec Explorer团队的架构师Wolfgang在自己的博客上有一篇关于Spec Explorer历史的文章,介绍了Spec...

Author: Xiang Li Date: 12/22/2009

什么是基于模型的测试

很多朋友可能已经听说了Spec Explorer 2010是一款强大的测试工具,但却不是很了解所谓的基于模型的测试到底是什么,这篇文章可以让你对此有一个大致的认识。...

Author: Xiang Li Date: 11/18/2009

欢迎访问Spec Explorer团队博客

大家好,Spec Explorer中国团队正式开博了! Spec Explorer是微软发布的一款与Visual Studio紧密整合的基于模型测试的工具。用户可以通过Spec...

Author: Xiang Li Date: 11/15/2009