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 中文站投稿或者参与内容翻译工作,请邮件至 editors@cn.infoq.com 。也欢迎大家通过新浪微博( @InfoQ )或者腾讯微博( @InfoQ )关注我们,并与我们的编辑和其他读者朋友交流。
评论