Questão de Engenharia de Software — Desenvolvimento de Software — NCE-UFRJ 2008
Engenharia de SoftwareDesenvolvimento de Software
- Código
- qg795280
- Banca
- NCE-UFRJ
- Órgão
- UFRJ
- Ano
- 2008
- Nível
- Superior
- Cargo
- NCE - - ACAPLAM-PB - Analista de Tecnologia da Informação
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+SaldoY=Número+DébitoZ=Número+NSaldoO item que descreve as pré-condições (Pré) e pós- condições (Pós) para essa transação é:
- APré= {X.Número=Y.Número}Pós={(Z.NSaldo=X.Saldo-Y.Débito)^ (Z.Número=X.Número)}
- BPré={(X.Número?Y.Número)}Pós={(Z.NSaldo=X.Saldo+Y.Débito)^(Z.Número=X.Número)}
- CPré={(X.Número=Y.Número)}Pós={ (Z.NSaldo=X.Saldo-Y.Débito)^(Z.Número?X.Número)}
- DPré={X.Número?Y.Número}Pós={(Z.NSaldo=X.Número-Y.Débito)^(Z.Número=X.Número)}
- EPré={X.Número=Y.Número}Pós={(Z.NSaldo=X.Saldo+Y.Saldo)^(Z.Número?X.Número)}