Na avaliação da qualidade de software, corretitude é: