Lecture 3 hrs; 3 credits.
Prerequisites: CS 551.
Laboratory work required.
The most common path to improved confidence in a program is via
testing. This course explores divergent and sometimes conflicting
approaches to conducting testing and to measuring the resulting
confidence. Topics include the theoretical basis for testing, common
testing methods, statistical measures of program reliability, and the
relationship between correctness and reliability.