基于模型的测试工具 Spec Explorer

免费,非开源
C/C++
Windows
微软
2009-11-18
红薯

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的版本,同时也提供了详细的文档供大家学习使用

加载中

评论(0)

暂无评论

暂无资讯

暂无问答

暂无博客

返回顶部
顶部