Lecture #6. Fundamentals of Software Testing