http://softwareengineeringescom.blogspot.com.co/2013_08_25_archive.

html----aqui
dice que tremendamente bien que son los metodos formales y clean room utiliza me
todos formales
http://christeljpm.blogspot.com.co/2012/11/sala-limpia.html
http://sofware1nathalygrijalva.blogspot.com.co/2012/11/sala-limpia.html----see
http://ronald-fajardo.blogspot.com.co/2010/12/ingenieria-de-sala-limpia.html
http://susanaaranda.blogdiario.com/1435783570/metodos-formales-sala-limpia/
Selby, Richard W., Basili, Victor R. y Baker, F.Terry. "Cleanroom Software
Cleanroom Software
Engineering
Harlan D. Mills

clean room es una metodologia para realizar sofware de alta confiailidad certifi
cada
Cleanroom fue tomado de la industria de electrnica, donde un cuarto limpio fsico exi
ste para prevenir la introduccin de defectos durante la fabricacin del hardware. L
a tecnologa de dotacin lgica de Cleanroom refleja el mismo nfasis en la prevencin del
defecto ms bien que el retiro del defecto, as como la certificacin de la confiabil
idad para el ambiente previsto del uso.
Cleanroom es el mtodo que combina formales de requisitos y diseo con el uso estadst
ico que prueba para producir software con casi ningunos o ningunos defectos
Utilizar los mtodos estadsticos para asegurar calidad, Indicar formalmente y proba
r las necesidades del requisito
que eliminan la necesidad de limpiar las obleas de silicio por el hecho de que
nunca se ensucian . El desarrollo del recinto limpio elimina la necesidad de dep
uracin de programas , asegurando que los errores nunca consiguen en el sistema.
clean room ventajas
mejores significativas en la correcion

la confiabilidad
pasos de clean room
analisis de requisitos :prouciendo y repasando especificaiones informales
diseo de alto nivel :convertir requisitos en las maquinas y las funciones del est
ado
diseo detallado: refinamiento adiciional de funciones
4:codificaion por el incremente: codigo que se convierte y verifica usa metodos
informles. se prohie la prueba de compilacion del codigo o de la unidad
preaprueba por el incremento:generacion de los casos de prueba
prueba estadistica por el incremeto:se compila , se liga y se prueba el codigo.
se validan los resultados

Ventajas del uso de Cleanroom

1. Cleanroom provee las prcticas de administracin e ingeniera que permiten a los eq
uipos lograr cero fallos
en el campo de uso, cortos ciclos de desarrollo,
y una larga vida del producto.
2. Reduce los fallos encontrados durante el proceso de elaboracin
Desventajas del uso de Cleanroom

1. Cleanroom es un mtodo muy riguroso, considerado muy complicado para ser aplica
do en problemas
reales.
2. La compatibilidad de intercambio de mtodos es muy cerrada ya que su punto cent
ral es demasiado
estricto en el desarrollo del sistema.