PexAssert.Throws 与 Run Pex 结合使用 PUT

Question

当我创建一个 PUT 来调用被测类的方法并使用 PexMethod 为其赋予属性时，“运行 Pex”将使用此方法并为其创建自动生成的测试。

仅当对该方法的调用直接在 PUT 主体中时才有效。

示例：

此 PUT 由“Run Pex”使用：

[PexGenericArguments(typeof(string))]
[PexGenericArguments(typeof(int))]
[PexGenericArguments(typeof(object))]
[PexMethod]
public string Convert01_ConverterForTypeNotRegistered<T>(
    [PexAssumeUnderTest] ToStringConverter target, T objectToConvert)
{
    var result = "";
    result = target.Convert(objectToConvert);
    return result;
}

此 PUT 不由“Run Pex”使用：

[PexGenericArguments(typeof(string))]
[PexGenericArguments(typeof(int))]
[PexGenericArguments(typeof(object))]
[PexMethod]
public string Convert01_ConverterForTypeNotRegistered_ThrowsInvalidOperationException<T>(
    [PexAssumeUnderTest] ToStringConverter target, T objectToConvert)
{
    var result = "";
    PexAssert.Throws<InvalidOperationException>(() => target.Convert(objectToConvert));
    return result;
}

我想表明对该方法的调用总是抛出此异常，与参数无关。

如何实现这一目标？

我已经问过问题一周前在微软官方Pex论坛但是没有收到单一答案，因此我在这里发了两篇文章。

该问题可以如下重现：

1. 通过一个项目、一个类和一种方法来实现一个简单的解决方案。
2. 右键单击该方法并选择“运行 Pex”。
3. 在 Pex 探索结果中右键单击任何条目并选择“保存测试...”。它将创建一个包含两个相关文件的新测试项目：Test.cs 和 Test..g.cs.第一个文件是PUT，第二个文件是具体的测试方法，每个参数Pex选择一个。每次为第一个文件中包含 PUT 的方法运行 pex 时，都会自动重新创建第二个文件。
4. 右键点击测试项目，选择“Pex”-> “删除生成的单元测试”。这将从第二个文件中删除特定测试。
5. 转到包含 PUT 的文件并将 PUT 重命名为任意名称。
6. 返回到第 1 点的方法，再次右键单击并选择“运行 Pex”。
7. Pex 将在测试项目中创建一个名为“Test..g.cs”的新文件。尽管您对其进行了重命名，但它使用与以前相同的 PUT。
8. 再次更改 PUT，保留名称不变，但将内容更改为我使用 PexAssert.Throws 的第二个示例。
9. 再次右键单击测试项目并选择“Pex”-> “删除生成的单元测试”。
10. 再次右键单击第 1 点中的方法，然后选择“运行 Pex”。
11. 打开测试项目中的两个 *.g.cs 文件，您将看到没有测试。这意味着，Pex 没有使用 PUT。这就是问题所在:)

Answer 1

我刚刚尝试在 Visual Studio 2010 中运行您的两个示例。我更改了第二个示例以使用名为 ThrowingConverter 的类，这些是我愚蠢的实现：

public class ToStringConverter {
    internal string Convert(object objectToConvert) {
        return objectToConvert.ToString();
    }
}

public class ThrowingConverter {
    internal string Convert(object objectToConvert) {
        if (objectToConvert is string) {
            return (string)objectToConvert;
        }
        throw new InvalidOperationException();
    }
}

我运行了 Pex，它提出了以下测试用例：

• ToStringConverter：
  • 整数
    • 0
    • 1
  • 字符串
    • null（失败并出现 NullReferenceException）
    • ""
  • 对象
    • null（失败并出现 NullReferenceException）
    • 新对象()
• ThrowingConverter：
  • 整数
    • 0
  • 字符串
    • 空
    • ""（失败，因为它返回 ""）
  • 对象
    • 空
    • ""（失败，因为它返回 ""）

这正是我期望它找到的，所以我不'真的没有看到你的问题。