Software Verification and Validation
SWEN 647 | 3 Credits
Course Desc: A study of methods for evaluating software for correctness, efficiency, performance, and reliability. Skills covered include program proving, code inspection, unit-level testing, and system-level analysis. The difficulty and cost of some types of analysis and the need for automation of tedious tasks are examined. Emphasis is on problem-solving skills, especially in analyzing code.