Transcription of Lecture 18: Verification and Validation
{{id}} {{{paragraph}}}
Example: air traffic controller
Lecture 18: Verification and Validation
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. 1 Lecture 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. 2 Verification 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
Loading..
Tags:
Information
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document: