Introduction to Software Verification and Validation
Abstract
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 (V&V) processes throughout the software evolution process. Typical products of this process are identified, along with their possible V&V objectives. The V&V process consists of numerous techniques and tools, often used in combination with one another. Due to the large number of V&V approaches in use, this module cannot address every technique. Instead, it will analyze five categories of V&V approaches. These are: (1) technical reviews; (2) software testing; (3) proof of correctness (program verification); (4) simulation and prototyping; and (5) requirements tracing.
Document Details
- Document Type
- Technical Report
- Publication Date
- Dec 01, 1988
- Accession Number
- ADA236117
Entities
People
- James S. Collofello
Organizations
- Carnegie Mellon University