如何在Pex中定义一组输入参数？

Question

假设我的 MyClass 有 100 个字段。

如果我使用 MyClass 的对象作为输入参数，Pex 会在尝试生成所有可能的组合时感到窒息（即使在简单的测试中，我的也会遇到 1000 个路径）

[PexMethod] void MytestMethod(MyClass param){...}

我如何告诉 Pex 仅使用 MyClass 的一组预定义对象，而不是让它变得智能并生成所有可能的组合进行测试？

换句话说，我想在上面的代码中手动指定 param 的可能状态列表，并告诉 Pex 使用它

干杯

Answer 1

如果您发现 Pex 生成大量不相关、冗余或其他无用的输入，您可以使用 PexAssume 调整它为参数化单元测试的输入生成的值，这将确保所有生成的值输入满足您提供的一组标准。

例如，如果您想确保参数来自预定义的值集合，您可以执行以下操作：

public void TestSomething(Object a) {
    PexAssume.IsTrue(someCollection.Contains(a));
}

PexAssume 还有其他辅助方法用于更一般的输入修剪，例如 IsNotNull、AreNotEqual 等。很少有文档表明还有一些特定于集合的功能，尽管如果这些方法存在，我对它们并不熟悉。

请查看Pex 手册了解更多信息。

Answer 2

Pex 不会尝试生成所有可能的值组合。相反，它会分析您的代码并尝试覆盖每个分支。因此，如果您有

if (MyObject.Property1 == "something")
{
    ...
}

，那么它将尝试创建一个具有 Property1 == "something" 的对象。因此，将测试限制在某些预定义的对象上是相当违反“Pex 哲学”的。也就是说，您可能会发现以下信息很有趣。

您可以提供 Pex 工厂类。例如，请参阅这篇博文或这个一个。

[PexFactoryClass]  
public partial class EmployeeFactory  
{  
  [PexFactoryMethod(typeof(Employee))]  
  public static Employee Create(  
  int i0,  
  string s0,  
  string s1,  
  DateTime dt0,  
  DateTime dt1,  
  uint ui0,  
  Contract c0  
  )  
{  

  Employee e0 = new Employee();  
  e0.EmployeeID = i0;  
  e0.FirstName = s0;  
  e0.LastName = s1;  
  e0.BirthDate = dt0;  
  e0.StartDateContract = dt1;  
  e0.Salary = ui0;  
  e0.TypeContract = c0;  
  return e0;  
}   

然后，

Pex 将使用通过探索代码发现的适当值来调用此工厂类（而不是默认工厂）。工厂方法允许您限制可能的参数和值。

您还可以使用 PexArguments 属性来建议值，但这不会阻止 Pex 尝试生成其他值来覆盖代码中的任何分支。它只是尝试您首先提供的那些。

[PexArguments(1, "foo")] // try this first
void MyTest(int i, string s) 
{
    ...
}

有关 PexArguments< 的详细信息，请参阅此处 /code> 并在 参数化测试模式。