Question

我正在写一些生成器和一个任意，但速度太慢（也见GC编号）。我想我的代码有错误，但我无法弄清楚在哪里。或者我的方法（map2 (fold)）是“怪异的”？。

发生器：

type Generators () =

    static let notAllowed = Array.append [| '0'..'9' |] [| '\n'; '\r'; '['; ']'; '/'; |] 

    static let containsInvalidValues (s : string)  = s.IndexOfAny(notAllowed) <> -1

    static member positiveIntsGen() = Arb.generate<PositiveInt> |> Gen.map int

    static member separatorStringGen() =                         
        Arb.generate<NonEmptyString> 
        |> Gen.suchThat (fun s -> s.Get.Length < 5 && not (s.Get |> containsInvalidValues))

任意：

let manyNumbersNewLineCustomDelimiterStrInput = 
    Gen.map2 (fun (ints : int[]) (nes : NonEmptyString) ->             
        Array.fold (fun acc num ->                 
            if num % 2 = 0 then acc + "," + num.ToString()
            else if num % 3 = 0 then acc + "\n" + num.ToString()
            else acc + "\n" + num.ToString()) ("//[" + nes.Get + "]\n") ints ) 
        (Generators.array12OfIntsGen()) 
        (Generators.separatorStringGen())
    |> Arb.fromGen

配置包含MaxTest = 500，完成时间约为5分钟。

输出（使用#timer）：

StrCalcTest.get_When pass an string that starts with "//[" and contains "]\n" use the multicharacter value between them as separator-Ok, passed 500 tests.

Real: 00:07:03.467, CPU: 00:07:03.296, GC gen0: 75844, gen1: 71968, gen2: 4

Answer 1

如果没有实际测试任何东西，我的猜测是问题部分是这样的：

Arb.generate<NonEmptyString> 
|> Gen.suchThat (fun s -> s.Get.Length < 5 && not (s.Get |> containsInvalidValues))

这意味着您将生成字符串并过滤掉满足特定条件的所有字符串。但是如果条件限制太多，FsCheck可能需要生成大量的字符串，直到你真正得到一些通过测试。

如果您可以表达规则以便生成字符串，以便生成的所有内容都是有效的字符串，那么我认为它应该更快。

例如，您可以生成一个数字n（字符串长度），后跟n类型char的值（满足您的条件），然后将它们附加到表单中分隔符串？（我认为FsCheck的gen { .. }计算可能是一种很好的写作方式。）

加速FsCheck任意生成

1 个答案: