• En este tercer corte avanzaremos hacia la prueba, verificación automatizada y calidad del software, aplicando los conocimientos desarrollados durante el curso para analizar, diseñar y evaluar diferentes estrategias de prueba y técnicas de verificación.

    Cada grupo tendrá asignado un tema de exposición relacionado con la Unidad 4 y los capítulos 8, 9 y 10.

    Durante la exposición, cada grupo deberá investigar, explicar y aplicar el tema asignado, presentando sus conceptos fundamentales, ejemplos y, cuando sea pertinente, una aplicación práctica relacionada con el desarrollo formal de software y con el proyecto del curso.

    En el documento adjunto encontrarán:

    • Temas asignados.
    • Unidad y capítulo correspondiente.
    • Orientaciones sobre qué investigar.
    • Estructura sugerida para los 15 minutos.
    • Recomendaciones para preparar la exposición.
    • Rúbrica de evaluación sobre 100 puntos.

    La finalidad no es solamente presentar un tema, sino comprender cómo las diferentes técnicas de prueba y verificación contribuyen a evaluar y mejorar la calidad del software.