Verification and Validation Reference: Software Engineering, Ian Sommerville, 6th edition, Chapter 19 CMSC 345, Version 4/04 1 Objectives q q q q To introduce software verification…