Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Aguirre, Nazareno Matías"
Now showing items 1-5 of 5
-
Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas
Acosta, Araceli Natalia (2022-09)En esta tesis abordamos la tolerancia a fallas desde una perspectiva formal. Analizamos y diseñamos herramientas formales generales para contribuir al proceso de construcción y razonamiento sobre sistemas tolerantes a ... -
Mejoras al testing exhaustivo acotado
Bengolea, Valeria Susana (2015-03)El Testing consiste en ejecutar una pieza de software con diferentes entradas para luego chequear si el resultado obtenido se corresponde con el resultado esperado. Se estima que esta actividad ocupa más de la mitad del ... -
Mutación de expresiones de navegación para testing y reparación
Gutiérrez Brida, Simón Emmanuel (2018-11)Evaluar la calidad de un conjunto de tests con respecto a su capacidad de detectar potenciales bugs representa un área muy importante en la ingeniería de software. Métricas indirectas para la medición de este potencial ... -
Técnicas automáticas para la elaboración, validación y verificación de requisitos de Software
Degiovanni, Renzo Gastón (2015-05)Es ampliamente aceptado que los errores son más fáciles (y menos costosos) de corregir si se capturan lo más temprano posible en el proceso de desarrollo. Luego, obtener una especificación de requisitos de buena calidad, ... -
Técnicas basadas en búsqueda y aprendizaje para inferencia de especificaciones
Molina, Facundo Joaquín (2022-02)La confiabilidad del software es una preocupación central en el proceso de construcción de software, y el análisis de la confiabilidad requiere una especificación del comportamiento esperado del software. Desafortunadamente, ...