:

UNIVERSIDAD DE SANTIAGO DE CHILE

Facultad de Ingeniera
Departamento de Ingeniera Civil Industrial

Mtodos Computacionales en
0B

Ingeniera Industrial
Clean Room Software Engineering.
(Ingeniera de Software de Sala Limpia)
Cdigo del curso: 14015

Integrantes:

Jorge lvarez
Felipe Caro M.
Juan Cea R.
Felipe Verdugo.

Profesor de ctedra: Alonso Inostrosa Psijas

Fecha de entrega: 6 de Agosto de 2008

ndice.
Introduccin

02

Objetivos del desarrollo de Cleanroom Software

03

Desarrollo del Software de Sala Limpia (Cleanroom Software) 04

Resumen

07

Bibliografa

09

Introduccin.
2B

Hay un gran nmero de factores que repercuten en la persona que

trabaja dentro de un entorno de desarrollo software. Los cambios en el sistema
operativo, el lenguaje de programacin, la organizacin del proyecto, o los
estndares establecidos para los diferentes aspectos del ciclo de vida de un
proyecto pueden influir tanto en el trabajador como en la cantidad de trabajo
que puede realizar.
La utilizacin integrada del modelado de ingeniera del software
convencional, mtodos formales, verificacin de programas (demostraciones de
correccin) y estadstica SQA se han combinado en una tcnica que puede dar
lugar a un software de calidad extremadamente alta. La ingeniera del software
de sala limpia es un enfoque que hace hincapi en la necesidad de incluir la
correccin en el software a medida que ste se desarrolla, en lugar del ciclo
clsico de anlisis, diseo, pruebas y depuracin.
La filosofa primordial de la ingeniera del software de sala limpia es ser
un proceso que da importancia a la verificacin matemtica de la correccin
antes de que comience la construccin de un programa y de que la certificacin
de la fiabilidad del software forme parte de la actividad de pruebas. Haciendo
hincapi en una filosofa ms profunda, se tratara de aquella que tiene ndices
de fallo extremadamente bajos y que es difcil o imposible de lograr utilizando
mtodos menos formales.
Por qu es importante?
Los errores conllevan doble trabajo. Trabajar el doble lleva ms tiempo y
es ms caro. No sera maravilloso poder reducir dramticamente la cantidad
de errores (fallos informticos) que se cometen en el diseo y construccin del
software? Esto es lo que promete la ingeniera del software de sala limpia.

Objetivos del desarrollo de Cleanroom Software.

3B

El enfoque de sala limpia hace uso de una versin especializada del

modelo incremental de software. Se desarrolla un cauce de incrementos de
software por parte de equipos de ingeniera del software pequeos e
independientes. A medida que se va certificando cada incremento, se integra
en el todo. Consiguientemente, la funcionalidad del sistema va creciendo con el
tiempo.
La ingeniera de sala limpia logra control de calidad estadstico sobre el
desarrollo del software separando estrictamente el proceso del diseo del
proceso de comprobacin en un cauce de desarrollo incremental de software.

Desarrollo del Software de sala limpia (Cleanroom

Software Development.)
4B

1.- Definicin
La ingeniera del Software de sala limpia es un enfoque formal y riguroso
para el desarrollo del Software, que pueda dar lugar a un Software que posea
una calidad notablemente alta. Emplea la especificacin de estructura de cajas
(o mtodos formales) para el modelado de anlisis y diseo, y hace hincapi en
la verificacin de la correccin, ms que en la comprobacin, como mecanismo
fundamental para hallar y eliminar errores. Se aplica una comprobacin
estadstica de utilizacin para desarrollar la informacin de tasa de fallos
necesaria para certificar la fiabilidad del Software proporcionado. El resultado
final son unas tasas de fallo extremadamente bajas, que sera difcil o imposible
de conseguir empleando unos mtodos menos formales.
2.- Tareas
La sucesin de tareas de sala limpia para cada incremento, se
manifiesta mediante unos requisitos globales del sistema o producto que se
van desarrollando empleando los mtodos de ingeniera de sistemas. Una vez
que se han asignado una funcionalidad al elemento de Software del sistema el
tubo de la sala limpia comienza sus incrementos y se producen las siguientes
tareas.

Planificacin de Incrementos.

La planificacin incremental permite calidad temprana y continua

interaccin con el usuario. Facilita mejoras de proceso mientras el desarrollo
progresa. El acercamiento incremental evita los riesgos inherentes integracin
tarda en el ciclo de desarrollo.

Recoleccin de requisitos.
Los propsitos del proceso del anlisis de requisitos son:

1) definir requisitos para el producto de software, incluyendo funcin,

uso, ambiente, y funcionamiento.
2) obtener un acuerdo con el cliente en los requisitos como la base para
la funcin y especificacin del uso.

Especificacin de la estructura de cajas.

Tres tipos especiales de funciones matemticas son importantes en el
desarrollo a Sala limpia, debido a su correspondencia y correlacin en el

proceso de descomposicin y verificacin. Estas funciones son

conocidas como la caja negra, la caja de estado y caja limpia. En la
estructura de las cajas se pueden aplicar una variedad de estrategias de
descomposicin, adems se puede incluir funcionabilidad y orientacin a
objeto.

Diseo Formal.
Mediante el uso del enfoque de estructura de cajas, el diseo de sala
limpia es una extensin natural y sin discontinuidades de la
especificacin. Dan los objetivos, los participantes, los criterios de
entrada, las tareas, la verificacin, las medidas y los criterios comunes
de la salida en los procesos, as como elementos de proceso comn.

Verificacin de Correccin.
El equipo de sala limpia lleva a cabo una serie de rigurosas actividades
de verificacin de correccin aplicadas primero al diseo y despus al
cdigo. El propsito del proceso de la verificacin de la correccin, es
verificar la correccin del incremento del software usando tcnicas
matemticas.

Generacin de Cdigo, inspeccin y verificacin.

Las especificaciones de estructura de caja que se representan mediante
un lenguaje especializado se traducen la lengua de programacin mas
adecuado.

Planificacin de la comprobacin estadstica,

estadstica de utilizacin y certificacin.

comprobacin

El propsito del proceso estadstico de prueba y de certificacin es

demostrar la aptitud del software para el uso en un experimento estadstico
formal. La "aptitud para el uso" se define con respecto a los modelos de uso y a
las metas de la certificacin empleados en el proceso de prueba. Las metas de
certificacin, primero establecidas en el plan de medida y refinadas en el plan
de prueba de incremento, se pueden expresar en trminos tales como ndice
de confiabilidad del software.
3.- Cajas de Sala Limpia
Una caja encapsula el sistema con un cierto grado de detalle. Mediante un
proceso de refinamiento progresivo, se van refinando las cajas para formar una
jerarqua en la cual cada caja tiene una transferencia. Para esto se utilizan tres
tipos de cajas:

Caja Negra.
Especifica el comportamiento del sistema, o de una parte de un sistema.

Caja de Estado.
Esta caja encapsula los datos de estados y de servicios (operaciones)
de forma anloga a los objetos. En esta vista de especificacin, se
representan las entradas de la caja de estados y sus salidas.

Caja Transparente.
Las funciones de transicin que estn implicadas en la caja de estados
se definen en la caja transparente.

4.- Verificacin de diseo

El diseo que se utiliza en la ingeniera del Software de sala limpia hace
mucho uso de la filosofa de programacin estructurada. Son realmente las
funciones bsicas de procesamiento, se refinan ahora utilizando una expansin
progresiva de funciones matemticas en estructuras de conectivas lgicas.
5.- Comprobacin de la sala limpia
La tcnica y estrategia de la comprobacin de la sala limpia es algn
fundamentalmente distinto de los enfoques convencionales de comprobacin.
Los mtodos convencionales derivan de un conjunto de casos de prueba para
descubrir errores de diseo y codificacin.
6.- Diferenciar de Sala Limpia
Existen diversos mtodos o paradigmas que nos reflejan la diferencia
notoria de que sea sala limpia.

Hace uso explcito del control estadstico de calidad.

Verifica la especificacin del diseo empleando una demostracin de

correccin basada en las matemticas.

Hace mucho uso de la comprobacin estadstica de utilizacin para

descubrir errores de especial incidencia.

Resumen.
5B

La ingeniera del software de sala limpia es un enfoque formal para el

