ES404 - Software Verificati/Validation

describes the overall approach to specifying software quality, achieving quality, and mapping a quality specification into an appropriate set of activities. It describes the major activities used to cross-check the quality of the software artifact and its development process. This course provides a framework for understanding the application of software verification and validation (V&V) processes and techniques throughout the software development life cycle. The course will analyze five categories of V&V approaches: 1)technical reviews, 2)software testing, 3)proof of correctness (program verification), 4)simulation and protyping, and 5)requirements tracing. For each category, some representative techniques will be identified and assessed. 3 credits
Prerequisites: ES300, ES406, and CI436 or CI466 recommended or permission of the department head
3 Credits