Pex是个白盒测试生成工具，可以用于帮助理解.NET代码的行为

在PDC上的一个讲座中，微软研究所展示了一个工具，叫Pex （Program EXploration - 程序探索）：

Research: Contract Checking and Automated Test Generation with Pex
http://channel9.msdn.com/pdc2008/TL51/

 

Pex项目地址：
http://msdn.microsoft.com/en-us/devlabs/cc950525.aspx

（上面链接里的下载好像是针对VS 2010的，其他的版本可在这个地址http://research.microsoft.com/Pex/downloads.aspx下载）

 

Pex是个白盒测试生成工具，可以用于帮助理解.NET代码的行为，调试问题，以及，完全自动地，创建涵盖所有边界案例的全套测试。它提供了与VS的集成。

在安装之后，如果在自己的代码中点击右鼠标，然后在上下文菜单中选择运行Pex探索（“Run Pex Explorations”）的话，它会用不同的输入运行你的代码很多次。这些输入不是任意的，也不是所有可能输入的全部组合，而是根据你的代码，分析出其中的边界条件，选出有代表性的输入。简单地说，Pex会分析每一句代码，会琢磨出达到该语句的测试输入。如果代码中有条件性分支，Pex会做案例分析，即Pex会根据代码中条件分支的数目和可能组合生成对应的测试输入。

Pex是在一个反馈循环中运作的： Pex运行代码多次，通过监测控制和数据分流，了解程序的行为。每次运行之后，Pex会挑一个早先没有覆盖的分支，建造一个描述如何达到那个分支的约束系统，然后使用约束解算器（constraint solver，这个版本用了一个叫Z3的约束解算器）决定满足对应约束的新测试输入。然后用新的输入再次运行测试。。。这个过程会重复多次。每次运行，Pex也许会发现新的代码，深入代码实现之中。通过这个方式，Pex可以探索代码的行为。

在VS中，在运行Pex探索之后，在探索结果中选择某个输入，然后选择保存测试案例的话，Pex会为你的代码生成一个测试项目，在其中生成测试类以及相关测试方法。当然你也可以选择所有的输入场景，然后保存所有的测试案例，供你做regression测试之用。

Pex在探索代码、生成测试输入时也会跟踪代码覆盖率。但Pex只有局部的覆盖率知识（Pex称之为动态覆盖率），只有VS代码覆盖率收集器才能给你提供全局的覆盖率信息。

在Pex的新手起步网页上有个简短的代码挖掘教程http://research.microsoft.com/pex/articles/pexcodediggertutorial.pdf 

 

在新手起步网页上，还有更深入的教程，原理概述，参考手册和例程等等。