Ingeniería de Software II

Plantilla:Completar guías Ingenería de Software II es una materia dedicada al estudio de la Ingeniería de Software. Según el Plan de la Carrera, es una materia a ser cursada en Cuarto año. Se necesita Ingeniería de Software I, Paradigmas de Lenguajes de Programación y Sistemas Operativos para cursarla.

Objetivo

En esta materia se estudiarán algoritmos, estructuras de datos, técnicas y herramientas que apuntan a analizar software automáticamente. Prácticamente todos los análisis interesantes (que serían de utilidad para un ingeniero de software que desea garantías sobre el comportamiento de lo que está construyendo) son indecidibles o computacionalmente intratables. Por lo tanto lo que se estudiará en clase es el estado del arte en materia de análisis y verificación automática, un área que a pesar de estar dando pasos agigantados, aún tiene mas preguntas abiertas que respuestas.

Programa

Unidad 1: Análisis Estático de Programas

• Análisis de dataflow.
• Grafo de flujo de control.
• Ecuaciones de flujo de datos.
• Análisis Intraprocedural vs. Interprocedural
• May versus Must Analysis

Unidad 2: Testing Automatizado de Software

• Criterios clásicos de calidad de un test suite.
• Análisis de mutación.
• Técnicas de generación de tests basadas en aleatoriedad.
• Generación utilizando Ejecución Simbólica Pura y Ejecución Simbólica Dinámica.
• Heurísticas de generación basadas en búsqueda.
• Algoritmos Genéticos y Algoritmos Evolutivos.
• Testing de Seguridad.
• Fuzzing de caja negra, caja gris y caja blanca.
• Fuzzing de Gramáticas.

Unidad 3: Verificación de Software Concurrente

• Modelos de Concurrencia
• Algebras de Proceso y Bisimulación
• Lógicas temporales. LTL
• Model Checking de LTL

Apuntes

• Apuntes para parciales 2019. Usar a discreción. Esto fue un intento que hicimos con mi grupo de juntar y explicar los temas importantes de la materia para los primeros dos parciales. Puede contener errores y faltar cosas. Codigo fuente
• Apunte para final 2021
• Apunte/Resumen para el Final (2022) preparado por un alumno para rendir el final, y escrito en base a las clases teóricas del segundo cuatrimestre de 2022 (Ojo: los temas de la materia parecen cambiar frecuentemente). Separado en dos partes para que entre en el límite de tamaño para archivos:
  • Parte 1: Testing automatizado de software
  • Parte 2: Verificación de software concurrente

Exámenes

Primer Parcial

• Primer Recuperatorio del 2do Cuatrimestre de 2022 (Enunciado)
• Primer Parcial del 2do Cuatrimestre de 2022 (Resuelto)
• Primer Parcial del 2do Cuatrimestre de 2019 (Resuelto)
• Parcial Único del 2do Cuatrimestre de 2018 (Enunciado) (Resuelto) (Resuelto)
• Simulacro del Parcial Único del 2do Cuatrimestre de 2018 (Enunciado)

Segundo Parcial

• Segundo Recuperatorio del 2do Cuatrimestre 2022 (Enunciado)
• Segundo parcial 24/11/2022 (Resuelto)
• Segundo Parcial 21/10/2019 (Resuelto)

Coloquio

• Coloquio 21/11/2019 (Enunciado)

Enlaces Externos

• Especificación de FSP