如何为 FsCheck 测试生成空字符串

Question

使用F#版本的Haskell QuickCheck测试库FsCheck从C#生成测试，发现随机字符串生成器不生成空字符串。

using FsCheck.Fluent;
Spec.ForAny<string>(s => s != null).QuickCheck(); // always pass

此外，似乎没有设计处理空字符串，但我没有设法将其固定from the documentation。例如，仅在两个字符串（其中一个为 null）之间进行选择是行不通的：

var strings = Any.ValueIn<string>(null, "non-null string");
Spec.For(strings, s => true).QuickCheck(); // throws null ref exception

而字符串似乎是个特例，因为它处理诸如

之类的定制对象

class Thing {}

当与空值混合时：

var objects = Any.ValueIn(null, new Thing());
Spec.For(objects, s => true).QuickCheck(); // pass

Answer 1

我尝试对此进行深入研究，您似乎在 FsCheck 中发现了一个错误。

看来问题出在 Arbitrary.fs 文件中，并且实际上仅与字符串有关。我不得不替换这个，他们在字符串上调用 ToCharArray

    static member String() = 
        { new Arbitrary<string>() with
            override x.Generator = Gen.map (fun chars -> new String(List.toArray chars)) generate
            override x.Shrinker s = s.ToCharArray() |> Array.toList |> shrink |> Seq.map (fun chars -> new String(List.toArray chars))
        }

有了这个

    static member String() = 
        { new Arbitrary<string>() with
            override x.Generator = Gen.map (fun chars -> new String(List.toArray chars)) generate
            override x.Shrinker s = 
                match s with
                    | null  -> seq {yield null;}
                    | _ -> s.ToCharArray() |> Array.toList |> shrink |> Seq.map (fun chars -> new String(List.toArray chars))
        }

您可能想向 fscheck 开发人员 here 提出这个问题，并检查我的修复是否有效 - 可能有更好的方法来实现它，但对于已经知道代码的人来说会更简单。

Answer 2

对于 FsCheck 1.x，我找到了一个涉及修改默认随机字符串生成器的解决方案：

public class MyArbitraries
{
    public static Arbitrary<string> String()
    {
        var nulls = Any.Value<string>(null);
        var nonnulls = Arb.Default.String().Generator;
        return Any.GeneratorIn(nulls, nonnulls).ToArbitrary;
    }
}

然后初始化它：

DefaultArbitraries.Add<MyArbitraries>();

那么问题中的测试按预期失败：

Spec.ForAny<string>(s => s != null).QuickCheck() // now fails, which is good

这将生成大约 50% 的空字符串和 50% 的随机字符串，可以调整权重：

Spec.ForAny<string>(s => true)
    .Classify(s => s==null, "null")
    .Classify(s => s!=null, "not null")
    .QuickCheck(); // displays percentages

但是，如果默认情况下不包含 null 值的决定是有意而不是库中的错误，那么有效地覆盖默认字符串生成器可能不是一个好主意。而且，如果它是一个错误，它会在修复后扭曲分布。