Questões ACAPLAM-PB 2008 para Analista de Tecnologia da Informação

Q162886

Ano: 2008 Banca: NCE-UFRJ Órgão: UFRJ Prova: NCE-UFRJ - 2008 - ACAPLAM-PB - Analista de Tecnologia da Informação |

Q162886 Engenharia de Software

P é um módulo de software que recebe como entrada dois tipos de dados: o primeiro (X) descreve o saldo atual de uma conta corrente e o segundo, (Y) um valor de débito para essa conta. O módulo produz como saída (Z), que descreve o saldo atualizado da conta corrente. As estruturas desses tipos de dados são descritas como:

X=Número+Saldo
Y=Número+Débito
Z=Número+NSaldo

O item que descreve as pré-condições (Pré) e pós- condições (Pós) para essa transação é:

Pré= {X.Número=Y.Número}
Pós={(Z.NSaldo=X.Saldo-Y.Débito)
^ (Z.Número=X.Número)}

Pré={(X.Número?Y.Número)}
Pós={(Z.NSaldo=X.Saldo+Y.Débito)
^(Z.Número=X.Número)}

Pré={(X.Número=Y.Número)}
Pós={ (Z.NSaldo=X.Saldo-Y.Débito)
^(Z.Número?X.Número)}

Pré={X.Número?Y.Número}
Pós={(Z.NSaldo=X.Número-Y.Débito)
^(Z.Número=X.Número)}

Pré={X.Número=Y.Número}
Pós={(Z.NSaldo=X.Saldo+Y.Saldo)
^(Z.Número?X.Número)}

Você errou! Resposta:

Acesse Comentários para encontrar explicações sobre a solução da questão.

Parabéns! Você acertou!

Aprenda mais ensinando outros alunos ao comentar esta questão.

Quer aprender como ser aprovado? 🤔

Quer aprender como ser aprovado? 🤔

Questões de Concurso Público ACAPLAM-PB 2008 para Analista de Tecnologia da Informação

Foi encontrada 1 questão