Professional Documents
Culture Documents
Anlisis de Requisitos Especificacin de requisitos del software Tcnicas de especificacin Modelizacin de funciones Modelizacin de datos Especificacin de control
ANALISIS DE SISTEMAS
7.010
Anlisis de requisitos: -El proceso de estudio de las necesidades de los usuarios para llegar a una definicin de los requisitos del sistema, de hardware o de software - El proceso de estudio y refinamiento de requisitos Requisito: -Una condicin o capacidad que necesita el usuario para resolver un problema o conseguir un objetivo determinado Requisito se aplica a las condiciones: -que debe cumplir o poseer un sistema o uno de sus componentes para satisfacer un contrato, una norma o una especificacin. La definicin de requisitos debe ser el fruto de trabajo conjunto porque El cliente no entiende del proceso de diseo y desarrollo de software Los analistas no suelen entender completamente el problema del cliente
ANALISIS DE SISTEMAS
7.015
ANALISIS DE REQUISITOS
Definir requisitos a partir de la informacin obtenida de las tcnicas de recogida de informacin
Definir los requisitos del software Fases del AR Definir los requisitos de las interfaces
Del software con otros elementos como los usuarios, el hardware u otras aplicaciones software
ANALISIS DE SISTEMAS
7.020
ANALISIS DE REQUISITOS
Otra forma de describir el anlisis de requisitos
Mediante tcnicas de recogida de informacin
Razonar los requisitos y solucionar posibles inconsistencias o conflictos Redactar o registrar los requisitos
ANALISIS DE SISTEMAS
7.030
ESPECIFICACION DE REQUISITOS DEL SOFTWARE Especificacin: es un documento que define, de forma completa, precisa y verificable, los requisitos, el diseo, el comportamiento u otras caractersticas de un sistema o componente de un sistema Software: es el conjunto de programas, procedimientos y documentacin asociada a la operacin de un sistema informtico
ERS es la documentacin de los requisitos esenciales (funciones, rendimiento, diseo, restricciones y atributos) del software y de sus interfaces externas
ANALISIS DE SISTEMAS
7.040
Debe incluir informacin veraz Debe comunicar dicha informacin de forma eficaz Describir correctamente todos los requisitos del software No describir ningn detalle del diseo del software, de su verificacin o de la direccin del proyecto.
ANALISIS DE SISTEMAS
7.050
CARACTERISTICAS DE UNA BUENA ERS No ambigua Completa Fcil de verificar Consistente Fcil de modificar Fcil para identificar el origen de cada requisito Fcil de utilizar durante las fases de explotacin y mantenimiento
ANALISIS DE SISTEMAS
7.055
EVOLUCIN DE LA ERS Habitualmente la ERS necesitar ser modificada a medida que progresa el producto software. Consideraciones:
Los requisitos deben ser especificados lo ms completamente posible Debe existir una gestin de la configuracin formal para identificar, controlar, seguir e informar de cambios proyectados tan pronto como sean identificados
ANALISIS DE SISTEMAS
7.060
http://course.cs.ust.hk/comp211/2002Spring/Project/ Project-resources/Documentation/srs-guidelines.html
ANALISIS DE SISTEMAS
7.070
ANALISIS DE SISTEMAS
7.080
Graficas Textuales
ANALISIS DE SISTEMAS
7.090
Qu hace el sistema
ANALISIS DE SISTEMAS
7.090
ER
DFD
FUNCION
TIEMPO
Lista de eventos
ANALISIS DE SISTEMAS
7.100
FUNCION
TIEMPO
ANALISIS DE SISTEMAS
7.101
FUNCION
TIEMPO
ANALISIS DE SISTEMAS
7.102
FUNCION
TIEMPO
ANALISIS DE SISTEMAS
7.110
Informacin Informacin
Diagramas de entidad interrelacin (E/R). Diagramas de estructura de datos (DED). Matriz entidad/entidad. Diagramas de Flujo de datos. Matriz funcin/entidad.
Funcin
Tiempo
Funcin
Diagramas de flujo de datos. Diagramas de descomposicin funcional. Diagramas de estructura. Diagramas de flujo. Diagramas HIPO. Diagramas de Warnier/Orr Redes de Petri. Diagramas de transicin de estados. Lista de eventos. Diagramas de transicin de estados.
Tiempo
ANALISIS DE SISTEMAS
7.120
Funcin
Tiempo
Funcin Tiempo
Especificacin de eventos
ANALISIS DE SISTEMAS
7.130
DIAGRAMAS DE FLUJO DE DATOS Es un diagrama en forma de red que representa el flujo de datos y las transformaciones que se aplican sobre ellos al moverse desde la entrada hasta la salida Es la tcnica ms difundida dentro del anlisis estructurado. Procesos: que son los componentes funcionales del sistema Almacenes: que representan datos almacenados o en reposo Entidades externas: que representan la fuente y/o el
destino de la informacin del sistema Flujos de datos: que representan los datos que fluyen entre las funciones
Componentes
ANALISIS DE SISTEMAS
7.140
Procesos
Almacenes de datos
Entidades externas
ANALISIS DE SISTEMAS
7.142
DIAGRAMAS DE FLUJO DE DATOS Procesos Representan una funcin que transforma los flujos de datos de entrada en uno o varios flujos de datos de salida. Deben ser capaces de generar los flujos de datos de salida a partir de los de entrada (mas quizs una informacin local al proceso) Conservacin de datos: disponer de todos los datos de entrada suficientes para llevar a cabo el proceso y generar los datos de salida Prdida de informacin: cuando algn dato muere dentro de un proceso Los nombres deben ser: Representativos, Breves y nicos
ANALISIS DE SISTEMAS
7.144
DIAGRAMAS DE FLUJO DE DATOS Almacenes de datos Representan informacin del sistema almacenados de forma temporal. Son depsitos lgicos de almacenamiento y pueden representar cualquier dato almacenado (independientemente del dispositivo utilizado)
Pueden aparecer de manera repetida para mejorar la legibilidad Aparecen en el nivel ms alto en el que sirvan de interconexin entre dos o ms procesos (y en todos los niveles inferiores) Son de estructura simple cuando representan a un tipo registro. Si son de estructura simple se definen en el diccionario de datos. Los almacenes con estructuras complejas se especifican a travs de diagramas entidad-interrelacin
ANALISIS DE SISTEMAS
7.146
Representan un generador o consumidor de informacin del sistema y que no pertenece al mismo. Puede representar un sistema, persona, departamento, organizacin, etc. que proporcione datos al sistema o que los reciba de l
Son EXTERNOS al sistema Generalmente, slo aparecern en el diagrama de contexto, y no en los niveles inferiores (algunos autores discrepan)
ANALISIS DE SISTEMAS
7.148
DIAGRAMAS DE FLUJO DE DATOS Flujos de datos Representan caminos a travs de los que viajan datos de composicin conocida de una parte del sistema a otra. Representan los datos en movimiento en un momento y con una cardinalidad determinada
ANALISIS DE SISTEMAS
7.150
ANALISIS DE SISTEMAS
7.160
ALMACEN TEMPORAL
ANALISIS DE SISTEMAS
7.170
FLUJO DE CONSULTA
FLUJO DE ACTUALIZACION
FLUJO DE DIALOGO
ANALISIS DE SISTEMAS
7.175
LIBROS USUARIO
Peticin de libro
ANALISIS DE SISTEMAS
7.177
INFORMES CLIENTE
Peticin de informe Informe a cliente
ANALISIS DE SISTEMAS
7.178
USUARIO
Resguardo de aceptacin
DIAGRAMA DE CONTEXTO B C E2
A 0 GESTION E1 SISTEMA X E E3 D
DESCOMPOSICION EN NIVELES
ANALISIS DE SISTEMAS
A2
1.3
1.2.3
7.180
ANALISIS DE SISTEMAS
7.180
Diagrama de contexto
Se conoce como diagrama de nivel 0 Su objetivo es delimitar la frontera entre el sistema y el mundo exterior, y definir sus interfaces (flujos de datos de entrada y salida) Est formado por un solo proceso (caja negra) y un conjunto de entidades externas que representan la procedencia y destino de los datos
ANALISIS DE SISTEMAS
7.180
Se conoce como diagrama de nivel 1 Tambin se conoce como diagrama 0, porque representa la explosin del nivel 0. En l se representan las funciones principales Se representarn procesos que sean conceptualmente independientes entre s para poder dividir el trabajo
ANALISIS DE SISTEMAS
7.180
Procesos primitivos
Son los procesos de un DFD que ya no se descomponen en ms diagramas de nivel inferior Cada proceso primitivo tendr que ser descrito a travs de una especificacin Son primitivos si sucede que:
Puede especificarse en menos de una pgina mediante pseudocdigo Tiene pocos flujos de entrada y salida Resulta ser demasiado sencillo
ANALISIS DE SISTEMAS
7.190
Nivel 0: diagrama de contexto Nivel 1: subsistemas Nivel 2: funciones de cada subsistema Nivel 3: subfunciones asociadas a cada uno de los eventos del sistema Nivel 4: procesos necesarios para el tratamiento de cada subfuncin
ANALISIS DE SISTEMAS
7.200
DIAGRAMAS DE FLUJO DE DATOS CONSISTENCIA ENTRE NIVELES Todos los flujos de datos que entran en un diagrama hijo deben estar representados en el padre por el mismo flujo de datos entrando en el proceso asociado. Las salidas del diagrama hijo deben ser las mismas salidas del proceso padre asociado con una excepcin: los rechazos triviales (caminos de rechazo que no requieren ninguna revisin de la informacin establecida) no necesitan estar balanceados entre padre e hijo.
ANALISIS DE SISTEMAS
7.200
DIAGRAMAS DE FLUJO DE DATOS Recomendaciones Crear el diagrama de contexto localizando todas las entidades externan que proporcionan o consumen informacin Construir el diagrama de sistema enfocndolo en sus funciones principales (no en los flujos de datos definidos en el diagrama de contexto) Posteriormente, centrarse en las interfaces entre procesos, escogiendo comunicacin sncrona (poco habitual en este nivel) o asncrona (utilizando almacenes intermedios) Despus hay que centrarse en las entradas y salidas definidas en el diagrama de contexto.
ANALISIS DE SISTEMAS
7.200
DIAGRAMAS DE FLUJO DE DATOS Recomendaciones En los dems diagramas intermedios, no debemos descomponer al mximo, sino centrarnos en los principales subprocesos de cada proceso, intentando que todos sean del mismo nivel de abstraccin (aunque es habitual que surjan procesos primitivos en niveles intermedios) En una descomposicin (o explosin) es habitual que los flujos de alto nivel se descompongan en otros ms concretos Pueden surgir subgrafos inconexos, lo que indica grupos de funcionalidad separados. En este caso habr que subir de nivel y separar los grupos de funcionalidad en dos procesos en lugar de uno
ANALISIS DE SISTEMAS
7.200
DIAGRAMAS DE FLUJO DE DATOS Ejemplo Se trata de gestionar los prstamos de libros de una biblioteca en la que se va a estudiar exclusivamente el funcionamiento de las peticiones y devoluciones de libros. Peticin de libros. Un usuario puede realizar una peticin de uno o ms libros a la biblioteca. Para ello, es necesario presentar el carnet de usuario de la biblioteca y una ficha en la que se detallan los libros pedidos. Puede haber varios tipos de prstamo (prstamo de sala, colaborador, proyecto fin carrera, doctorado) en funcin de los cuales el usuario puede disponer de los ejemplares durante un perodo de tiempo especfico, como se indica en la siguiente tabla:
ANALISIS DE SISTEMAS
7.200
Una vez entregados el carnet y la ficha, el sistema comprobar y aceptar la peticin de los libros solicitados siempre que pueda satisfacer la peticin, es decir, cuado haya ejemplares disponibles. Si se acepta la peticin, se actualiza el nmero de unidades de los libros de la biblioteca y se guarda la ficha de prstamo.
ANALISIS DE SISTEMAS
7.200
DIAGRAMAS DE FLUJO DE DATOS Ejemplo Devoluciones de libros. Un usuario no puede realizar ms peticiones hasta que no haya efectuado todas las devoluciones de la peticin anterior. El usuario, para hacer la peticin, necesita el carnet, que no se le entrega hasta que no haya devuelto todos los libros. S puede hacer una devolucin parcial de los libros. Cuando un usuario realice una devolucin, el sistema actualizar el stock de libros y comprobar la fecha de devolucin de cada ejemplar para estudiar, en el caso de que la devolucin se haga fuera de tiempo, la imposicin de una sancin que tiene un coste de X ud. monetarias por cada ejemplar y das de retraso en la devolucin. En este caso, la sancin se emite cuando el usuario entrega el ltimo ejemplar. El bibliotecario se encarga de las altas y bajas de los libros de la biblioteca.
ANALISIS DE SISTEMAS
7.200
Diagrama de Contexto
Bibliotecario
Altas_Bajas_Libros
Peticin_Libros
Usuario
Devol_Libros Sancin
0 Gestionar Biblioteca
ANALISIS DE SISTEMAS
7.200
Diagrama de Sistema
Libros
Sancin
3 Actualizar Libros
Altas_Bajas_Libros
ANALISIS DE SISTEMAS
7.200
Gestionar Peticiones
Peticin_Libros
Prstamo_Validado
Libros
ANALISIS DE SISTEMAS
7.200
Gestionar Devoluciones
Devol_Libros
Devol_Libros
Libros Devueltos
Sancin
Libros
ANALISIS DE SISTEMAS
7.200
DICCIONARIO DE DATOS Es una lista organizada de los datos utilizados por el sistema que grficamente se encuentran representados por los flujos de datos y almacenes presentes sobre el conjunto de DFDs (las entradas deben ser nicas) Enfoque descendente (top-down) A=B1+B2+B3+C1+C2 A=B+C B = B1 + B2 + B3 C = C1 + C2
Mejor
ANALISIS DE SISTEMAS
7.210
ANALISIS DE SISTEMAS
7.220
PROYECTO DOCTORADO]
ANALISIS DE SISTEMAS
7.230
ANALISIS DE SISTEMAS
7.240
ANALISIS DE SISTEMAS
7.250
ESPECIFICACION DE PROCESOS Es una tcnica que define el procedimiento que realiza un proceso primitivo Debe describir de una manera ms o menos formal cmo se obtienen los flujos de datos de salida a partir de los flujos de datos de entrada ms quizs una informacin local del proceso
- Lenguaje estructurado - rboles de decisin - Tablas de decisin - Diagramas de accin - Pre y post condiciones
ANALISIS DE SISTEMAS
7.250
Es un lenguaje formado por un subconjunto de palabras (del idioma elegido) para formar construcciones de la programacin estructurada. Representa el tpico pseudocdigo de alto nivel que utiliza sentencias en castellano
ANALISIS DE SISTEMAS
7.250
Repetitiva
Secuencia
ANALISIS DE SISTEMAS
7.260
ESPECIFICACION DE PROCESOS RBOLES DE DECISION Es un modelo de una funcin discreta en la que se determina el valor de una variable y en funcin de su valor se lleva a cabo una accin. Es una representacin en forma de rbol que representa los valores de las variables y las acciones tomadas (que dependen del valor de la vble y de las acciones anteriores). Se suele utilizar cuando hay muchas condiciones
ANALISIS DE SISTEMAS
7.260
ANALISIS DE SISTEMAS
7.270
ESPECIFICACION DE PROCESOS
VOLUMEN CLIENTE ESPECIAL > 5.000.000 S <= 5.000.000 Aplicar 25% descuento DE COMPRAS
Aplicar 15 % descuento
Aplicar 10 % descuento
No
Aplicar 9% descuento
Sin descuento
ANALISIS DE SISTEMAS
7.280
Es un modelo alternativo que muestra la funcin en forma tabular o matricial. Para ello hay que definir la parte de condicin, formada por un conjunto de condiciones y entradas de condiciones y la parte de accin formada por un conjunto de acciones y entradas de accin.
ANALISIS DE SISTEMAS
7.280
ACCIONES
Aplicar 25 % descuento. Aplicar 20% descuento. Aplicar 15% descuento. Aplicar 11% descuento. Aplicar 10% descuento. Aplicar 9% descuento. Aplicar 5% descuento. Sin descuento. X X X X X X X X X
ANALISIS DE SISTEMAS
7.290
Es una tcnica de especificacin que utiliza niveles anidados de corchetes que representan la estructura lgica utilizada para transformar los datos de entrada en los datos de salida. En la fase de anlisis se preparan de forma general para especificar slo las normas de transformacin de los datos de entrada en datos de salida. Durante el diseo se detallan ms esos diagramas.
ANALISIS DE SISTEMAS
7.290
-----------------------------------------------------
IF ... --------------------------ENDIF
ANALISIS DE SISTEMAS
7.300
ANALISIS DE SISTEMAS
7.310
ESPECIFICACION DE PROCESOS PRE-POST CONDICIONES Se centran ms en la relacin que deben tener las entradas y salidas del proceso que en su algoritmo. Por un lado se indican las condiciones que se tienen que cumplir para que el proceso pueda comenzar (precondiciones), as como las condiciones que deben cumplirse cuando el proceso ha concluido (postcondiciones).
ANALISIS DE SISTEMAS
7.320
El objetivo de esta tcnica es representar la jerarqua de los procesos del sistema en diferentes niveles de abstraccin. Para ello se descompone una funcin de alto nivel (que en este caso es nuestro sistema) en funciones de ms bajo nivel, y as sucesivamente. Los DDF se utilizan principalmente para representar las funciones, pero tambin pueden ayudar a representar otros tipos de informacin, como estructura de organizaciones, estructura de documentos, de mens, etc.
ANALISIS DE SISTEMAS
7.320
GESTIN DE CLIENTES
GESTIN DE PROVEEDORES
GESTIONAR PEDIDOS GESTIONAR ENTREGAS GESTIONAR FACTURAS GESTIONAR PAGOS GESTIONAR ALTAS/BAJAS
ANALISIS DE SISTEMAS
7.330
GESTIN EMPRESA X
PLANIFICACIN
VENTAS
DISTRIBUCIN
ADMINISTRACIN VENTAS
SERVICIO PEDIDOS
GESTIN DE CONTRATACIN
PLANIFICACIN PRESUPUESTO
REALIZACIN VENTAS
FORMACIN
CAJA
GESTIN DE TERRITORIOS
ANALISIS DE SISTEMAS
7.340
ANALISIS DE SISTEMAS
7.350
ANALISIS DE SISTEMAS
7.500
ESPECIFICACION DE DATOS
ANALISIS DE SISTEMAS
7.500
ANALISIS DE SISTEMAS
7.500
LISTAS DE EVENTOS
Un evento es algo que ocurre en el mundo real y provoca una reaccin por parte del sistema
Tipos de Eventos
Provienen de flujos que entran en el sistema (peticin de libro) Sucede algo en el sistema (cambio de estado) que desencadena una accin Son eventos que se producen pasado un tiempo y desencadenan una accin
ANALISIS DE SISTEMAS
7.510
Es una tcnica de modelado enfocada en el comportamiento dependiente del tiempo en un sistema El estado, que representa un modo externo de comportamiento La transicin, que obliga al paso de un estado a otro (o bien al mismo estado) si se cumple una condicin.
Componentes
ANALISIS DE SISTEMAS
7.520
ESTADO 1
Transicin
ESTADO 2
ANALISIS DE SISTEMAS
7.531
ANALISIS DE SISTEMAS
7.540
Abrir barrera
Cerrar barrera
ANALISIS DE SISTEMAS
7.550
D esactivar alarm a
CE RR AN DO BA RR ER A
AB RIEN DO BA RR ER A
(Tren sale dcha. o izda.) y T=1 T=0 A brir barrera A ctivar alarm a
BA RR ER A CE RR A D A
7.550
ANALISIS DE SISTEMAS
ANALISIS DE SISTEMAS
7.560
REDES DE PETRI Es una tcnica muy apropiada para la descripcin del control en sistemas de comportamiento asncrono y concurrente Un conjunto finito de lugares, representados por crculos Un conjunto finito de transiciones, representados por segmentos Un conjunto finito de conexiones o arcos de un lugar con una transicin o viceversa, representadas por flechas Un conjunto de tokens en los lugares, que definen el estado del sistema
ANALISIS DE SISTEMAS
7.570
t1
t2
l4
l5
Cada transicin consta de lugares de entrada y lugares de salida. Una transicin est habilitada cuando existe, al menos, una marca en cada uno de sus lugares de entrada (si las conexiones no tiene pesos).
t3
l6
l7
Una transicin habilitada puede dispararse. Si se dispara se consume una marca de cada lugar de entrada y se produce una marca en cada lugar de salida
ANALISIS DE SISTEMAS
7.580
P1
P1
P1
T1
T1
T1
P2
P2
P2
T2 T6 P3 P4
T6 P3
T2
T6
T2
P4
P3
P4
T3
T4
T3
T4
T3
T4
P5
P6
P5
P6
P5
P6
T5
T5
T5
P7
P7
P7
ANALISIS DE SISTEMAS
7.580
P1
P1
P1
T1
T1
T1
P2
P2
P2
T2 T6 P3 P4
T6 P3
T2
T2 T6
P4
P3
P4
T3
T4
T3
T4
T3
T4
P5
P5
P6
P6
P5
P6
T5
T5
T5
P7
P7
P7
ANALISIS DE SISTEMAS
7.580
REDES DE PETRI
Exclusin Mutua
Process A
Waiting for critical section
Process B
Waiting for critical section
Mutex semaphore
ANALISIS DE SISTEMAS
7.590
COMPROBACIONES ENTRE LOS DISTINTOS MODELOS DEL ANALISIS PLANO INFORMACION-FUNCION Comprobar que todos los elementos (o datos elementales) definidos en los diagramas entidad/interrelacin estn definidos como entradas en el DD, es decir, estn en algn flujo de datos o almacn. Realizar la misma comprobacin con los diagramas de estructuras de datos. Comprobar que cada entidad o interrelacin del DE/R es consultada y actualizada al menos una vez por alguna funcin primitiva del DFD.
ANALISIS DE SISTEMAS
7.600
Comprobar que por cada entidad existe un evento que la crea. Comprobar que en las HVE de las entidades maestro se tratan las posibles repercusiones que tiene el borrado de dicha entidad sobre las entidades detalle
ANALISIS DE SISTEMAS
7.610
Comprobar que existe un proceso primitivo dentro de los DFD que trate cada uno de los eventos identificados en la HVE.
ANALISIS DE SISTEMAS
7.620
ANALISIS DE SISTEMAS
7.630
ANALISIS DE SISTEMAS
7.640
ANALISIS DE SISTEMAS
7.650
I, M, B
ANALISIS DE SISTEMAS
7.660
Evento 1
Efecto de Creacin
Vida
Evento n
Efecto de Borrado
1 -/1
2 * Eventos o o Evento 3
Efecto Y
n
Eventos Z
Efecto Z
2,3,4/-
Evento 2
Efecto X
Z 1/4
3 1,2,3/2
4 1,2,3/3
ANALISIS DE SISTEMAS
7.660
MODELADO EVENTO/ENTIDAD
ANALISIS DE SISTEMAS
7.670
MODELADO EVENTO/ENTIDAD HISTORIA DE LA VIDA DE LAS ENTIDADES Crear la matriz evento/entidad Dibujar las primeras aproximaciones de la HVE Revisar las HVE Aadir las operaciones Aadir los indicadores de estado