我可以在Visual Studio 2012中使用PEX吗？

Question

我没有看到有关使Pex在Visual Studio 2012上运行的计划的最新信息。

Answer 1

我试图联系微软，但我没有回答。所以我决定给Mary Jo Foley发电子邮件，这是她得到的：

  

以下是您在Visual Studio上的MS发言人的回答：

     

“我们期望在2013年初的某个时候更新Pex与Visual Studio 2012 / .NET 4.5兼容。学术许可将是第一个，商业许可将在稍后。”

Answer 2

Visual Studio 2012可移植库的新Pex扩展名为Code Digger。目前，Code Digger仅适用于可移植类库，并不会像原始PEX那样自动创建单元测试项目。 PEX团队表示他们将推出新版本，增加功能并使其在Portable Subset之外工作，尽管没有时间表。

http://blogs.msdn.com/b/nikolait/archive/2013/04/23/introducing-code-digger-an-extension-for-vs2012.aspx

博客摘录：

“在引擎盖下，Code Digger使用Pex引擎和Microsoft Research的Z3约束求解器系统地分析代码中的所有分支，尝试生成一个实现高代码覆盖率的测试套件。与Visual Studio中的Peter Provost一起工作在产品组中，我们尝试创建一个非常简单的用户界面。我们希望将代码探索的想法带给每个程序员的指尖。这与Pex Power Tools不同，我们为您提供了许多配置选项，您必须接受（参数化）单元测试的想法获得所有好处.Code Digger不是Pex的完全替代品，它只是Pex团队为Visual Studio 2012提供的第一个扩展 - 敬请期待更多。“

Answer 3

Pex和Moles在Visual Studio Ultimate中作为Fakes提供，而最近的Visual Studio Premium在其他VS版本中则不然。我们总能希望。