Verifying: Does it Do What It's Supposed To?

Next: Week 10 Up: Week 9 Previous: Implementing the Design

Look at the section on Program Correctness and in particular the guidelines on testing. Using these ideas, how would you test this code?