Wie unterscheidet sich Clojure spec von eigenschaftsbasierten Testbibliotheken wie Haskell QuickCheck?

Question

Andere Sprachen verfügen über eigenschaftsbasierte Testbibliotheken wie Haskell QuickCheck. Wie unterscheidet sich Clojure spec von solchen Bibliotheken? Oder ist es nur ein eigenschaftsbasiertes Testframework für Clojure?

Answer 1

Clojure Analog für QuickCheck wäre test.check. Clojure.spec stützt sich auf test.check für Generative Testing, aber Spec kann für viel mehr als Tests verwendet werden.

Test.check bietet Tools für generatives und eigenschaftsbasiertes Testen. Clojure.spec ermöglicht es Ihnen, Spezifikationen für Daten zu schreiben, und Generatoren aus diesen Spezifikationen automatisch erstellen können. Wenn Sie test.check allein verwenden, müssen Sie nicht-triviale Generatoren manuell erstellen. Mit clojure.spec können Generatoren (mit einigen Ausnahmen) von Ihrer Spezifikation abgeleitet werden.

(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") 

Diese Generatoren können verwendet werden, um Eingabedaten für Funktionen zu generieren, deren Eigenschaften Sie testen möchten. Sie können eigenschaftsbasierte Tests nur mit test.check schreiben, und Sie können auch einige eigenschaftsbasierte Tests für Funktionen mit clojure.spec schreiben. Hier ist ein Beispiel einer Funktion, die einen String und gibt die „verdoppelt“ string:

(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) 

Die s/fdef spec definiert die Eigenschaften wir unserer Funktion wollen: es eine Zeichenfolge nimmt, liefert einen String, und die Die zurückgegebene Zeichenfolge sollte doppelt so lang wie die Eingabe sein. Wir verwenden check, um sicherzustellen, dass diese Eigenschaften für eine Reihe zufällig generierter Eingaben gelten.

Werfen Sie einen Blick auf die overview und guide für mehr.