Verificación y Validación de Software - Examen ordinario

¿En qué fase se crean y revisan los casos de prueba?. Desarrollo de casos de prueba. Diseño de casos de prueba. Planificación de casos de prueba. Análisis de casos de prueba.

¿Qué tipo de pruebas se fundamentan en las funciones que debe cumplir un sistema?. Funcionales. No funcionales. Estructurales. Unitarias.

¿Qué tipo de prueba evalúa aspectos como rendimiento, seguridad y usabilidad?. Funcionales. No funcionales. Estructurales. Unitarias.

¿Qué tipo de pruebas examinan el código fuente, la lógica interna, las estructuras de control y los flujos de datos?. Funcionales. No funcionales. Estructurales. Unitarias.

¿Cuál es el nivel más básico dentro del proceso de pruebas de software?. Funcionales. No funcionales. Estructurales. Unitarias.

¿Qué prueba verifica el funcionamiento completo del sistema?. Pruebas de integración. Pruebas de sistema. Pruebas de aceptación. Pruebas unitarias.

¿Qué documento contiene los pasos y resultados esperados de una prueba?. Caso de prueba. Sprint backlog. Manual de pruebas. Manual de usuario.

Tipo de pruebas que se realiza sin conocimiento de los componentes internos de un sistema. Caja negra. Caja blanca. Caja oscura. Caja transparente.

Prueba con acceso al código fuente, donde el evaluador es capaz de descubrir errores y fallos dentro de la aplicación. Caja negra. Caja blanca. Caja oscura. Caja transparente.

¿Qué técnica de caja blanca revisa caminos lógicos del programa?. Cobertura. Spanning Tree. Open Shortest Path. Transparencia lógica.

Su objetivo principal es detectar errores en la interacción y comunicación entre módulos. Pruebas de integración. Pruebas de sistema. Pruebas de aceptación. Pruebas unitarias.

¿Qué enfoque de integración integra todos los módulos al mismo tiempo?. Big Bang. Sistemático. Big Crunch. Big Time.

En pruebas de integración, ¿qué enfoque empieza probando los módulos superiores primero y luego se integran los inferiores?. Top Down. Bottom Up. Forward Backward. Backward Forward.

En pruebas de integración, ¿qué enfoque empieza probando los módulos inferiores primero y después se integran los superiores?. Top Down. Bottom Up. Forward Backward. Backward Forward.

¿Qué tipo de prueba de sistema se encarga de evaluar la velocidad, estabilidad y comportamiento bajo carga del software?. Pruebas de rendimiento. Pruebas de estabilidad. Pruebas de aceptación. Pruebas de comportamiento.

¿Qué prueba verifica el comportamiento con muchos usuarios simultáneos?. Carga. Tráfico. QoS. DDoS.

Es el proceso que revisa que el software se esté construyendo correctamente según los requisitos. Verificación. Validación. Análisis. Diseño.

Es el proceso que comprueba que el software cumple con lo que necesita el usuario. Verificación. Validación. Análisis. Diseño.

Tipo de verificación que se basa en la ejecución del programa. Estática. Dinámica. Interna. Externa.

Tipo de verificación que NO necesita de la ejecución del programa, se basa en la sintaxis y diseño del sistema. Estática. Dinámica. Interna. Externa.

¿Qué utiliza la verificación formal para validar software?. Matemáticas y lógica. Matemáticas y software. Solo software. Solo lógica.

¿Qué busca garantizar la verificación formal?. Correcta operación. Satisfacción del cliente. Detección de errores. Solución de errores.

¿Qué lenguaje compila CompCert?. C. C#. Java. GDScript.

¿Qué evita CompCert?. Errores ocultos. Errores a simple vista. Errores en la semántica. Errores de sintaxis.

¿Qué tipo de sistema es seL4?. Microkérnel verificado. Kérnel validado. Microkérnel validado. Kérnel gaussiano.

¿Qué demostró seL4?. Sin errores. Sin errores críticos. Sin problemas de compatibilidad. Ninguna de las anteriores.

¿Dónde se utiliza seL4?. Sistemas críticos. Sistemas de código abierto. Sistemas bancarios. Ninguna de las anteriores.

¿Qué manejan los smart contracts?. Dinero automático. Mensajería instantánea. Datos bancarios sensibles. Contraseñas de correos electrónicos.

¿Qué puede ocurrir si un smart contract tiene errores?. Robos millonarios. Filtración de datos. Vulneración de la privacidad. Demandas públicas.

¿Qué tecnología usa contratos inteligentes?. Blockchain Etherum. NFT´s. Bitcoin. IoT.

¿Qué comprueba la verificación formal en blockchain?. Lógica correcta. Sintaxis correcta. Semántica correcta. Operaciones correctas.

¿Qué ayuda a evitar la verificación formal?. Fallos críticos. Fallos ocultos. Fallos a gran escala. Fallos a pequeña escala.

