1

我正在编写一些生成器和一个 Arbitrary，但速度太慢（另请参阅 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
4

1 回答 1

3

在没有实际测试任何东西的情况下，我的猜测是有问题的部分是：

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

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

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

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

于 2016-05-21T22:28:46.867 回答