Verificação e Validação de Códigos Computacionais Conceito