INSTITUTO DE EDUCACION SUPERIOR
TECNOLOGICO PRIVADO
DOCENTE:WILBERT DALGUERRE
ORDOÑEZ
INTEGRANTES:JEAN C. RIVAS FOLLANOIRWIN CAVIEDES ÁLVAREZ
Curso: Ingeniería del
Software
La Ingeniería del Software designa el conjunto de técnicas destinadas a la producción de un producto software, más allá de la sola actividad de Programación.
A su vez el software es el conjunto de instrucciones que permite al hardware de la computadora desempeñar un trabajo útil.
DEFINICION:
SALA LIMPIA
Es un enfoque que hace
hincapié en la necesidad de
incluir la corrección en el
software a medida que este
se desarrolla.
Consiste en la edición de
dependencia de costosos
procesos de eliminación de
defectos, mediante la escritura de
incrementos de código desde su primer momento.
Su modelo de proceso incluye la certificación estadística de calidad de los
incrementos de código, a medida que estos se van incrementando en el sistema.
El Enfoque de Sala Limpia
Demanda la disciplina necesaria para eliminar errores en las especificaciones de diseño, fabricando el producto de forma limpia. Henderson sugiere tres razones:
1-. La creencia consiste en que la metodología de sala limpia es excesivamente teórica, matemática y radical para utilizarla en el desarrollador de software real.
2-. No propone una comprobación unitaria por parte de los desarrolladores, sino que las sustituye por un control estadístico de la calidad.
3-. El uso de los procesos de sala limpia requiere procesos definidos en las fases del
ciclo vital.
La Estrategia de Sala Limpia
Sala Limpi
a
Hace uso del modelo
incremental del software
Asignada la funcionalidad el
tubo de sala limpia comienza sus incrementos
Los requisitos globales del sistema se desarrollan
empleando los métodos del
software
Desarrolla un tubo de
incremento de software
Modelo de Proceso de Sala Limpia
ING
DEL
SISTEMA
Captura de
requisitos
Especificación de la
estructura de cajas
Diseño formal
Verificación de
corrección
Inspección de
código
Comproba
ción practica
estadística
certificación
Planificación de comprobaciones
Captura de
requisitos
Especificación de la
estructura de cajas
Diseño formal
Verificación de
corrección
Inspección de
código
Comproba
ción practica
estadística
certificación
Planificación de comprobaciones
Captura de
requisitos
Especificación de la
estructura de cajas
Diseño formal
Verificación de
corrección
Inspección de
código
Comproba
ción practica
estadística
certificación
Incremento 1
Incremento 2
Incremento 3
Certificación
3-. Se generan casos de prueba a
partir del
perfil
1-. Es preciso crear
escenarios de
utilización
4-. Se ejecutan pruebas
y los datos de los fallos
se registra
n
5-. Se calcula y
se certifica
la fiabilidad
2-. Se especific
a un perfil de utilizació
n
Modelo de Muestreo: ejecuta m casos de pruebas aleatorias y
especifica si produce o no un fallo.
Modelo de Componentes: certifica
un sistema de n componentes y
determina la probabilidad de fallo del
componente.
Modelo de Certificación: estima y
certifica la fiabilidad global del sistema
Requiere de tres modelos:
¿Qué hace diferente la sala limpia?
1-. Hace uso explicito del control estadístico de calidad.
2-. Verifica la especificación del diseño empleado una demostración
de corrección basada en las matemáticas.
3-. Hace uso de la comprobación estadística de utilización para descubrir errores de especial
incidencia.
Especificación Funcional
Satisface los principios de análisis operacional, empleando un método
denominado «especificación de estructura de cajas».
Una caja encapsula al sistema con cierto grado de detalle
Se utilizan 3 tipos
de cajas:
1-. Caja negra: especifica el comportamiento del sistema.
2-. Caja de estado: encapsula los datos de estados y de servicios de
forma análoga a los objetos.
3-. Caja transparente: contiene el diseño de procedimientos
correspondiente a la caja de estados.
Especificación de Caja Negra
Caja Negr
a
Es una abstracción que describe la forma en
que un sistema
responde a los
estímulos.
F se describe
empleando el lenguaje
natural.
Las cajas de nivel inferior heredan las propiedades de las cajas
de nivel superior.
La función F se aplica a
una sentencia S de entradas
y se transforma
en una salida R .
S
R
Caja Negra
Especificación de Caja de Estado
Es una generalización sencilla de una
maquina de estado.
Se produce transacciones entre el estado
actual y el nuevo.
Utiliza una transacción de
datos para determinar el
estado siguiente.
Especificación de Caja Transparente
Relacionada con los
procedimientos S y la
programación estructurada.
Refina las funciones mediante la expansión
progresiva de funciones
matemáticas de conectivas lógicas.
CONCLUCIONES
La ingeniería de software de sala limpia es un enfoque
formal para el desarrollo de software de alta calidad.
Emplea la estructura de caja (métodos formales) para el
modelado de análisis y diseño, haciendo hincapié en la
verificación de la corrección.
El resultado final son una taza de fallos difíciles de
conseguir empleando métodos menos
formales.
Aplica una comprobación estadística de
utilización de la taza de fallos para
certificar la fiabilidad del software.