This course covers the theory and practice of quality assurance and testing for each step of the software development cycle. It introduces, defines, and contrasts the two pillars of software quality: Verification and Validation. The course covers test case design techniques, test coverage criteria, and tools for static and dynamic analysis. IEEE standards for test design and documentation are included. The course explains test-driven development and its relation with validation in the small and the large. QA for maintenance and legacy applications are covered. The course explores experimental and contemporary approaches to quality such as those inherent in agile development.