232 lines
		
	
	
	
		
			9.3 KiB
		
	
	
	
		
			Scheme
		
	
	
	
	
	
			
		
		
	
	
			232 lines
		
	
	
	
		
			9.3 KiB
		
	
	
	
		
			Scheme
		
	
	
	
	
	
;;;; test-driver.scm - Guile test driver for Automake testsuite harness
 | 
						||
 | 
						||
(define script-version "2018-03-25.05") ;UTC
 | 
						||
 | 
						||
;;; Copyright © 2015-2018 Free Software Foundation, Inc.
 | 
						||
;;;
 | 
						||
;;; This program is free software; you can redistribute it and/or modify it
 | 
						||
;;; under the terms of the GNU General Public License as published by
 | 
						||
;;; the Free Software Foundation; either version 3 of the License, or (at
 | 
						||
;;; your option) any later version.
 | 
						||
;;;
 | 
						||
;;; This program is distributed in the hope that it will be useful, but
 | 
						||
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
 | 
						||
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 | 
						||
;;; GNU General Public License for more details.
 | 
						||
;;;
 | 
						||
;;; You should have received a copy of the GNU General Public License
 | 
						||
;;; along with this program.  If not, see <http://www.gnu.org/licenses/>.
 | 
						||
 | 
						||
;;;; Commentary:
 | 
						||
;;;
 | 
						||
;;; This script provides a Guile test driver using the SRFI-64 Scheme API for
 | 
						||
;;; test suites.  SRFI-64 is distributed with Guile since version 2.0.9.
 | 
						||
;;;
 | 
						||
;;; To use it, you have to manually copy this file in the ‘build-aux’
 | 
						||
;;; directory of your package, then adapt the following snippets to your
 | 
						||
;;; actual needs:
 | 
						||
;;;
 | 
						||
;;; configure.ac:
 | 
						||
;;;   AC_CONFIG_AUX_DIR([build-aux])
 | 
						||
;;;   AC_REQUIRE_AUX_FILE([test-driver.scm])
 | 
						||
;;;   AC_PATH_PROG([GUILE], [guile])
 | 
						||
;;;
 | 
						||
;;; Makefile.am
 | 
						||
;;;   TEST_LOG_DRIVER = $(GUILE) $(top_srcdir)/build-aux/test-driver.scm
 | 
						||
;;;   AM_TESTS_ENVIRONMENT = env GUILE_AUTO_COMPILE='0'
 | 
						||
;;;   TESTS = foo.test
 | 
						||
;;;   EXTRA_DIST = $(TESTS)
 | 
						||
;;;
 | 
						||
;;; foo.test
 | 
						||
;;;   (use-modules (srfi srfi-64))
 | 
						||
;;;   (test-begin "foo")
 | 
						||
