BT

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

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

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

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

评价本文

专业度
风格

您好,朋友!

您需要 注册一个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