写点什么

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:222921
用户头像
臧秀涛 略懂技术的运营同学。

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

关注

评论

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

云容灾关键技术点简介

天翼云开发者社区

云计算 云服务 容灾备份

SD-WAN为什么成为小企业的首选

Ogcloud

SD-WAN 企业组网 SD-WAN组网 SD-WAN服务商 SDWAN

腾讯云大数据连续三年蝉联中国大数据市场领导者象限

腾讯云大数据

腾讯云 大数据

iPaaS 平台的发展方向

RestCloud

数字化转型 数据集成平台 企业集成 ipaas

TDengine 3.3.2.0 发布:新增 UDT 及 Oracle、SQL Server 数据接入

TDengine

理解 gRPC 与 REST:选择适合您项目的最佳 API 方案

Liam

程序员 gRPC 后端 Rest API

喜讯!云起无垠入选《2024年中国网络安全市场全景图》

云起无垠

Bonree ONE赋能汽车行业 重塑可观测性体验

博睿数据

多项第一!天翼云霸气登顶政务公有云市场

极客天地

RTX 4090为什么被称为性能之王?

Finovy Cloud

显卡 显卡选择 #GPU

Ceph PG状态介绍

天翼云开发者社区

分布式 存储 Ceph

火山引擎数据飞轮升级实验平台架构,解决人效与成本问题

极客天地

华为大咖说 | 数字时代的财富秘诀:数据资产化全攻略

华为云PaaS服务小智

华为云 资产管理

借助 API 接口深挖 1688 商品详情的奥秘

Noah

快照技术对比学习

天翼云开发者社区

云计算 快照技术

ISA-L库调研

天翼云开发者社区

大数据 存储 simd

生产环境Nginx配置

源字节1号

小程序 开源 前端 后端

手把手教你搭建Docker私有仓库Harbor

不在线第一只蜗牛

Docker 容器 仓库

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