states:Clojure 中状态计算的基于属性的生成测试

状态 Clojure 中状态计算的基于属性的生成测试。 示例： java.util.Set 在这个例子中，我们将指定与实现Set接口的对象的交互。 让我们从需要必要的命名空间开始。 ( require '[clojure.test.check :refer [quick-check]] '[clojure.test.check.generators :as gen] '[states.core :refer [run-commands]]) 我们要在测试集上调用的命令必须使用可解析的符号来标识。 为此，我们必须用一些变量包装 Java API。 ( defn set-contains [set elem] ( .contains set elem)) ( defn set-add [set elem] ( .add set elem))