Clojure规范与基于属性的测试库（如Haskell QuickCheck）有何区别？

Question

其他语言有基于属性的测试库，如Haskell QuickCheck。 Clojure spec与这些库有什么不同？或者它只是一个基于财产的测试框架Clojure？

Answer 1

用于QuickCheck的Clojure的模拟将是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来确保这些属性适用于一堆随机生成的输入。

查看overview和guide了解更多信息。