what is verification and validation in software testing