Sala Limpia

La tecnología de dotación lógica de Sala Limpia es un acercamiento al desarrollo de Software Lógico que mejora la Calidad y reduce costos. El desarrollo incremental permite la mejora continua del proceso. 

Es un enfoque formal para el desarrollo de software que pueda dar lugar a un software con una calidad alta. Emplea la especificación de una estructura de cajas para el modelado de análisis y diseño. Se aplica una comprobación estadística de uso para desarrollar la información relativa a la tasa de fallos necesarios para certificar la fiabilidad del producto de software.

En el siguiente vídeo se muestra una introducción del creador de este proceso y el funcionamiento de caja negra y caja transparente:

Se diferencia de otros métodos ya que hace uso explicito del control estadístico de calidad, también verifica la especificación de diseño empleando una demostración de corrección basada en las matemáticas u el uso de estadística es para descubrir errores de gran incidencia. 

Se utiliza en la industria electronica para evitar la introduccion de defectos en la fabricaion de circuitos integrados.