Академический Документы
Профессиональный Документы
Культура Документы
El uso de los procesos de cuarto limpio requiere procesos definidos en las fases del ciclo vital.
LA ESTRATEGIA
Hace uso del modelo incremental del software
TAREAS
Planificacin de incrementos: Se desarrolla un plan de proyecto que adopta la estrategia incremental. Se establecen las funcionalidades de los incrementos, tamao estimado y un plan de desarrollo de sala limpia de cada uno. Recoleccin de requisitos: Mediante el uso de tcnicas se desarrolla una descripcin de los requisitos a nivel de usuario. Especificacin de la estructura de cajas: Se utiliza un mtodo de especificacin que hace uso de la estructura de caja para describir la especificacin funcional, donde se asla y separa la definicin de los datos para cada nivel de refinamiento.
Diseo formal: El diseo de sala limpia es una extensin natural y sin discontinuidades de la especificacin. Las especificaciones (cajas negras) se refinan iterativamente para transformarse en diseos anlogos a la arquitectura y a los procedimientos (cajas de estado y cajas transparentes) respectivamente.
Verificacin de correccin: El equipo de sala limpia lleva a cabo actividades de verificacin de correccin aplicadas al diseo y al cdigo. La verificacin comienza con la estructuras de cajas de alto nivel y avanza hacia el diseo y el cdigo.
Generacin de cdigo, inspeccin y verificacin: La especificaciones de estructura de caja, que se representan mediante un lenguaje especializado, se traduce al lenguaje de programacin adecuado.
Planificacin de la comprobacin estadstica: La utilizacin del software se analiza , se planifica y se disea un conjunto de casos de pruebas que ejerciten la distribucin de probabilidad de la utilizacin. Comprobacin estadstica de utilizacin: Las tcnicas estadsticas de utilizacin ejecutan un conjunto finito de casos de prueba. Certificacin: Una vez finalizado los procedimientos, se certifican los incrementos.
MODELO DE PROCESO
QU HACE DIFERENTE?
1. Hace uso explcito del control estadstico de calidad.
2.
3.
Verifica la especificacin del diseo empleando una demostracin de correccin basada en las matemticas.
Hace uso de la comprobacin estadstica de utilizacin para descubrir errores de especial incidencia.
ESPECIFICACIN FUNCIONAL
Satisface los principios de anlisis operacional, empleando un mtodo denominado especificacin de estructura de cajas. Una caja encapsula al sistema con cierto grado de detalle. Mediante el refinamiento progresivo forma una jerarqua, donde cada caja tiene transferencia referencial.
Describe una abstraccin, estmulos y respuestas. La funcin f' se aplica a una secuencia, S*, de entradas (estmulos) y esta funcin los transforma en una salida (respuesta), R. Para componentes sencillos de software, f; puede ser una funcin matemtica, pero en genera1,f se describe empleando el lenguaje natural (o bien un lenguaje de especificacin formal).
Esta relacionada con los procedimientos y la programacin estructurada. Refina las funciones mediante la expansin progresiva de funciones matemticas de conectivas lgicas
CERTIFICACIN
La certificacin para la ingeniera del software de sala limpia requiere la creacin de tres modelos: Modelo de muestreo. La comprobacin de software ejecuta m casos de prueba aleatoria, y queda certificada si no se produce ningn fallo o si se produce un nmero de fallos inferior al especificado. El valor de m se deriva matemticamente para asegurar que se alcance la fiabilidad necesaria.
Modelo de componentes. Es preciso certificar un sistema compuesto por n componentes. El modelo de componentes capacita al analista para determinar la probabilidad de que falle el componente i antes de finalizar el programa.
Modelo de Certificacin. Se estima y certifica la fiabilidad global del sistema. Al final de la prueba estadstica de utilizacin, el equipo de certificacin posee la informacin necesaria para proporcionar un software que tenga un certificado que se habr calculado empleando todos estos modelos.