Lecture #7. Fundamentals of Software Testing