CS 506 Software Testing and Quality Assurance

An examination of the processes, principles, and techniques of software testing and analysis.  Topics include test life cycle planning, test design and coverage analysis, complexity, and levels and types of testing. Students will become acquainted with both the strengths and limitations of various functional and structural testing methods, as well as techniques for proving the functional correctness.