基于模型的测试工具 Spec Explorer

码农软件 · 软件分类 · 测试工具 · 2019-11-25 12:43:45

软件介绍

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

本文地址:https://codercto.com/soft/d/19759.html

Ruby on Rails电子商务实战

Ruby on Rails电子商务实战

Christian Hellsten、Jarkko Laine / 曹维远 / 人民邮电出版社 / 2008-4 / 49.00元

《Ruby on Rails电子商务实战》全面讲解了使用Ruby on Rails创建产品级应用程序的过程。书中通过演示构建网上书店的全过程,先后介绍如何使用如TDD的敏捷实践,启动一个项目并建立良好稳定的基础,如何深入Ruby on Rails,实现诸如将应用程序翻译成各种语言对产品进行调试等的普遍需求。其中用到的主要技术包括Ajax、聚合、设置标签和国际化等,还介绍了如何使用ActiveRec......一起来看看 《Ruby on Rails电子商务实战》 这本书的介绍吧!

在线进制转换器
在线进制转换器

各进制数互转换器

URL 编码/解码
URL 编码/解码

URL 编码/解码

SHA 加密
SHA 加密

SHA 加密工具