Verification and Validation
Revised 17 September 2008 by D. Bouldin
IEEE Standard 1012:
Verification is the process of determining that a module conforms to its requirements
whereas validation determines whether the module satisfies its intended use.
V&V processes include analysis, evaluation, review, inspection, assessment and testing.
Verification techniques:
static testing (consistency and measurement)
dynamic testing (functionality, structure and random)
Validation techniques:
formal methods
fault injection
dependability analysis
hazard and risk analysis
V&V reference
dbouldin@tennessee.edu