No contexto da Engenharia de Software, a verificação e a validação são conjuntos de atividades que