Spec Explorer 团队博客

基于模型的测试工具

Spec Explorer 2010 3.5发布了！

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

Date: 04/18/2011

Spec Explorer 2010 3.4发布了

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

Date: 01/07/2011

Spec Explorer 2010 3.3版成为Visual Studio Power Tool

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

Date: 10/18/2010

Spec Explorer 2010 3.2发布了！

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

Date: 04/19/2010

Spec Explorer在线课程

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

Date: 04/19/2010

Spec Explorer 2010 3.1发布了！

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

Date: 02/23/2010

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

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

Date: 12/27/2009

静态模型与实例模型

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

Date: 12/22/2009

连接测试用例与待测系统

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

Date: 12/22/2009

Spec Explorer的历史

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

Date: 12/22/2009

什么是基于模型的测试

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

Date: 11/18/2009

欢迎访问Spec Explorer团队博客

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

Date: 11/15/2009