05f523 Assignment 3: (subject to revision in $PH/05f523).
-------------
[Updated 051011]

[RJLRef: $PH/05f523/05f523asgnt3.htm [.txt]

(This tests your knowledge of semantics for TRAIL-style (if-then)
state models for control flow in single-thread programs,
before applying it to asynchronous event-driven systems.)

Ref: Brugge Ch. 11 Testing: slides #31-34 of

	$PH/BreuggeOOSE/content/ch11lect1Rev1.ppt

This section of Ch. 11 analyzes control flow for a small 
code fragment of code and designs tests for it. 

Steps 3a to 3c are due one week after asgnt3 is given:
Steps 3d-3e are due one week later.
--------------
Due in 2 weeks (Oct. 11):
(3a) Reverse-engineer this code and flowchart
	and draw a LCP-style (Control)State Diagram for it.

(3b) Define each state's action routine.

(3c) Verify that the test suite exercise all paths
	thru your state diagram.
------------
Due in 3 weeks (Oct. 18):
(3d) Write down the state and event history that would be
	captured by an LCP-like state model interpreter.

(3e) Declare the state model as strings declaring states, events, 
	transitions and actions as specified for LCP in  
	the (0?f522) Hominid project and its follow-on by ajlopez.

[RJLRefs: (051011:) see new file 
	$PH/COOL-LCP/How2DefineStateModels.htm [.txt]
] 
======================================