| ;;;; 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. |