test_stepper.py

"""
WebApplication tests *with* stepper

There must be a web application running with the same url and page names
as in Stepper.py or (optionally) Config.py.  The easiest way is to 
run webapp.py in this sample with the wsgirunner server:

  wsgirunner webapp  # runs on localhost on port 8000

or

  wsgirunner -p 8080 webapp  # -p option sets port number on localhost

then you can run this test script.

Some runs may or may not end in accepting state (so they may succeed or fail),
this should be reproducible on a given system (because the random seed
is given in the command line -s option) but is not reproducible on different
systems.
"""

cases = [
 ('Test: WebModel on-the-fly run, may or may not end in accepting state',
   'pmt -n 3 -s 5 -i Stepper WebModel'),

 ('Test: WebModel on-the-fly run, may or may not end in accepting state',
   'pmt -n 3 -s 2 -i Stepper WebModel'),

 ('Test: TestIntSuccess offline test suite, with Stepper, should succeed',
  'pmt TestIntSuccess -i Stepper'),

 ('Test: TestIntFailure offline test suite, with Stepper, should fail',
  'pmt TestIntFailure -i Stepper'),

 ('Test: TestLoginFiveFailures offline test suite, with Stepper, should succeed',
  'pmt TestLoginFiveFailures -i Stepper'),

 ('Test: WebModel on-the-fly run, may or may not end in accepting state',
  'pmt -n 20 -s 1 -i Stepper WebModel'),

 ('WebModel TestIntTwoRuns offline test suite with two runs',
  'pmt TestIntTwoRuns -i Stepper')
]