写点什么

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

  • 2013-05-06
  • 本文字数:673 字

    阅读完需:约 2 分钟

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

2013-05-06 05:191457
用户头像

发布了 256 篇内容, 共 70.3 次阅读, 收获喜欢 10 次。

关注

评论

发布
暂无评论
发现更多内容

不要再本地启动项目调试了,试SpringBoot远程调试你会发现新大陆!

Java 程序员 后端

为了面试阿里巴巴、腾讯、字节跳动,linux内核架构

Java 程序员 后端

一文读懂 spring MVC 请求处理流程,Java开发新手入门教程

Java 程序员 后端

一篇文章带你快速理解JVM运行时数据区 、程序计数器详解 (手画详图(1)

Java 程序员 后端

一篇文章带你快速理解JVM运行时数据区 、程序计数器详解 (手画详图

Java 程序员 后端

一篇文章让你了解基于Spring的测试,java自学百度网盘

Java 程序员 后端

不是吧,就因为他和面试官多聊了半个小时红黑树,进了腾讯

Java 程序员 后端

一篇文章丢给你,让你一文了解JVM,2021Java最新大厂面试真题总结

Java 程序员 后端

三面遭阿里新微服务框架暴锤,含恨吃透这份手抄本笔记,终入阿里

Java 程序员 后端

世界顶级SQL技术专家呕心沥血半年才整理出这份:SQL优化核心思想笔记,手慢无

Java 程序员 后端

一文看透Java高并发:Synchronized锁的性质、原理及其缺陷

Java 程序员 后端

一次完整的JVM NativeMemoryTracking 堆外内存泄露分析

Java 程序员 后端

三面蚂蚁金服终获 java高岗 offer,却直言再也不想体验第二次了

Java 程序员 后端

三面阿里云斩获offer:微服务+Redis,积累总结

Java 程序员 后端

不到30岁开上兰博基尼的程序员,为什么这么强,他告诉我只需要把多线程搞好你也行

Java 程序员 后端

一篇文带你入门SSM框架Spring开发!精彩干货不间断!

Java 程序员 后端

万字长文,字节大牛百万调优经验之作:JVM调优实战笔记

Java 程序员 后端

三面腾讯,已拿offer!分享复习经验和后台开发面经

Java 程序员 后端

为什么一个还没毕业的大学生能够把 IO 讲的这么好?

Java 程序员 后端

一行Java代码实现两玩家交换装备【并发编程】

Java 程序员 后端

三、Spring Cloud之软负载均衡 Ribbon,mysql架构

Java 程序员 后端

上线半天下载量破100W!阿里内部微服务进阶笔记,超详细

Java 程序员 后端

三面遭阿里新微服务框架暴锤,含恨吃透这份手抄本笔记,终入阿里(1)

Java 程序员 后端

上线半天下载量破100W!美团大佬的Java性能调优实战手册,超详细

Java 程序员 后端

一款SQL自动检查神器,再也不用担心SQL出错了,自动补全

Java 程序员 后端

一篇送给临近35岁程序员的文章,mysql数据库sql语句面试题

Java 程序员 后端

不是吧阿sir,你这多线程并发也太熟了吧,震惊面试官第四年

Java 程序员 后端

不错,这么好的东西不白嫖也太可惜了!阿里内部首发

Java 程序员 后端

不会吧不会吧?字节“百万级,nginx视频教程吾爱破解

Java 程序员 后端

不是吧阿sir,你这Redis太熟了吧,震惊面试官第六年

Java 程序员 后端

两年JAVA程序员的面试总结,mysql索引原理

Java 程序员 后端

使用Code Digger分析.NET中的public代码_.NET_Anand Narayanaswamy_InfoQ精选文章