Introduction to Software Verification and Validation
• Curriculum Module
Software Engineering Institute
CMU/SEI Report NumberCMU/SEI-88-CM-013
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.