WebApplication Stepper.py: fix port number in default URL

continue adding to WebApplication README

Author: jon-jacky

samples/WebApplication/README.md

@@ -97,8 +97,12 @@ The modules are:
    to drive the web application *webapp*.  The script includes test
    cases that do on-the-fly testing with *WebModel* and offline tests
    with *TestIntSuccess*, *TestIntFailure*, *TestIntTwoFailures*, 
-   and *TestLoginFiveFailures*.  (This is the only test script in 
-   the sample that uses *Stepper* and *webapp*.)
+   and *TestLoginFiveFailures*.  Test failures that indicate *ended in 
+   non-accepting state* are expected; repeating those commands with the 
+   *pmt -c 1* option will cause them to succeed.  Failures that indicate 
+   *found 0 in page, expected 1* are caused by the persistence bug in
+   the web application.  (This is the only sample that uses *Stepper* and 
+   *webapp*.)
 
 - *test_graphics*: generate graphs from *WebModel*, *OneUserDomain*,
   *OneUserScenario*, *OneUserFilter*, and *OneUserNoIntScenario*, alone 
@@ -121,4 +125,25 @@ The modules are:
 - *test_ls*: show you can run any program in a test script, not just
    PyModel programs
 
+- *fsmpy*, *svg*: directories of output files from *test_graphics*
+  or *test_viewer*
+
+You can view the generated graphics files in a browser.  Hover the
+pointer over any state bubble to see a tooltip that shows the state
+variables in that state.
+
+- *WebModelFSM*: graph generated by exploring *WebModel* alone,
+  limited only by the *pma -m 50* option (to limit the number of
+  transitions).  Exploration stopped at all the states colored orange.
+
+- *TestIntWrongLogout*, ...: graphs of test suites including traces
+  that are forbidden by the model.  They all reach their own accepting
+  states, which are colored green.
+
+- *...*: graphs of tests suites composed with the model.  Each trace ends
+  in the last state allowed by the model.  If this is not the last state
+  in the trace from the test suite, it is colored yellow.
+
+(more to come)
+
 Revised Mar 2013

samples/WebApplication/Stepper.py

@@ -10,7 +10,7 @@
 # Default stepper configuration for 
 # webapp.py running on localhost at port 8080
 
-site = 'http://localhost:8080/'
+site = 'http://localhost:8000/'
 path = ''
 webAppPage = 'webapp.py'
 logoutPage = 'logout.py'