Lecture Summary for January 15, 1999

	We discussed various forms of condition testing including 
branch testing and domain testing.
Data flow testing was presented as an alternative technique.
Loop testing was discussed briefly.
  Students were given an exercise using
the program distributed through this web site.
This lecture concludes the material on white box testing. 
Many other methods exist, but we have presented the major methods.