写点什么

Pex:来自微软研究院的单元测试工具

  • 2012-11-01
  • 本文字数:585 字

    阅读完需:约 2 分钟

Pex 微软研究院开发的一个Visual Studio 插件与测试工具。它能分析和研究托管代码,并为项目所需的测试给出一些建议。它支持代码契约,该契约用于使用条件(如前置条件、后置条件和不变式)为方法添加注释,代码要正确运行,这些条件必须先通过验证。

在详细分析之后,Pex 会自动添加适当的前置条件以捕获任何无效数据。另一方面,代码契约为改善Pex 所做的分析提供了额外的数据与信息。使用Visual Studio,由Pex 创建的项目支持 MSTest (这是默认的测试框架),也支持其他测试框架(如 NUnit )。

使用参数化测试时需要向参数传递适当的值, Dino Esposito 认为这是一个重大挑战。根据 Dino 的说法,Pex 在动态符号执行技术的帮助下,使用迭代来挽救并帮助开发者选取有意义的输入值。

你可以免费在Web 上使用Pex 。它是Pex power tools for Visual Studio 的简化版,还包含了一些代码谜题。你只需要提供C#、Visual Basic 或F#代码,所有后台工作都是在云中发生的。

Pex 框架仅支持 Visual Studio 2010。不过,如果你用 Visual Studio 2012 工作的话,就需要利用 Microsoft Fakes 框架。

查看英文原文 Pex: Unit Testing Tool from Microsoft Research


感谢朱永光对本文的审校。

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

2012-11-01 05:222962
用户头像
臧秀涛 略懂技术的运营同学。

发布了 300 篇内容, 共 144.1 次阅读, 收获喜欢 35 次。

关注

评论

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

综合实验——高级网络应用检测

我叫于豆豆吖.

11月月更

pytorch实现卷积神经网络实验

Studying_swz

人工智能 11月月更

【愚公系列】2022年11月 微信小程序-页面配置

愚公搬代码

11月月更

【iOS逆向与安全】frida-trace入门

小陈

移动端 iOS逆向 ios安全

链路状态路由协议 OSPF (三)

我叫于豆豆吖.

11月月更

2022-11-18:给定一个数组arr,表示连续n天的股价,数组下标表示第几天 指标X:任意两天的股价之和 - 此两天间隔的天数 比如 第3天,价格是10 第9天,价格是30 那么第3天和第9天的指

福大大架构师每日一题

算法 rust 福大大

码农必备?清华大学开源了一款写代码神器!

Jackpop

YRCloudFile V6.9.0 加速企业在大数据应用技术创新

焱融科技

云计算 分布式系统 高性能 文件存储

Spring 5(六)新功能

浅辄

Spring5 JUnit 11月月更

Redis 持久化机制演进与百度智能云的实践

Baidu AICLOUD

数据库 Redis内核

QUIC学习入门概念及资料整理

黄继承

QUIC

面了个阿里拿38k出来的,让我见识到了基础顶端

程序知音

Java java面试 java架构 后端技术 Java面试八股文

案例 | 九科信息助力某大型证券公司业务部数智化转型

九科Ninetech

主成分分析PCA与奇异值分解SVD-PCA中的SVD

烧灯续昼2002

Python 机器学习 算法 sklearn 11月月更

链路状态路由协议 OSPF (二)

我叫于豆豆吖.

11月月更

快围观!助力 TDesign 无障碍改造活动来了!

TDesign

无障碍

一款超好用的开源密码管理器!

Jackpop

API渗透测试的基本流程及关键点

阿泽🧸

11月月更 API渗透测试

芯启源加入龙蜥社区,推动集成电路和DPU芯片创新落地

OpenAnolis小助手

开源 龙蜥社区 CLA 芯启源

Meta开源新工具啊,Git地位危险了?

Jackpop

用户特征分析的方法

穿过生命散发芬芳

11月月更 用户特征分析

十分钟带你全面解析Promise、generator、async类同步编程!

好程序员IT教育

JavaScript Promise

磁盘占用高问题如何排查?三步教你搞定

OceanBase 数据库

无需重启应用,动态采集任意点位日志

阿里巴巴云原生

阿里云 云原生

【C语言】if 关键字

謓泽

11月月更

全网讲的最好的微服务,SpringCloud架构进阶

程序知音

Java 微服务 SpringCloud java架构 后端技术

昇腾AI创新大赛燃情上演,大咖齐聚共话人工智能发展新篇章

极客天地

复杂时序逻辑电路

芯动大师

Verilog 11月月更 时序逻辑

埃森哲发布《2022中国企业数字化转型指数》,如何通过自动化工具打造技术底座

飞算JavaAI开发助手

深度学习 | 如何开发、部署 Serverless 应用?

阿里巴巴云原生

阿里云 Serverless 云原生

华为云发布1+3+M+N全球云基础设施布局 全面推动汽车产业数智升级

科技热闻

Pex:来自微软研究院的单元测试工具_语言 & 开发_Anand Narayanaswamy_InfoQ精选文章