testing - 强制 FsCheck 生成 NonEmptyString 以区分字符串类型的联合字段

Question

我正在尝试使用 FsCheck 实现以下行为：我想创建一个生成器，它将生成一个MyUnion类型的实例，每个字符串字段都是非空/空的。

type MyNestedUnion =
    | X of string
    | Y of int * string

type MyUnion =
    | A of int * int * string * string
    | B of MyNestedUnion

我的“真实”类型比 大/深得多MyUnion，并且 FsCheck 能够毫无问题地生成实例，但联合案例的字符串字段有时为空。（例如它可能会生成B (Y (123, ""))）

也许有一些明显的方法可以结合 FsCheckNonEmptyString及其对生成我所缺少的任意联合类型的支持？

非常感谢任何正确方向的提示/指针。

谢谢！

Answer 1

这违背了基于属性的测试的粒度（因为您明确阻止生成有效的测试用例），但您可以连接非空字符串生成器以用于所有字符串：

type Alt =
    static member NonEmptyString () : Arbitrary<string> =
        Arb.Default.NonEmptyString()
        |> Arb.convert
            (fun (nes : NonEmptyString) -> nes.Get)
            NonEmptyString.NonEmptyString

Arb.register<Alt>()

let g = Arb.generate<MyUnion>

Gen.sample 1 10 g

请注意，您需要在测试后重新注册默认生成器，因为映射是全局的。

一个更循规蹈矩的解决方案是使用默认的派生生成器，然后过滤包含无效字符串的值（即 use ==>），但您可能会发现它对于特别深的嵌套类型不可行。