That is a rather long way of saying "figure out exactly what the program is doing, and whether it matches what you think it should be doing."