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瞭解更多信息。