Transcription of Lecture 18: Verification and Validation
{{id}} {{{paragraph}}}
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.
Wasted effort if reqts change rapidly ... better estimation and scheduling (more knowledge about defect profiles) ... For Specifications, inspection is all we have (you can’t “test” a spec!)
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}