Test Support
1 Using Check Forms
check-expect
check-within
check-error
check-member-of
check-range
test
test-format
test-silence
test-execute
2 GUI Interface
6.0.1

Test Support

Kathryn Gray

    1 Using Check Forms

    2 GUI Interface

1 Using Check Forms

 (require test-engine/racket-tests) package: htdp-lib

This module provides test forms for use in Racket programs, as well as parameters to configure the behavior of test reports.

Each check form may only occur at the top-level; results are collected and reported by the test function. Note that the check forms only register checks to be performed. The checks are actually run by the test function.

syntax

(check-expect expr expected-expr)

Checks whether the value of the expr expression is equal? to the value produced by the expected-expr.

It is an error for expr or expected-expr to produce a function value or an inexact number.

syntax

(check-within expr expected-expr delta-expr)

 
  delta-expr : number?
Checks whether the value of the test expression is structurally equal to the value produced by the expected expression; every number in the first expression must be within delta of the corresponding number in the second expression.

It is an error for expr or expected to produce a function value.

syntax

(check-error expr)

(check-error expr msg-expr)
 
  msg-expr : string?
Checks that evaluating expr signals an error, where the error message matches the string (if any).

syntax

(check-member-of expr expected-expr ...)

Checks whether the value of the expr expression is equal? to any of the values produced by the expected-exprs.

It is an error for expr or any of the expected-exprs to produce a function value or an inexact number.

syntax

(check-range expr min-expr max-expr)

 
  expr : number?
  min-expr : number?
  max-expr : number?
Checks whether value of expr is between the values of min-expr and max-expr inclusive.

syntax

(test)

Runs all of the tests specified by check forms in the current module and reports the results. When using the gui module, the results are provided in a separate window, otherwise the results are printed to the current output port.

parameter

(test-format)  (any/c . -> . string?)

(test-format format)  void?
  format : (any/c . -> . string?)
A parameter that stores the formatting function for the values tested by the check forms.

parameter

(test-silence)  boolean?

(test-silence silence?)  void?
  silence? : any/c
A parameter that stores a boolean, defaults to #f, that can be used to suppress the printed summary from test.

parameter

(test-execute)  boolean?

(test-execute execute?)  void?
  execute? : any/c
A parameter that stores a boolean, defaults to #t, that can be used to suppress evaluation of test expressions.

2 GUI Interface

 (require test-engine/racket-gui) package: htdp-lib

This module requires produces an independent window when displaying test results. It provides the same bindings as test-engine/racket-tests.