Introduction to Software Verification and Validation

Software verification and validation techniques are introduced and their applicability discussed. Approaches to integrating these techniques into comprehensive verification and validation plans are also addressed. This curriculum module provides an overview needed to understand in-depth curriculum modules in the verification and validation area. This module provides a framework for understanding the application of software verification and validation VV processes throughout the software evolution process. Typical products of this process are identified, along with their possible VV objectives. The VV process consists of numerous techniques and tools, often used in combination with one another. Due to the large number of VV approaches in use, this module cannot address every technique. Instead, it will analyze five categories of VV approaches. These are 1 technical reviews 2 software testing 3 proof of correctness program verification 4 simulation and prototyping and 5 requirements tracing.