On this page:
test-random
Version: 4.1.3

2 SchemeUnit Integration

 (require (planet cce/fasttest/schemeunit))

This module provides the test-random macro for generating SchemeUnit test suites that generate and record random inputs.

(test-random opt ...
  ([lhs rhs bind-opt ...]
   ...)
  body ...+)
 
opt = #:name name
  | #:repeat repeat
  | #:limit limit
     
bind-opt = #:where bind-where
  | #:limit bind-limit

The test-random form constructs a SchemeUnit test-suite that conducts multiple trials of body ...+. During a trial, each variable lhs is bound to the value of the corresponding expression rhs. Bindings proceed left-to-right with let*-scope, and each rhs is re-run to permit new random values.

The suite conducts repeat trials (default 100).

After each rhs is run, its corresponding where expression (if any) is run; if where evaluates to #t, the rhs is re-run. Each rhs is run at most the minimum of limit and the corresponding bind-limit, defaulting to 10000.

Examples:

  > (require (planet schematics/schemeunit:2:10/test)
             (planet schematics/schemeunit:2:10/text-ui))
  > (random-seed 1)
  > (test/text-ui
     (test-random
      ([x (random-integer)]
       [y (random-integer)])
      (check-pred integer? (+ x y))))

  100 success(es) 0 failure(s) 0 error(s) 100 test(s) run

  0

  > (random-seed 1)
  > (test/text-ui
     (test-random #:name "test w/ options"
                  #:limit 4
                  #:repeat 5
      ([x (random-integer)]
       [y (random-integer)])
      (check-pred positive? (+ x y))))

  

  test w/ options > 1

  1 has a FAILURE

  x: -165

  y: 7

  name: check-pred

  location: eval:119:0

  params:

  #<procedure:positive?>

  -158

  

  test w/ options > 3

  3 has a FAILURE

  x: -688

  y: 37

  name: check-pred

  location: eval:119:0

  params:

  #<procedure:positive?>

  -651

  

  test w/ options > 5

  5 has an ERROR

  test w/ options: Out of random values.  Failed attempts include:

  

  

  

   === context ===

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/result.ss:70:5

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/../generic/foldts.ss:57:6: loop

  test/text-ui

  /Users/cce/plt/main/collects/scheme/sandbox.ss:473:6: loop

  

  

  2 success(es) 2 failure(s) 1 error(s) 5 test(s) run

  3

  > (random-seed 1)
  > (test/text-ui
     (test-random #:name "test w/ bind options"
                  #:repeat 4
      ([x (random-integer)
          #:where (odd? x)
          #:limit 4]
       [y (random-integer)
          #:where (odd? y)
          #:limit 4])
      (check-pred even? (+ x y))))

  

  test w/ bind options > 3

  3 has an ERROR

  test w/ bind options: Out of random values.

  

   === context ===

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/result.ss:70:5

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/../generic/foldts.ss:57:6: loop

  test/text-ui

  /Users/cce/plt/main/collects/scheme/sandbox.ss:473:6: loop

  

  

  

  test w/ bind options > 4

  4 has an ERROR

  test w/ bind options: Out of random values.  Failed attempts include:

  

  x = -123

  y = 2716

  

  x = -123

  y = 886

  

  x = -688

  

  

   === context ===

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/result.ss:70:5

  /Users/cce/Library/PLT Scheme/planet/300/4.1.3/cache/schematics/schemeunit.plt/2/11/plt/../generic/foldts.ss:57:6: loop

  test/text-ui

  /Users/cce/plt/main/collects/scheme/sandbox.ss:473:6: loop

  

  

  2 success(es) 0 failure(s) 2 error(s) 4 test(s) run

  2