;;;   (test-assert "assertion example" #t)
 | 
						||
;;;   (test-end "foo")
 | 
						||
;;;
 | 
						||
;;;  See <https://srfi.schemers.org/srfi-64/srfi-64.html> for general
 | 
						||
;;;  information about SRFI-64 usage.
 | 
						||
;;;
 | 
						||
;;;; Code:
 | 
						||
 | 
						||
(use-modules (ice-9 getopt-long)
 | 
						||
             (ice-9 match)
 | 
						||
             (ice-9 pretty-print)
 | 
						||
             (srfi srfi-11)
 | 
						||
             (srfi srfi-26)
 | 
						||
             (srfi srfi-64)
 | 
						||
             (system vm coverage)
 | 
						||
             (system vm vm))
 | 
						||
 | 
						||
(define (show-help)
 | 
						||
  (display "Usage:
 | 
						||
   test-driver --test-name=NAME --log-file=PATH --trs-file=PATH
 | 
						||
               [--expect-failure={yes|no}] [--color-tests={yes|no}]
 | 
						||
               [--enable-hard-errors={yes|no}] [--brief={yes|no}}]
 | 
						||
               [--coverage={yes|no}] [--]
 | 
						||
               TEST-SCRIPT [TEST-SCRIPT-ARGUMENTS]
 | 
						||
The '--test-name', '--log-file' and '--trs-file' options are mandatory.\n"))
 | 
						||
 | 
						||
(define %options
 | 
						||
  '((test-name                 (value #t))
 | 
						||
    (log-file                  (value #t))
 | 
						||
    (trs-file                  (value #t))
 | 
						||
    (color-tests               (value #t))
 | 
						||
    (expect-failure            (value #t)) ;XXX: not implemented yet
 | 
						||
    (enable-hard-errors        (value #t)) ;not implemented in SRFI-64
 | 
						||
    (coverage                  (value #t))
 | 
						||
    (brief                     (value #t))
 | 
						||
    (help    (single-char #\h) (value #f))
 | 
						||
    (version (single-char #\V) (value #f))))
 | 
						||
 | 
						||
(define (option->boolean options key)
 | 
						||
  "Return #t if the value associated with KEY in OPTIONS is \"yes\"."
 | 
						||
  (and=> (option-ref options key #f) (cut string=? <> "yes")))
 | 
						||
 | 
						||
(define* (test-display field value  #:optional (port (current-output-port))
 | 
						||
                       #:key pretty?)
 | 
						||
  "Display \"FIELD: VALUE\\n\" on PORT."
 | 
						||
  (if pretty?
 | 
						||
      (begin
 | 
						||
        (format port "~A:~%" field)
 | 
						||
        (pretty-print value port #:per-line-prefix "+ "))
 | 
						||
      (format port "~A: ~S~%" field value)))
 | 
						||
 | 
						||
(define* (result->string symbol #:key colorize?)
 | 
						||
  "Return SYMBOL as an upper case string.  Use colors when COLORIZE is #t."
 | 
						||
  (let ((result (string-upcase (symbol->string symbol))))
 | 
						||
    (if colorize?
 | 
						||
        (string-append (case symbol
 | 
						||
                         ((pass)       "[0;32m")  ;green
 | 
						||
                         ((xfail)      "[1;32m")  ;light green
 | 
						||
                         ((skip)       "[1;34m")  ;blue
 | 
						||
                         ((fail xpass) "[0;31m")  ;red
 | 
						||
                         ((error)      "[0;35m")) ;magenta
 | 
						||
                       result
 | 
						||
                       "[m")          ;no color
 | 
						||
        result)))
 | 
						||
 | 
						||
(define* (test-runner-gnu test-name #:key color? brief? out-port trs-port)
 | 
						||
  "Return an custom SRFI-64 test runner.  TEST-NAME is a string specifying the
 | 
						||
file name of the current the test.  COLOR? specifies whether to use colors,
 | 
						||
and BRIEF?, well, you know.  OUT-PORT and TRS-PORT must be output ports.  The
 | 
						||
current output port is supposed to be redirected to a '.log' file."
 | 
						||
 | 
						||
  (define (test-on-test-begin-gnu runner)
 | 
						||
    ;; Procedure called at the start of an individual test case, before the
 | 
						||
    ;; test expression (and expected value) are evaluated.
 | 
						||
    (let ((result (cute assq-ref (test-result-alist runner) <>)))
 | 
						||
      (format #t "test-name: ~A~%" (result 'test-name))
 | 
						||
      (format #t "location: ~A~%"
 | 
						||
              (string-append (result 'source-file) ":"
 | 
						||
                             (number->string (result 'source-line))))
 | 
						||
      (test-display "source" (result 'source-form) #:pretty? #t)))
 | 
						||
 | 
						||
  (define (test-on-test-end-gnu runner)
 | 
						||
    ;; Procedure called at the end of an individual test case, when the result
 | 
						||
    ;; of the test is available.
 | 
						||
    (let* ((results (test-result-alist runner))
 | 
						||
           (result? (cut assq <> results))
 | 
						||
           (result  (cut assq-ref results <>)))
 | 
						||
      (unless brief?
 | 
						||
        ;; Display the result of each test case on the console.
 | 
						||
        (format out-port "~A: ~A - ~A~%"
 | 
						||
                (result->string (test-result-kind runner) #:colorize? color?)
 | 
						||
                test-name (test-runner-test-name runner)))
 | 
						||
      (when (result? 'expected-value)
 | 
						||
        (test-display "expected-value" (result 'expected-value)))
 | 
						||
      (when (result? 'expected-error)
 | 
						||
        (test-display "expected-error" (result 'expected-error) #:pretty? #t))
 | 
						||
      (when (result? 'actual-value)
 | 
						||
        (test-display "actual-value" (result 'actual-value)))
 | 
						||
      (when (result? 'actual-error)
 | 
						||
        (test-display "actual-error" (result 'actual-error) #:pretty? #t))
 | 
						||
      (format #t "result: ~a~%" (result->string (result 'result-kind)))
 | 
						||
      (newline)
 | 
						||
      (format trs-port ":test-result: ~A ~A~%"
 | 
						||
              (result->string (test-result-kind runner))
 | 
						||
              (test-runner-test-name runner))))
 | 
						||
 | 
						||
  (define (test-on-group-end-gnu runner)
 | 
						||
    ;; Procedure called by a 'test-end', including at the end of a test-group.
 | 
						||
    (let ((fail (or (positive? (test-runner-fail-count runner))
 | 
						||
                    (positive? (test-runner-xpass-count runner))))
 | 
						||
          (skip (or (positive? (test-runner-skip-count runner))
 | 
						||
                    (positive? (test-runner-xfail-count runner)))))
 | 
						||
      ;; XXX: The global results need some refinements for XPASS.
 | 
						||
      (format trs-port ":global-test-result: ~A~%"
 | 
						||
              (if fail "FAIL" (if skip "SKIP" "PASS")))
 | 
						||
      (format trs-port ":recheck: ~A~%"
 | 
						||
              (if fail "yes" "no"))
 | 
						||
      (format trs-port ":copy-in-global-log: ~A~%"
 | 
						||
              (if (or fail skip) "yes" "no"))
 | 
						||
      (when brief?
 | 
						||
        ;; Display the global test group result on the console.
 | 
						||
        (format out-port "~A: ~A~%"
 | 
						||
                (result->string (if fail 'fail (if skip 'skip 'pass))
 | 
						||
                                #:colorize? color?)
 | 
						||
                test-name))
 | 
						||
      #f))
 | 
						||
 | 
						||
  (let ((runner (test-runner-null)))
 | 
						||
    (test-runner-on-test-begin! runner test-on-test-begin-gnu)
 | 
						||
    (test-runner-on-test-end! runner test-on-test-end-gnu)
 | 
						||
    (test-runner-on-group-end! runner test-on-group-end-gnu)
 | 
						||
    (test-runner-on-bad-end-name! runner test-on-bad-end-name-simple)
 | 
						||
    runner))
 | 
						||
 | 
						||
 | 
						||
;;;
 | 
						||
;;; Entry point.
 | 
						||
;;;
 | 
						||
 | 
						||
(let* ((opts   (getopt-long (command-line) %options))
 | 
						||
       (option (cut option-ref opts <> <>)))
 | 
						||
  (cond
 | 
						||
   ((option 'help #f)    (show-help))
 | 
						||
   ((option 'version #f) (format #t "test-driver.scm ~A" script-version))
 | 
						||
   (else
 | 
						||
    (match (option '() '())
 | 
						||
      (()
 | 
						||
       (display "missing test script argument\n" (current-error-port))
 | 
						||
       (exit 1))
 | 
						||
      ((script . args)
 | 
						||
       (let ((log (open-file (option 'log-file "") "w0"))
 | 
						||
             (trs (open-file (option 'trs-file "") "wl"))
 | 
						||
             (out (duplicate-port (current-output-port) "wl")))
 | 
						||
         (define (check)
 | 
						||
           (test-with-runner
 | 
						||
               (test-runner-gnu (option 'test-name #f)
 | 
						||
                                #:color? (option->boolean opts 'color-tests)
 | 
						||
                                #:brief? (option->boolean opts 'brief)
 | 
						||
                                #:out-port out #:trs-port trs)
 | 
						||
             (primitive-load script)))
 | 
						||
 | 
						||
         (redirect-port log (current-output-port))
 | 
						||
         (redirect-port log (current-warning-port))
 | 
						||
         (redirect-port log (current-error-port))
 | 
						||
 | 
						||
         (if (not (option->boolean opts 'coverage))
 | 
						||
             (check)
 | 
						||
             (begin
 | 
						||
               ;; The debug engine is required for tracing coverage data.
 | 
						||
               (set-vm-engine! 'debug)
 | 
						||
               (let-values (((data result) (with-code-coverage check)))
 | 
						||
                 (let* ((file (string-append (option 'test-name #f) ".info"))
 | 
						||
                        (port (open-output-file file)))
 | 
						||
                   (coverage-data->lcov data port)
 | 
						||
                   (close port)))))
 | 
						||
 | 
						||
         (close-port log)
 | 
						||
         (close-port trs)
 | 
						||
         (close-port out))))))
 | 
						||
  (exit 0))
 | 
						||
 | 
						||
;;; Local Variables:
 | 
						||
;;; eval: (add-hook 'before-save-hook 'time-stamp)
 | 
						||
;;; time-stamp-start: "(define script-version \""
 | 
						||
;;; time-stamp-format: "%:y-%02m-%02d.%02H"
 | 
						||
;;; time-stamp-time-zone: "UTC0"
 | 
						||
;;; time-stamp-end: "\") ;UTC"
 | 
						||
;;; End:
 | 
						||
 | 
						||
;;;; test-driver.scm ends here.
 |