¿Qué mejora la verificación formal?. Calidad del software. Aceptación del cliente. Defensa ante ataques. Detección de errores.

¿Qué puede introducir un compilador normal?. Errores nuevos. Ataques imprevistos. Vulnerabilidades críticas. Estimaciones incorrectas.

¿Qué garantiza CompCert?. Código correcto. Código estable. Especificación exacta. No ataques.

¿Qué se verifica en seL4?. Código correcto. Código estable. Especificación exacta. No ataques.

¿Qué puede explotar un hacker?. Contratos vulnerables. Código incorrecto. Errores críticos. Sistemas no actualizados.

¿Qué tipo de herramienta es la verificación formal?. Herramienta matemática. Herramienta lógica. Herramienta sintáctica. Herramienta de software.

¿Qué aumenta en sistemas financieros?. Mayor seguridad. Mayores ganancias. Software confiable. Software seguro.

¿Qué permite demostrar la verificación formal?. Mayor seguridad. Mayores ganancias. Software confiable. Software seguro.

¿Qué es una medida en software?. Número simple que describe algo de un proceso o producto. Variable observada en un proceso o función. Parámetro que se ajusta automáticamente según las entradas recibidas. Salidas que proporciona un sistema.

¿Qué es la medición?. Recopilación de una medida. Una medida con contexto. Una métrica que ayuda a tomar decisiones. Ninguna de las anteriores.

¿Qué es una métrica?. Recopilación de una medida. Una medida con contexto. Una métrica que ayuda a tomar decisiones. Ninguna de las anteriores.

¿Qué es un indicador?. Recopilación de una medida. Una medida con contexto. Una métrica que ayuda a tomar decisiones. Ninguna de las anteriores.

¿Cuáles son las 4 razones para medir en software?. Caracterizar, evaluar, predecir y mejorar. Caracterizar, analizar, predecir y mejorar. Caracterizar, evaluar, predecir e implementar. Caracterizar, analizar, predecir e implementar.

¿Cuáles son los dos tipos de indicadores?. De proyecto y de proceso. Globales y locales. Internos y externos. De tiempo y de forma.

¿Cuál es el único factor controlable para mejorar la calidad?. El proceso. El código. El resultado. La medida.

¿Qué significan las siglas LDC?. Líneas de Código. Lenguaje de Detección de Colisiones. Línea de Detección de Código. Lenguaje de Documentación de Código.

¿Cuál es el problema de medir por LDC?. Depende del lenguaje usado. Es susceptible a perturbaciones. Es anticuado. Limita la creatividad del desarrollador.

¿Qué son los Puntos de Función?. Miden funcionalidades, no código. Evalúan el código, no las funcionalidades. Analizan tanto las funciones como su código correspondiente. Funcionan de tal manera que coinciden con el código.

¿Cuál es la ventaja de los Puntos de Función?. No dependen del lenguaje. Esclarecen las funciones del código. Analizan tanto las funciones como su código correspondiente. Funcionan de tal manera que coinciden con el código.

¿Qué significan las siglas SQA?. Software Quality Assurance. Secure Quality Assurance. Security Quality of America. Software Quality of America.

¿En qué se enfocan el Control y la Garantía de Calidad?. Control revisa el producto, Garantía revisa el proceso. Control revisa el proceso, Garantía revisa el producto. Control revisa el software, Garantía revisa el hardware. Control revisa el hardware, Garantía revisa el software.

¿Qué mide el EED?. Cuántos errores encontramos antes de entregar el software. Las vulnerabilidades en un sistema embebido. Los errores de sintaxis en una función específica. Cuántos errores se evitaron antes de entregar el software.

¿Qué modelo evalúa la calidad desde 3 perspectivas diferentes?. McCall. McCallen. MacDonald. MacMissil. McGall.

¿Qué pregunta responde la perspectiva de Operación del Producto?. Qué tan bien hace su trabajo diario. Qué tan rápido hace su trabajo diario. Qué tan eficiente hace su trabajo diario. Qué tan seguro hace su trabajo diario.

¿Qué evalúa la Transición del Producto?. Portabilidad, reusabilidad e interoperabilidad. Portabilidad, reusabilidad e intercomunicación. Permisibilidad, reusabilidad e interoperabilidad. Portabilidad, rentabilidad e interoperabilidad.

¿Qué significa FURPS?. Funcionalidad, Usabilidad, Fiabilidad, Rendimiento y Soporte. Funcionalidad, Usabilidad, Fiabilidad, Rendimiento y Seguridad. Funcionalidad, Usabilidad, Fiabilidad, Rapidez y Soporte. Ninguna de las anteriores.

¿Quién desarrolló FURPS?. Hewlett-Packard. Alan Turing. Steve Jobs. Steve Wozniak. Jean-Jacques Rousseau. Alejandra Palomares.

¿Cuántos atributos tiene el ISO 9126? Ingrese el número como dígito.

¿Te gusta el test?. Sí. :D. No. :(.