unit-testing - 在 OCaml 中为模块编写单元测试的正确方法

Question

我在module.mli文件中有一个给定的接口规范。我必须在module.ml文件中写下它的实现。

module.mli提供抽象类型

type abstract_type

我正在使用 OUnit 来创建测试。我需要在其中使用类型的实现。（例如比较值）一种解决方案是扩展接口以包含测试中使用的附加功能。

但是有没有可能在不修改界面的情况下做这样的事情呢？

Answer 1

在不接触模块接口的情况下公开测试的唯一方法是将测试注册到某个全局容器。如果您有一个Tests提供功能的名为的模块register，您module.ml将包含如下内容：

让 some_test = ...

let () = Tests.register some_test

我不推荐这种方法，因为Tests模块无法控制它要运行的测试。

相反，我建议导出测试，即将它们添加到module.mli.

请注意，在不依赖 OUnit 的情况下，您可以导出任何人都可以运行的以下类型的测试。我们的测试如下所示：

让 test_cool_feature () =
  ...
  断言……；
  ...
  断言……；
  真的

让 test_super_feature () =
  ...
  a = b

让测试= [
  “酷功能”，test_cool_feature；
  “超级特征”，test_super_feature；
]

界面是：

...
(**/**)
(* ocamldoc 忽略的开始部分 *)

val test_cool_feature : 单位 -> 布尔
val test_super_feature : 单位 -> bool
val 测试 : (string * (unit -> bool)) 列表