Verification and Validation of System Functionality