Cleanroom Process

1 QUE ES?

El proceso de Cleanroom integra el uso de:

Modelado de software
Verificacin de software
A seguranza de calidad
Verifica la especificacin del diseo utilizando procesos matemticos.
Est basada grandemente en la estadstica utilizada en testing para descubrir
errores de alto impacto.
Generalmente sigue un desarrollo incremental.
Frozen
specification

Establish
rerquirements

Formal
specification

Develops/w
increment

Deliver
software

Requir ementschangerequest

2 BENEFICIOS

Una expectativa de error del 5% de error en la primera ejecucin del primer

equipo de desarrollo.
Pequeos ciclos de desarrollo
Una larga vida til del software desarrollado

3 PRINCIPIOS

Equipos pequeos
Equipos independientes para etapas de especificacin, desarrollo y
certificacin.
Desarrollo incremental bajo control de calidad estadstico
Revisin de rendimiento
Feedback
Desarrollo de software basado en principios matemticos
El principio Box es utilizado para etapas de especificacin y diseo

Verificaciones formales son utilizadas para confirmar las

especificaciones
La funcionalidad del software es verificada por equipos con
cuestionarios
Testing basado en principios estadsticos
Casos de testing generados por modelos
Datos de fallos son interpretados utilizando modelos estadsticos

Formally
specify
system

Errorrework

Define
software
increments
Develop
operational
profile

Construct
structured
program

Formally
verify
code
Design
statistical
tests

4 ESTRATEGIA

Planeacin incremental
Requiere reuniones
Especificaciones con estructura Box
Diseo formal
Verificacin de exactitud
Generacin de cdigo, inspeccin, verificacin
Planeacin del Testing estadstico
Testing de uso estadstico
Certificacin

Integrate
increment

Test
integrated
system

5 ESTIMACIN DE CONFIABILIDAD

El clculo de cuantas pruebas sin fallas se debe de tener para asumir un nivel alto
de confiabilidad es calculado utilizando la distribucin binomial.