Lecture #4. Fundamentals of Software Testing