Modelado y Verificación Formal

¿Cuál es el principal objetivo de la metodología de cuarto limpio?

• Detectar errores en la fase de pruebas

• Eliminar defectos desde el inicio del desarrollo

• Simplificar el código fuente

• Reducir el tiempo de codificación

¿Qué representa una “caja negra” en la especificación funcional?

• Los datos internos del sistema

• El comportamiento externo del sistema ante estímulos

• Las funciones internas del programa

• Los estados de transición

¿Qué tipo de caja encapsula los datos de estado y los servicios?

• Caja negra

• Caja transparente

• Caja lógica

• Caja de estado

¿Qué tipo de caja contiene el diseño de procedimientos?

• Caja negra

• Caja de estado

• Caja transparente

• Caja de control

¿Qué técnica se utiliza para garantizar la confiabilidad del software en cuarto limpio?

• Prueba unitaria

• Control estadístico de calidad

• Depuración manual

• Validación de usuario

¿Qué se busca con la verificación de corrección en cuarto limpio?

• Acelerar la compilación del código

• Comprobar el rendimiento del software

• Asegurar que el diseño y el código cumplan las especificaciones formales

• Mejorar la interfaz del usuario

¿Qué lenguaje formal se utiliza para agregar precisión a las especificaciones UML?

• OCL

• Z

• XML

• VDM

¿Qué modelo permite estimar y certificar la fiabilidad global del sistema?

• Modelo de muestreo

• Modelo de componentes

• Modelo de certificación

• Modelo de verificación

¿Qué propósito tiene la certificación en la metodología de cuarto limpio?

• Diseñar la interfaz visual

• Asegurar que el software cumple con la confiabilidad y calidad esperadas

• Calcular el costo del proyecto

• Organizar el código en carpetas

El lenguaje Z es una herramienta de diseño visual para crear interfaces de usuario.

• Verdadero

• Falso