FsCheck如何限制输入值？

Question

我有一个 FsCheck-属性是这样的:

[Property]
public Property ConversionCanBeInversedForAllUnits(double input, string unit1, string unit2) 
{ ... }

FsCheck 将为其提供随机值。我想将字符串的输入限制为某些固定集合的成员。

显而易见的解决方案有效：

[Property]
public Property ConversionCanBeInversedForAllUnits(double input, int unit1Int, int unit2Int) 
{
 string unit1 = units[unit1Int % units.Lenght];
 string unit2 = units[unit2Int % units.Lenght];
 input = math.clamp(min, input, max);
}

我不认为它应该以这种方式使用。

第二次尝试失败。首先我添加了一些 class

  public class MyTestDataCreator
  {
    private static string[] lengthUnits = new string[] { "m", "mm" };
    public static Arbitrary<string> lenghtunits()
    {
      // Does not compile.
      return FsCheck.Gen.Choose(0, lengthUnits.Length).Select(index => lengthUnits[index]);
    }

    public Gen<double> DoubleGen()
    {
      return FsCheck.Gen.Choose(0, 1000);
    }
}

并将属性更改为

[Property(Arbitrary = new Type[] { typeof(MyTestDataCreator) })]

这让我有例外

Message: System.Reflection.TargetInvocationException : Exception has been thrown by the target of an invocation.
---- System.Exception : No instances found on type Prop.MyTestDataCreator. Check that the type is public and has public static members with the right signature.

这引出了一个问题：什么是正确的签名？

Answer 1

lengthunits() 具有正确的签名：返回一个 Arbitrary 实例和一个没有参数的方法。

尝试通过调用 ToArbitrary() 将 Gen<T> 变成 Arbitrary<T>。

Arbitrary 如果你想写 shrinker 会很有用。任意=生成器+收缩器。

FsCheck如何限制输入值？

How to limit the input values in FsCheck?

c#

fscheck