Lecture for Chapter 9, Testing