testing - Clojure 规范与基于属性的测试库（例如 Haskell QuickCheck）有何不同？

Question

其他语言有基于属性的测试库，比如Haskell QuickCheck。Clojure 规范与此类库有何不同？或者它只是Clojure的一个基于属性的测试框架？

Answer 1

Clojure 的 QuickCheck 类比是test.check。Clojure.spec 依赖于 test.check 进行生成测试，但 spec 的用途远不止测试。

Test.check 为生成和基于属性的测试提供工具。Clojure.spec 允许您为数据编写规范，并且可以根据这些规范自动创建生成器。单独使用 test.check，您需要手动创建非平凡的生成器。使用 clojure.spec，生成器（除了一些例外）可以从您的规范派生。

(s/def ::my-spec string?)       ;; a trivial spec, any string will do
(sgen/sample (s/gen ::my-spec)) ;; create a generator from spec and get samples
;;=> ("" "P" "B" "" "qV" "im4P" "Zf" "" "rL24" "wAV7z")

这些生成器可用于为要测试其属性的函数生成输入数据。您可以仅使用 test.check 编写基于属性的测试，也可以使用 clojure.spec 为函数编写一些基于属性的测试。这是一个接受字符串并返回“加倍”字符串的函数示例：

(defn doubler [s] (str s s))
(s/fdef doubler
        :args (s/cat :s string?)
        :ret string?
        :fn (fn [{:keys [args ret]}]
              (= (* 2 (count (:s args))) (count ret))))
(stest/check `doubler)

s/fdef规范定义了我们想要从函数中获得的属性：它接受一个字符串，返回一个字符串，并且返回的字符串应该是输入的两倍。我们check用来确保这些属性适用于一堆随机生成的输入。

查看概述和指南了解更多信息。