Lecture 18: Verification and Validation

← Back to document page

University of TorontoDepartment of Computer Science 2004-5 Steve Easterbrook. This presentation is available free for non-commercial use with attribution under a creative commons license. 1Lecture 18: Verification and Validation Refresher: definitions for V&V Validation Techniques Prototyping Model Analysis ( Model Checking) Inspection Verification Techniques Making Specifications Traceable (see Lecture 20) Testing (not covered in this course) Code Inspection (not covered in this course) Code analysis (not covered in this course) Independent V&VUniversity of TorontoDepartment of Computer Science 2004-5 Steve Easterbrook. This presentation is available free for non-commercial use with attribution under a creative commons license. 2Verification and ValidationProblemStatementImplementation StatementSystemValidationVerification Validation : Are we building the rightsystem? Does our problem statementaccurately capture the realproblem?

E.g. preliminary design review (PDR), critical design review (CDR), … Used to provide confidence that the design is sound Attended by management and sponsors (customers) Often just a “dog-and-pony show” “Walkthroughs” developer technique (usually informal) used by development teams to improve quality of product fo cu sindg e

  Quality, Review