Spec Explorer基于模型的测试工具

联合创作 · 2023-10-01 19:12

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

浏览 34
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报
评论
图片
表情
推荐
点赞
评论
收藏
分享

手机扫一扫分享

编辑 分享
举报