进化的测试

在12月的时候，我在博客里面介绍了一个自动化单元测试工具–PEX。在上一篇博客中，又讲述了微软ZUNE在闰年最后一天死机的原因。现在把这两篇文章串起来，跟大家分享一下如何用PEX帮助改善代码的质量。 首先来看一下用PEX测试ZUNE处理日期的方法的结果，如图：

在前面一篇介绍在测试过程中创建唯一数据的文章中，推荐使用GUID作为生成唯一测试数据的方法，本人在测试过程中碰到一个问题，就是对于电话号码的生成，如何使得生成的数据尽可能地达到不重复。C#库里面有一个类-Random，这个类可以帮助开发者或者测试员生成随机数，但是大家都知道，计算机生成的随机数准确来说是伪随机数。本人曾经做过一个小实验，用当前时间作为随机种子，创建1000个随机数，里面重复值是相当多。 沿用前一篇文章的思想，我想把GUID转换为整数，那么应该怎么做呢？在程序内部，GUID也是可以看作是一个整数形式存在的变量，当要做这样子的转换的时候，需要了解的是转换会带来信息的丢失；就好像把一个long转换为一个int，有时候会有信息的丢失。我们可以容忍这个丢失，因为从实践来看，用GUID转成int，比Random类生成随机数好随机的多。以下是如何把GUID转换为int的一个方法：

在前一篇关于在单元测试中使用HttpContext的文章中，本人提到了用ASP.NET单元测试的一个缺点是不能调试，今天我推翻我自己错误的论调，其实在ASP.NET单元测试中也是能调试的。 以前我以为ASP.NET单元测试就运行于WEB服务器上，所以我用Debug来运行，那么ASP.NET单元测试就自动Attach到Web服务器，就能调试了。但是实际上要让ASP.NET单元测试可以调试的话，正确的做法应该是： 在Web.config中，找到<compilation debug=”false”/>这个节点，然后把debug属性改为true 在ASP.NET单元测试代码的最开始处添加这样一句话“System.Diagnostics.Debugger.Break()” 运行该ASP.NET单元测试 在运行单元测试的时候，会有一个提示框出来，说程序遇到一个断点，是否进入调试，当然是选择调试啦。如图：

场景：最近在测试一个.NET的Http Module，这个Module是用来做URL重写的。刚开始进展的比较顺利，因为该Module里面的方法参数基本上都是String，后来这个Module进行了一下重构，所有参数都变成了HttpContext了，这就直接导致原来的单元测试都跑不起来了，接着就开始了弄HttpContext了。 1. 采用Visual Studio自带的ASP.NET单元测试 刚开始我看了一下被测试的代码，虽然说用到了HttpContext，但是有很多地方我都可以绕过去的，意思就是这个HttpContext只是名以上需要的一个参数，只要它不是NULL就可以了，并不影响我的测试，所以我采用了ASP.NET Unit Test的办法来获取一个HttpContext，这个方法实现起来是最简单的，但是会有一些问题，后面会提及到。

PEX的全称是(Program EXploration)，是一款在.NET下可应用的自动化白盒测试工具，来自于微软研究院。PEX通过分析代码来自动生成测试用例。对于程序里面的每一行代码，PEX都会尽可能地生成合适的输入值来达到提高覆盖率的目标。同时PEX还会分析代码中的分支，生成覆盖更多分支的测试代码（输入数据）；PEX在执行代码的同时会监控和分析代码的控制流和数据流，了解程序的行为。每运行完单一个测试以后，PEX会选择一条在前面的测试中没有覆盖到的路径，并且尝试执行它。这一切都是约束求解算法来实现的，官方文档中提到的是一个叫Z3的约束求解器。因为PEX了解被测代码内部结构和行为，所以它不是一个简单地输入随机参数的黑盒测试工具。PEX不会尝试枚举所有可能的输入，事实上也不可能枚举完所有的可能输入。

在做测试的过程中，测试数据会保存到一个XML文件里面，很多时候还是先有测试数据(XML)，后面才会去做测试。在C#里面，读取XML的方法有很多，最近用了一下XmlSerializer，感觉非常爽！ 自己先编一个XML文件，也就是测试数据：   Magus open5555   29 30   77 21

每个做单元测试的人都应该一种技术–MOCK~什么是MOCK？其实没什么神秘的，就是打桩~网上流行的一些.NET的mock框架有：NMock2，Rhino.Mocks等…… NMock2是ThoughtWorks维护的一个开源项目，不知道是不是ThoughtWorks的风格就是敏捷开发基本没有文档，网络上很难找到关于NMock2的文档。而且网上给的例子也很简单，简单到需要自己补充一些东西上去才能跑通。还是用官网上的那个例子：现在有一个银行系统，它实现了一个功能，就是允许两个同名帐户之间实现转账功能。但是很不巧的是，在两个帐户之间转账涉及到汇率的问题，而这个汇率又是天天变的，需要从一个外部的服务来实现的。简单来说就是：