代码覆盖从简到繁 (三) – 划分Block

      上一篇博客 《代码覆盖从简到繁 (二) – Block Coverage》介绍了Visual Studio所采用的Block覆盖中Block是如何定义的，并且展示了代码行与Block之间其实并不是严格对应的。本篇博客将通过.NET中间语言(IL)进一步分析Visual Studio是如何划分Block的，从而更准确回答代码行与Block不能严格对应的原因。

      使用Visual Studio获取code coverage数据是非常简单的，只需要在配置中选择“Code Coverage”选项，然后执行测试用例就可以了，覆盖数据会直接在"Code Coverage Results”窗口中呈现出来，这些在《代码覆盖从简到繁 (一) 》中都有介绍。其实要获取覆盖数据，首先要对被测试的.exe或者.dll进行instrument，所谓instrument实际上就是向文件注入特定的用于收集覆盖数据的代码；然后，启动覆盖数据的监听服务，刚才注入代码会在被指定到时项监听程序发出报告；接下来就是要执行你的测试用例（可以是自动或者手动测试用例）；停止监听服务，生成代码覆盖报告。为了易于使用，Visual Studio自动为执行了上述很多工作。除了Visual Studio IDE， 还可以通过命令行工具 VsInstr.exe，VsPerfmon和VsPerfCmd来完成获取覆盖数据的操作，Code Coverage Basics with Visual Studio Team System 中有详细的介绍，这里就不再赘述！这里需要注意：这些命令不只是用于代码覆盖，而是性能Profiling的工具。

      这里我们用到了VsInstr.exe -coverage命令，它负责instrument我们前面编写的代码，然后使用.NET的 Ildasm.exe 在IL层观察上一篇博客中使用的GetInteger(）函数是如何被划分block的，下面就是Instrument之后的GetInteger()函数的IL代码（这里使用的Visual Studio 2010带的C#编译器，编译器不同产生的代码也会不同）：

.method public hidebysig