SOF 520 Software Verification and Validation
The evaluation of software for correctness, efficiency, performance, and reliability is addressed. Specific skills covered include program proving, code inspection, unit-level testing, and system-level analysis. The difficulty and cost of some types of analysis are examined in addition to the need for automation of tedious tasks. Problem-solving skills are stressed, especially in analysis of code. The textbook world is contrasted with the real world using case studies from the book and personal experiences. Industry attitudes toward reliability and performance are also discussed. Prerequisite: None.