ocaml - 如何使用 OUnit 为测试设置超时？

Question

我对无限惰性结构进行了一些测试，如果测试的函数没有正确实现，这些结构可能会无限期地运行，但是我在 OUnit 文档中找不到如何设置测试超时。

Answer 1

如果您使用的是 OUnit2，则以下内容应该有效：

let tests = 
    "suite" >::: [OUnitTest.TestCase ( 
                    OUnitTest.Short,
                    (fun _ -> assert_equal 2 (1+1))
                  );
                  OUnitTest.TestCase (
                    OUnitTest.Long,
                    (fun _ -> assert_equal 4 (2+2))
                  )]

类型test_length定义为：

type test_length =
|   Immediate
|   Short
|   Long
|   Huge
|   Custom_length of float

Answer 2

我不认为 oUnit 提供了这个功能。我记得前一段时间不得不这样做，这是我想出的快速技巧：

let race seconds ~f =
  let ch = Event.new_channel () in
  let timeout = Thread.create (fun () ->
      Thread.delay seconds;
      `Time_out |> Event.send ch |> Event.sync
    ) () in
  let tf = Thread.create (fun () ->
      `Result (f ()) |> Event.send ch |> Event.sync) () in
  let res = ch |> Event.receive |> Event.sync in
  try
    Thread.kill timeout;
    Thread.kill tf;
    res
  with _ -> res

let () =
  let big_sum () =
    let arr = Array.init 1_000_000 (fun x -> x) in
    Array.fold_left (+) 0 arr in
  match race 0.0001 ~f:big_sum with
  | `Time_out -> print_endline "time to upgrade";
  | `Result x -> Printf.printf "sum is: %d\n" x

这对我的用例来说已经足够好了，但我绝对不建议使用它，因为如果没有手动分配或调用，它就不会race像你期望的那样工作。~fThread.yield