将 Microsoft Pex 与 Prism 复合应用程序结合使用
我正在 Prism 复合应用程序中实施单元测试，并尝试实施 Microsoft Pex (http: //research.microsoft.com/en-us/projects/pex/）来加快此任务的速度。 …
代码合约失败示例 Graph.Remove(Edge e)
这是一个简单的图形操作方法，我用代码契约来装饰它。 确保声明无法证明，但我不明白为什么！我相信它声称在调用 Remove() 后，要么该边不再在边列表…
使用 Pex、Contracts 和 QuickGraph 进行误报单元测试
每个人。我在合约、pex 和 Quickgraph 之间有一个令人困惑的交互，非常感谢更有知识的人的建议。我将其归结为一个重现案例，其中注释掉一个合同会使误…
Pex：如何在参数化测试中表明我期望在某些条件下出现异常？
我刚刚开始使用 Pex，遇到了标题中描述的问题。似乎由 Pex 生成或手动添加的任何参数化测试都会为导致引发异常的任何输入创建失败的测试用例。有没有…
为什么使用 HostType(“Moles”) 的单元测试的断言在单独运行时会通过，但在与一组测试一起运行时会失败？
我最近登上了 Pex & 号。鼹鼠的潮流是为了用许多静态、非虚拟、密封等元素来测试一些逻辑。最近，我开始从一些测试中看到我无法解释的行为。 我存根的…
我可以将 MbUnit gui 与 Moles 测试一起使用吗？
我想设置我们的单元测试来使用 Moles——主要是这样我们就不会在不需要接口的地方编写大量接口。好吧，这部分是有争议的，但这是我们团队关心的问题。…
VS2010、Pex 和 SlimDX 之间的兼容性问题
我已经下载了六月的 Pex 和六月的 SlimDX SDK。将它们安装在我的 RTM VS2010 Premium 上。 Pex探索不起作用。恢复到 2010 年 2 月的 SlimDX 位似乎可…
Pex生成的测试编码为UCS-2 Little Endian，为什么，如何更改？
您好， 我注意到，当我生成 pex 测试解决方案时，文件的默认编码是 UCS-2 Little Endian，这并不是很酷，因为所有其余文件通常都使用 Windows ANSI 进…
