1

Anlise Estruturada
Extraindo e adaptado da Carlos Silvano Valvassori Home Page
Anlise Estruturada Como todos os mtodos de anlise de requisitos de software, a anlise estruturada, vem a ser um a atividade de construo de modelos com fluxo e contedo das informaes divididas em parties funcionais, descrevendo a essncia daquilo que deve ser construdo. A anlise estruturada tambm contm grficos que possibilita o analista criar modelos de fluxo de informao, com uma heurstica para o uso dos smbolos, juntamente com um dicionrio de dados e narrativas de processamento como o complemento aos modelos de fluxo de informao. Um modelo de fluxo pode ser criado para qualquer sistema baseado em computador, independentemente do tamanho e complexidade. Um meio importante de representar os dados vem a ser atravs de um DFD( Diagrama de Fluxo de Dados ).

Um DFD( tambm conhecido como grfico de bolhas ) uma tcnica grfica que descreve o fluxo de informao e transformaes que so aplicadas medida que os dados se movimentam da entrada para a sada. Um DFD representa qualquer nvel de abstrao e dividido em parties para revelar mais detalhes. Um crculo representa um processo ou uma transformao aplicada aos dados. Uma seta representa um ou mais itens de dados e deve ser rotulada. Uma linha dupla representa um depsito de dados que so usadas pelo software.

Extenses para sistemas de tempo Real Servem para aplicaes onde as informaes so orientadas ao controle e no de dados com interao ao mundo real num limite de tempo ditado pelo mundo real. Para esta anlise, uma srie de extenses notao bsica da anlise foi proposta:

Extenso de Ward e Mellor

O fluxo de informaes que sejam obtidas ou produzidas em base de tempo real. Informaes de controle passadas pelo sistema e associadas ao processamento do controle. Mltiplas instncias da mesma transformao que s vezes so encontradas em situaes de multitarefa. Estados de sistemas e o mecanismo que causa a transio entre os estados. O sistema deve monitorar informaes em tempo contnuo geradas por algum processo do mundo real. Exemplo na figura abaixo:

Exemplo 2: processo convencional em uma viso de alto nvel de um fluxo de dados e de controle para uma clula de produo

Extenso de Hatley e Pirbhai concentrada menos na criao de smbolos grficos adicionais e mais na representao e especificao dos aspectos orientados ao controle do software, criando um modelo de sistema de tempo real. Diagramas de fluxo de dados so usados para representar dados e os processos que o manipulam. Os diagramas de fluxo de controle mostram como os eventos fluem entre os processos e ilustram os eventos externos que fazem com que vrios processos sejam ativados. Deve ocorrer um refinamento adicional do fluxo de dados e da definio de cada item de dados

6
Modelagem Comportamental

representar o comportamento de uma sistema, descrevendo seus estados e os eventos que fazem com que o sistema mude de estado. O STD( State Transition Diagram ) indica tambm, quais aes so executadas como conseqncia de um dado evento. A Mecnica da Anlise Estruturada
1. Criao de um Modelo de Fluxo de Dados a) Um diagrama de fluxo de dados de nvel 0 deve descrever o software/sistema como uma nica bolha; b) a entrada e a sada iniciais devem ser cuidadosamente anotadas; c) o refinamento inicial deve isolar possveis processos, itens de dados e depsitos de dados a serem representados no prximo nvel; d) todas as setas e bolhas devem ser rotuladas com nomes significativos; e) a continuidade do fluxo de informao deve ser mantida de nvel em nvel; f) uma bolha de cada vez deve ser refinada.

Exemplo:

2. Criao de um Modelo de Fluxo de Controle

7
As aplicaes requerem o uso da modelagem de fluxo de controle alm da modelagem de fluxo de dados. O item de controle ou evento implementado como um valor booleano ou uma lista discreta de condies. Diretrizes : relacionar todos os sensores que so "lidos" pelo software; relacionar todas as condies de interrupo; relacionar todos os "interruptores" que sejam acionados pelo operador; relacionar todas as condies de dados; identificar como cada estado alcanado e defina as transies entre os estados; concentrar nas possveis omisses para no ocorrer erros comuns ou srios. 3. Especificao de Controle(CSPEC) Representa o comportamento do sistema de duas maneiras diferentes. A CSPEC contm um diagrama de transio de estado(STD) que uma especificao seqencial do padro de comportamento. Pode possuir uma tabela de ativao de programa(PAT) - uma especificao combinatria de comportamento. Ao estudar um STD, o engenheiro pode determinar o comportamento do sistema e , o que mais importante, analisando se h "furos" no comportamento especificado. A CSPEC no nos d qualquer informao sobre o funcionamento interno dos processos que so ativados como resultado desse comportamento.

4. Especificao de Processo(PSPEC) Usada para descrever todos os processos do DFD que aparecem no nvel de refinamento final. Pode incluir texto narrativo, uma descrio em linguagem de projeto de programas(PDL) do algoritmo do processo, equaes matemticas, tabelas, diagramas ou grficos. O engenheiro de software cria uma "miniespecificao" que pode servir como um primeiro passo na criao da Especificao de Requisitos do Software e como um guia para projeto do componente de programa que implementar o processo.

Dicionrio de Requisitos "O dicionrio de dados uma listagem organizada de todos os elementos de dados que so pernitentes ao sistema, com definies precisas e rigorosas, de forma que tanto o usurio como o analista de sistemas tenham uma compreenso comum das tarefas, das sadas, dos componentes dos depsitos e[at mesmo] dos clculos intermedirios". Atualmente, isto implementado quase sempre como parte de uma ferramenta de projeto e anlise estruturada CASE. Nome, Alias, Onde usado, Descrio do contedo, Informao complementar; so as informaes contidas nos dicionrios. Exemplo: Nome : nmero telefnico Alias : nenhum onde usado/como usado : avaliar com o planejamento (sada) discar nmero telefnico (entrada) descrio: nmero telefnico = [extenso local | nmero externo] extenso local =[2001|2002|...|2999] nmero externo = 9 + [nmero local|nmero de longa distncia] nmero local = prefixo + nmero de acesso nmero de longa distncia = (1) + cdigo de rea + nmero local prefixo = [795|799|874|877] nmero de acesso = *qualquer srie de quatro nmeros* Anlise Estruturada e CASE

9
A anlise estruturada muito difcil de ser modelada e, rastrear e gerenciar mudanas manualmente. Por essas e outras razes, as ferramentas CASE tornaram-se uma abordagem preferida. A ferramenta CASE constri uma hierarquia interna de forma que cada bolha "me" e seus "filhos" sejam automaticamente associados entre si. Todos os comandos necessrios podem ser acessados por menus e uma srie de processos e entradas de dicionrio de requisitos relacionados aos dados ou setas de controle com o simples uso do mouse. Dessa forma, o modelo criado, podendo ser copiado, alterado e impresso apenas com alguns comandos.