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 官网
http://msdn.microsoft.com/en-us/devlabs/ee692301.aspx
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。