Question

我正在尝试对此功能进行测试

let extract_one_rule (rule:Rule.t<'a,'b>) = 
    let rec expand = function
    |PAlt     (a,b) -> expand a  @ expand b
    |PSeq     (a,b) -> let wrap = List.map (fun x -> (x.rule, fun r -> {x with rule = r})) a
                                  |> List.unzip
                       in
                       let rec gen = function
                           | hd::tl -> [for x in hd -> x :: ( gen tl |> List.concat)]
                           | []     -> []
                       in 
                       fst wrap |> List.map expand |> gen 
                       |> List.map (fun x -> PSeq ((List.map2 ( |> ) x (snd wrap)),b))
    |PRef   _ 
    |PLiteral _
    |PToken   _ as t   -> [t]
    | _             -> (System.Console.WriteLine("incorrect tree for alternative expanding!")
                        ; failwith "incorrect tree for alternative expanding!")
    in 
    expand rule.body |> List.map (fun x -> {rule with body = x})

使用FsCheck 所以我有这个

let ExpandAlterTest(t : Rule.t<Source.t,Source.t> ) = convertToMeta t |> List.forall (fun x -> ruleIsAfterEBNF x)

但是我会看到异常“替代扩展的错误树！” 但是当我像那样使用smth时

let ExpandAlterTest(t : Rule.t<Source.t,Source.t> ) = (correctForAlExp t.body) ==> lazy ( convertToMeta t |> List.forall (fun x -> ruleIsAfterEBNF x))

NUnit不会停止工作为什么会这样？

Answer 1

可能是您添加的前提条件非常严格，因此需要很长时间才能找到一个好的值（实际通过前置条件的值）。 FsCheck对此进行了强化 - 默认情况下，它会尝试找到100个值，但是当它拒绝1000时它会放弃，你会看到“x测试后耗尽的参数”输出。但这可能需要很长时间，如果生成和检查值需要很长时间。

也可能是你实际上有一个错误，比如一个无限循环。

尝试更改FsCheck配置以运行更少的测试，执行详细运行（verboseCheck），并在调试器看起来挂起时打破它。

FsCheck NUnit。有条件的测试

1 个答案: