InfoQ

新闻

.NET自动探索式测试工具——Pex

作者 Al Tenhundfeld译者 霍泰稳 发布于 2008年7月20日 下午9时2分

社区
.NET
主题
单元测试
标签
测试驱动开发,
MbUnit,
MSTest,
xUnit.Net
Pex是微软研究院的一个白盒测试生成工具。不像我们平时在给定的方法中为每个执行路径手写独立测试,Pex允许开发人员编写单独的参数化测试方法。这样Pex就能生成一套标准的单元测试,在目标方法里测试执行路径。Pex一个指令一个指令地分析.NET代码,解释代码执行时的动作,然后“以一种完全自动的方式,计算出那些能触发边角代码的相关测试输入。”
给定一个手写的参数化单元测试,Pex完全自动地分析代码,来决定相关的测试输入。其结果就是生成一个有着高度代码覆盖的传统单元测试,另外,Pex还会建议程序员如何去修复所发现的Bug。
Pex实际上并没有减少开发人员多少工作量,他们依然需要手写那些定义和覆盖了方法基本行为的单元测试,来确保API和函数符合必要用例和用户故事的需求。但是,Pex可被用作一个附加的方法来确保测试充分地覆盖这些实现的代码。在方法中识别不确定的行为和错误时,这个自动探索式测试工具尤其有用。

和其他大多数生成工具一样,Pex在确定的环境下使用效果很好。单元测试驱动(TDD)的设计原则是保持方法简短和可测试,这个原则也让Pex生成的测试更为可读。在实现符合TDD的设计目标时,Pex也是很不错的工具,比如如果Pex为某方法生成了许多复杂的测试,那么这个方法很有可能需要重构。在方法是以基础类型做参数,而不是自定义的对象时,Pex的效果也不错。

Pex默认集成于Visual Studio 2008和MSTest中,但是Pex的扩展允许下载并支持NUnit、MbUnit或者xUnit.Net。另外Pex还基于扩展反射可管理子协议APIExtended Reflection managed profiling API)对监测应用程序的集成提供了支持。

需要提醒的是,Pex目前还只是微软研究院的一个试验项目,不会像微软正式产品一样获得支持。不建议将Pex作为写单元测试的首要选择,但是它的自动测试生成能有效覆盖边缘的用例。
 

相关赞助商

InfoQ中文站.NET社区,关注.NET和微软的其他企业开发解决方案,通过新闻、文章、视频访谈和演讲以及迷你书等为中国.NET社区提供一流资讯。

2 条回复

回复

How to use it? 发表人 Tom Lee 发表于 2008年7月21日 上午1时33分
Re: How to use it? 发表人 霍 泰稳 发表于 2008年7月21日 下午8时8分
  1. 返回顶部

    How to use it?

    2008年7月21日 上午1时33分 发表人 Tom Lee

    I just hear it, it songs good, but who can tell me how to use it? thx

  2. 返回顶部

    Re: How to use it?

    2008年7月21日 下午8时8分 发表人 霍 泰稳

    这儿有相关的文档,包括关于Pex的常见问题解答,如何使用Pex等。

独家内容

OpenSocial规范、实现现状与展望

OpenSocial为构建跨多个网站的社交应用程序提供了一组通用 API。开发人员可以使用标准 JavaScript 和 HTML 创建应用程序,用以访问社交网络里的朋友并更新对应的Feeds。本文是对本次QClub活动内容的一个简短总结,希望对没有到现场参会的读者了解OpenSocial有所帮助,也希望能引起大家更多的讨论。

运用Ruby纤程进行异步I/O:NeverBlock和Revactor

Ruby 1.9的纤程(Fibers)和非阻塞I/O越来越收到关注了。我们对来自NeverBlock项目的Mohammad A. Ali和来自Revactor项目的Tone Arcieri进行了访谈。

与杨巍一起探讨OpenSocial

InfoQ中文站有幸与Google中国的产品经理杨巍先生在一起探讨了OpenSocial的相关话题,包括OpenSocial的初衷、构成要素、实现方式、以及要实现它的技术储备等等。

书评:敏捷模式──指向成功的路标

Ryan Cooper对Amr Elssamadisy的新书发表了评价,并认为书中提供了一种为实施敏捷量身定做的框架。本书并没有给出一种人人可用的敏捷方法,而是为读者提供一些模式和工具,用以找出哪些敏捷实践可以最有效地达到该组织机构的特定目标。

构建的可伸缩性和达到的性能:一个虚拟座谈会

这个由业界主要专家们参加的座谈会探究了在使应用程序具备尽可能好的伸缩性及性能的过程中所面临的挑战和思考过程。

OpenSocial的分析与实现

本视频主要对OpenSocial进行了分析,并对实现的方式进行了介绍。其中包括:OpenSocial的开发经验、Container Provider的技术准备、平台的构成要素、具体的规范、以及对未来的展望。

缓存系统MemCached的Java客户端优化历程

Memcached在大型网站被应用得越来越广泛,但是Java客户端并不多,本文作者基于现有的开源客户端进行了封装优化,并翔实记录了这一过程。

超越SOA:动态业务应用的新企业应用框架(2)

在他们文章的第二部分,作者探讨了动态业务应用的架构并介绍了资源容器的概念。他们示范了如何在JEE之上构建这个架构,以及它如何影响实现生产力。