The theory of testing and debugging programs is presented, and both questions of interest to novice programmers and questions useful to professionals are considered, for example, probabilistic models for assessing the number of errors in a program and the number of required tests.