A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Especificação de Processos Eveline Alonso Veloso PUC-Minas.

Apresentações semelhantes


Apresentação em tema: "Especificação de Processos Eveline Alonso Veloso PUC-Minas."— Transcrição da apresentação:

1 Especificação de Processos Eveline Alonso Veloso PUC-Minas

2 Bibliografia YOURDON, Edward. Análise Estrutura Moderna. Tradução da 3ª edição americana, Rio de Janeiro: Campus, 1992, capítulo 11. PRESSMAN, Roger S. Engenharia de Software. 5ª edição, Rio de Janeiro: McGraw Hill, 2002, capítulo 12.

3 Especificação de Processos Descrição do que ocorre dentro de cada bolha primitiva, do nível mais baixo de um DFD. A especificação de um processo é o DFD do nível imediatamente inferior.

4 Especificação de Processos Objetivo: definir o que deve ser feito para transformar entradas em saídas; não como deve ser feito; não deve impor decisões arbitrárias de projeto ou de implementação. Requisitos: deve ser expressa de forma que possa ser efetivamente entendida por todos os envolvidos no projeto; usuários, analistas de sistemas, arquitetos de software, desenvolvedores, testadores, gerentes, etc; evitando a ambigüidade da linguagem natural.

5 Ferramentas para Especificação de Processos É necessário conhecer uma combinação de ferramentas para especificação de processos; para que se possa selecionar a mais apropriada para cada situação. Ferramentas: Linguagem Estruturada Pre/Pós-condições Tabela de Decisão Árvore de Decisão

6 Linguagem Estruturada Subconjunto do português com restrições: quanto aos tipos de sentenças que podem ser utilizadas; e à maneira como essas sentenças podem ser combinadas. Propósito: obter um razoável equilíbrio entre: a precisão de uma linguagem de programação; e a informalidade e legibilidade da língua que utilizamos normalmente.

7 Sentenças da Linguagem Estruturada Equação algébrica: Exemplo: S = S 0 + v 0 t + at 2 /2 Sentença imperativa: sentença composta por um verbo e um objeto. Verbos escolhidos a partir de um pequeno conjunto como leia, exiba, encontre, adicione, exclua, calcule, etc. Objetos devem ser compostos apenas por elementos de dados definidos: no dicionário de dados ou em termos locais. Exemplo: calcule saldo bancário

8 Sentenças da Linguagem Estruturada Seleção: utilizada para descrever sentenças alternativas; que devem ser executadas de acordo com o resultado de uma decisão binária. Estrutura: SE Sentença A SENÃO Sentença B FIM-SE Exemplo: SE idade-cliente < 18 categoria = 'Menor' SENÃO categoria = 'Maior' FIM-SE

9 Sentenças da Linguagem Estruturada Repetição: usada para descrever uma sentença que deve ser executada repetidamente; até que uma determinada condição booleana seja verdadeira. Estrutura: FAÇA-ENQUANTO Sentença A FIM-ENQUANTO Exemplo: total = 0 FAÇA-ENQUANTO há mais itens no pedido leia próximo item do pedido total = total + preço-unitário * quantidade-item FIM-ENQUANTO exiba total

10 Linguagem Estruturada – Exemplo

11 Linguagem Estruturada – Exemplo – Processo 1.2: Verificar estoque de livros há-estoque = verdadeiro FAÇA-ENQUANTO houver item de pedido em dados válidos de pedido e há-estoque encontre item de estoque em estoque onde código do livro = código do livro em dados válidos de pedido SE quantidade em estoque < quantidade solicitada resposta a pedido = Não há livros suficientes para atender a seu pedido há-estoque = falso FIM-SE FIM-ENQUANTO SE há-estoque resposta a pedido = Há livros suficientes em estoque FIM-SE

12 Pre/Pós-condições Maneira de descrever a função que deve ser executada por um processo; sem indicar o procedimento que deve ser empregado. Precondições: descrevem o que deve ser verdadeiro; antes que o processo se inicie. Pós-condições: descrevem o que deve ser verdadeiro; quando o processo terminar.

13 Pre/Pós-condições – Exemplo Precondição: O cliente se apresenta com um número de conta coincidente com um número de conta em contas cujo status é válido. Pós-condição: A fatura é emitida contendo número de conta e valor da venda.


Carregar ppt "Especificação de Processos Eveline Alonso Veloso PUC-Minas."

Apresentações semelhantes


Anúncios Google