18、Pex 参数化单元测试教程

Pex 参数化单元测试教程

1. 迭代 3：路径条件与翻转条件

在某些方法中，可能仍存在未覆盖的分支。以一个方法为例，若要覆盖第 4 行条件所保护的代码，需要满足两个条件：
1. 到达第 4 行： i < 0
2. 使第 4 行的条件评估为真： j = 123

为了覆盖该方法的最后一条语句，需要找到满足 i < 0 ∧ j = 123 的参数值。我们可以选择 i = -1 和 j = 123 ，并编写如下测试方法：

[TestMethod]
void MinusOneAndOneTwoThree()
{
    Foo.Bar(-1, 123);
}

执行该测试后，会按预期输出第 5 行的内容，此时就完全覆盖了 Bar 方法的行为。

2. 练习

2.1 在 Visual Studio 中开始使用 Pex

• 第 1 部分：将 Pex 添加到项目
  1. 在测试项目中添加对 Microsoft.Pex.Framework.dll 程序集的引用。在“添加引用”对话框中，选择 .NET 选项卡，然后向下滚动找到 Microsoft.Pex.Framework