Pruebas estadísticas a través de la ingeniería de software en sala blanca

El método de sala blanca para el desarrollo de software garantiza la máxima calidad en el desarrollo de software. Este libro describe el momento, el propósito, el uso y el método para emplear la ingeniería de software de sala blanca para obtener software de calidad. El software de sala blanca es un proceso basado en la teoría y orientado al trabajo en equipo para desarrollar software de muy alta calidad bajo un control de calidad estadístico. Cleanroom combina métodos formales de especificación y diseño de estructuras de cajas basadas en objetos, verificación de la corrección teórica de funciones y pruebas estadísticas de uso para la certificación de la calidad. El modelo de referencia de cleanroom se expresa en términos de un conjunto de 14 procesos que conforman la práctica de la ingeniería de software de cleanroom. Estos procesos constituyen una guía completa de proyectos de sala blanca para la gestión y el rendimiento de los proyectos de software, la evaluación y la mejora de los procesos, y la transferencia y la adopción de tecnologías. También se aborda el tema de las pruebas estadísticas y su relación con el criptoanálisis. La prueba puede ser útil como primer paso para determinar si un generador es adecuado o no para una aplicación criptográfica concreta.