Especificaciones Y Verificaciones De Software PDF

ESPECIFICACIONES Y VERIFICACIONES DE SOFTWARE Introducción a la Ingeniería de Requerimientos ¿Ingeniería de Software? La ingeniería de software es una disciplina de ingeniería que se interesa por todos los aspectos de la producción de software. Procesos de Software Un proceso de software es una...

ESPECIFICACIONES Y VERIFICACIONES DE SOFTWARE Introducción a la Ingeniería de Requerimientos ¿Ingeniería de Software? La ingeniería de software es una disciplina de ingeniería que se interesa por todos los aspectos de la producción de software. Procesos de Software Un proceso de software es una serie de actividades relacionadas que conduce a la elaboración de un producto de software. Actividades en el proceso de SW Especificación del SW. Diseño e implementación del SW. Validación del SW. Evolución del SW. Modelos de proceso de SW Modelo en Cascada. Desarrollo Incremental. Reutilización. Modelo en Cascada Desarrollo Incremental Reutilización Especificación de SW Actividades en el proceso de ingeniería de requerimientos: 1. Estudio de Factibilidad. 2. Obtención y Analisis de requerimientos. 3. Especificación de requerimientos. 4. Validación de requerimientos. Diseño e implementación del SW Actividades posibles en el proceso de diseño: 1. Diseño arquitectónico. 2. Diseño de interfaz. 3. Diseño de componentes. 4. Diseño de base de datos. Validación de SW Etapas en el proceso de pruebas: 1. Prueba de desarrollo. 2. Pruebas del sistema. 3. Pruebas de aceptación. Evolución del SW Flexibilidad en los sistemas de SW. Cada vez menos distinción entre desarrollo y mantenimiento. Cambio Formas de enfrentar el cambio Prototipo de sistema. Entrega incremental. Modelo en espiral de Boehm Boehm (1988) propuso un marco del proceso de software dirigido por el riesgo, conocido como el modelo en espiral. Cada ciclo en la espiral representa una fase del proceso de software. Modelo en espiral de Boehm El Proceso Unificado Racional Ingeniería de requerimientos Requerimientos del Usuario. Requerimientos del Sistema. o Requerimientos Funcionales. o Requerimientos No Funcionales. Especificación de requerimientos Lenguaje Natural. Lenguaje Natural Estructurado. Especificaciones Matemáticas. Notaciones Gráficas. Lenguaje Natural 3.2 Si se requiere, cada 10 minutos el sistema medirá el azúcar en la sangre y administrará insulina. (Los cambios de azúcar en la sangre son relativamente lentos, de manera que no son necesarias mediciones más frecuentes; la medición menos periódica podría conducir a niveles de azúcar innecesariamente elevados.) 3.6 Cada minuto, el sistema debe correr una rutina de autoevaluación, con las condiciones a probar y las acciones asociadas definidas en la tabla 1. (Una rutina de autoevaluación puede detectar problemas de hardware y software, y prevenir al usuario sobre el hecho de que la operación normal puede ser imposible.) Lenguaje Natural Estructurado Bomba de insulina/Sistema de Control 3.3.2 Funcion Computar dosis de insulina. Descripcion Computar la dosis de insulina a ser suministrada cuando el azucar en sangre está entre 3 y 7 unidades. Inputs El valor actual de azúcar, y los dos valores anteriores. Fuente Sensor de valores de azúcar. Memoria para valores anteriores. Outputs La dosis a ser administrada. Destino Ciclo de control principal Especificaciones Matemáticas Notaciones Gráficas