Diferencia entre revisiones de «Ingeniería de Software II»
Sin resumen de edición |
|||
| Línea 43: | Línea 43: | ||
** [[Medio:ISW2_Resumen_Final_2022_P2.pdf| Parte 2: Verificación de software concurrente]] | ** [[Medio:ISW2_Resumen_Final_2022_P2.pdf| Parte 2: Verificación de software concurrente]] | ||
== Prácticas == | |||
* [https://brick-witness-6cf.notion.site/Guias-2C2023-cbc91388485849a3b2ee3c042e9ab758?pvs=4 Guías de ejercicios del 2do Cuatrimestre del 2023] | |||
== Exámenes == | == Exámenes == | ||
Revisión del 20:54 14 dic 2023
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:
Prácticas
Exámenes
Primer Parcial
- Primer Parcial del 2do Cuatrimestre de 2023 (Resuelto)
- Primer Parcial del 1er Cuatrimestre de 2023 (Enunciado)
- Primer Recuperatorio del 2do Cuatrimestre de 2022 (Resuelto)
- 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 Parcial del 2do Cuatrimestre de 2023 (Enunciado)
- Segundo Parcial del 1er Cuatrimestre de 2023 (Enunciado)
- 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)