desarrollo del software, que puede dar lugar a un software que posea una
calidad notablemente alta. Emplea la especificacin de estructura de cajas (o
mtodos formales) para el modelado de anlisis y diseo, y hace hincapi en la
verificacin de la correccin, ms que en las pruebas, como mecanismo
fundamental para hallar y eliminar errores. Se aplica una prueba estadstica de
utilizacin para desarrollar la informacin de tasa de fallos necesaria para
certificar la fiabilidad del software proporcionado.
El enfoque de sala limpia comienza por unos modelos de anlisis y
diseo que hacen uso de una representacin de estructura de cajas. Una
caja encapsula el sistema (o algn aspecto del sistema) en un determinado
nivel de abstraccin. Se utilizan cajas negras para representar el
comportamiento observable externamente de ese sistema. Las cajas de estado
encapsulan los datos y operaciones de ese estado. Se utiliza una caja limpia
para modelar el diseo de procedimientos que est implicado por los datos y
operaciones de la caja de estados. Se aplica la verificacin de correccin una
vez que est completo el diseo de estructura de cajas. El diseo de
procedimientos para un componente de software se desglosar en una serie de
subfunciones. Para demostrar la correccin de cada una de estas
subfunciones, se definen condiciones de salida para cada una de las
subfunciones y se aplica un conjunto de subpruebas. Si se satisfacen todas y
cada una de las condiciones de salida, entonces el diseo debe ser correcto.
Una vez finalizada la verificacin de correccin, comienza la prueba
estadstica de utilizacin. A diferencia de la comprobacin condicional, la
ingeniera del software de sala limpia no hace hincapi en la prueba unitaria o
de integracin. En su lugar, el software se comprueba mediante la definicin de
un conjunto de escenarios, mediante la determinacin de las probabilidades de
utilizacin de cada uno de esos escenarios y mediante la aplicacin posterior
de pruebas aleatorias que satisfagan estas probabilidades. Los registros de
error resultantes se combinan con modelos de muestreo, de componentes y de
certificacin para hacer posible el clculo matemtico de la fiabilidad estimada
de ese componente de software. La filosofa de sala limpia es un enfoque
riguroso de la ingeniera del software. Se trata de un modelo de proceso del
software que hace hincapi en la verificacin matemtica de la correccin y en
la certificacin de la fiabilidad del software. El resultado final son unas tasas de
fallo extremadamente bajas, que sera difcil o imposible de conseguir
empleando unos mtodos menos formales.

Una aplicacin que podemos encontrar utilizando esta tcnica de desarrollo de

software es el desarrollo de un Proyecto de Estructuracin de un Prototipo PedaggicoTecnolgico de Tele-Educacin para la Formacin de Maestros Rurales del
Departamento de Caldas en la Produccin de M.D.C en Colombia. Este proyecto es un
prototipo de tele-educacin que integra los aspectos pedaggicos, tecnolgicos y
organizativos. Los beneficios tcnicos de usar de Sala Limpia traducen en beneficios
econmicos significantes. Pueden identificarse beneficios directos e indirectos con una
reduccin de fracasos campo-experimentados, tiempo del ciclo reducido, y la vida del
producto ms larga. Los beneficios indirectos de lealtad del cliente y menos competidores
son difciles cuantificar.

Bibliografa.
1. The University of Texas at Arlington,
http://www.uta.edu/cse/levine/fall99/cse5324/cr/clean/page.html
(4 Ago. 2008)
2. Mills, H.D.; Dyer, M.; Linger, R.C., Cleanroom Software Engineering,
IEEE
Volume 4, Issue 5, Sept. 1987 Page(s):19 - 25
Digital Object Identifier 10.1109/MS.1987.231413
http://ieeexplore.ieee.org/iel5/52/35732/01695817.pdf?isnumber=35732&
prod=JNL&arnumber=1695817&arSt=19&ared=25&arAuthor=Mills%2C+
H.D.%3B+Dyer%2C+M.%3B+Linger%2C+R.C.
(4 Ago. 2008)
3. Pressman & Associates,
http://www.rspa.com/spi/cleanroom.html
(4 Ago. 2008)
4. http://books.google.cl/books?id=Sduq8Y6xJeIC&pg=PT249&dq=Clean+
Room+Software+Engineering&as_brr=3&sig=ACfU3U0j_nwzG5jgpUgKL
FMbjWpfntDEvw#PPT248,M1
(4 Ago. 2008)