使用Code Digger分析.NET中的public代码

Code Digger是Visual Studio 2012的一个扩展，它是基于Pex实现的，能够分析.NET代码中可能的执行路径。在Visual Studio编辑器中运行该工具后，会显示一个表格，开发者可以通过分析表格中的每一行来理解代码的行为 。

该扩展由微软的软件工程研究（Research in Software Engineering，RiSE）团队于近期发布，它不仅能计算和显示输入-输出对，还能定位bug、异常和断言失败。此外，该扩展仅对.NET可移植类库中的public代码有效。

Code digger使用Pex引擎和微软研究院的Z3约束求解器来系统地分析代码中的所有分支，尽量生成代码覆盖率较高的测试套件。

要使用Code Digger，开发者需要利用Visual Studio 2012创建一个可移植类库项目，编写public代码，右键点击代码编辑器并选择“ Generate Inputs / Outputs Table”选项。接下来将会看到一个表中列出了参数值，它覆盖了代码中的所有边界情况。

第一步

第二步

Code Digger生成的输出

微软首席研究软件设计工程师Nikolai Tillmann说道：“通过将代码 限定于可移植类库，我们避免了代码依赖Pex引擎尚不支持的某个特定平台的问题。我们的目标是让Pex的全部功能都能够用于Visual Studio 2012，并且支持Fakes而不是Moles，但这种组合功能目前还没有准备好。”

要了解Code Digger包含的功能，还可以访问Pex4Fun 。

查看英文原文：Analyze Public .NET Code with Code Digger

感谢臧秀涛对本文的审校。

给InfoQ中文站投稿或者参与内容翻译工作，请邮件至[email protected]。也欢迎大家通过新浪微博（@InfoQ）或者腾讯微博（@InfoQ）关注我们，并与我们的编辑和其他读者朋友交流。