Trabajo Mapas

DIAGRAMAS CONCEPTUALES --- SALA LIMPIA CESAR ADRIAN FLOREZ ACACIO 91530138 Planificación de incrementos Recolección de Requisitos Especificación de la estructura de cajas Diseño formal Verificación de corrección Generación de código, inspección y verificación Planificación de la comprobación estadística Comprobación estadística de utilizacion Caja negra

Certificación

Estimulo Respuesta

Mediante

Sala limpia

Consiste en

Corregir durante el desarrollo

Baja aceptación

Simplificando o eliminando las comprobaciones con verificaciones estadísticas

Especificación de Estructura de caja

Caja de Estados Refinamiento de cajas negras

Caja Limpia Metodología demasiado teórica No se consideran preparados para ella

Refinamiento de cajas de estado

Mapa conceptual Realizado por: Sonia Milena García Martínez Décimo Semestre Ing. Informática

Tema: Sala Limpia Ingeniería de Software Se realiza mediante 1. Al realizar un proyecto software y durante la programación planeación y de mas procesos respectivos.

Planificacion de incrementos Recolección de incrementos Especificación de la estructura de cajas

Diseño formal

2. Se ejecutan pruebas y Correcciones simplificando o eliminando errores para que su respectiva depuración y el buen desarrollo de estadísticas.

Verificación y corrección Generación de código y inspección de verificación Planificación de la Comprobación estadística Comprobación estadística de la utilización certificación

SONIA MILENA GARCIA

Caja Limpia Refinamiento de Cajas de estado

Cajas de estado Es donde se refinamiento de cajas negras

3. Esta metodología es muy poco utilizada por que es demasiado teórica y tiene baja aceptación ya influirían estar realizando demasiadas pruebas reales y esto implicaría mucho tiempo

Cajas negras Estimulo o respuesta

WILMER GIOVANNY Metodo de Sala limpia

Planificación de incrementos: Desarrollar un plan que adopte la estrategia estableciendo la funciones de cada uno

Lograr control de calidad sobre el desarrollo del software separando el diseño de la comprobacion

Estrategia de sala Limpia

El uso de un modelo incremental de software, a medida que se va certificando cada incremento se integra en el todo

Certificación: Una vez finalizado se certifica el incremento para su integración Comprobación estadística de la distribución: Se ejecuta una colección de pruebas derivadas de una muestra estadística

Recolección de requisitos: Desarrolla la descripción detallada de los requisitos a nivel de usuario Especificación de Estructura de cajas: Describir la especificación funcional ajustado a los principios del análisis operacional

Planificación de la comprobación estadística: Se planifica y se diseña un conjunto de casos de prueba que ejerciten la “distribución de la probabilidad”

Diseño Formal: Trasforma en diseños análogos la arquitectura y los procedimiento que se denominan “ cajas de estado” y “ cajas transparentes

Especificación de cajas de estado : Un estado es algún modo observable de comportamiento. A medida que se produce el procesamiento el sistema va respondiendo a sucesos efectuando un transición que parte del estado y llega a algún nuevo estado.

Especificación de caja negra: La función F se aplica en una secuencia S* de entradas y esta función la transforma en una salida R para componentes sencillos del software

Uso explicito del control estadístico

Generación de código, inspección y Verificación: Técnicas estándar que aseguran el cumplimiento semántico de las estructuras de código y de cajas

Verifica la especializacion del diseño empleando una demostracion de correcion basada en las matematicas

Verificación de Corrección: Se lleva a cabo aplicando un conjunto de “ Cuestiones de Corrección ”

Especificación de caja Limpia: esta íntimamente relacionada con el diseño de procedimiento y con la programación estructurada.

Diferencia de la sala Limpia

Comprobación estadística de utilización para descubrir errores de especial incidencia

Especificación funcional

JORGE LUIS FUENTES