BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

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

| 作者 Anand Narayanaswamy 关注 0 他的粉丝 ,译者 李彬 关注 1 他的粉丝 发布于 2013年5月7日. 估计阅读时间: 2 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

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)关注我们,并与我们的编辑和其他读者朋友交流。

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT