verification vs validation in software testing example